Ando Saabas Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria João Frade, Ando Saabas, Tarmo Uustalu: Bidirectional data-flow analyses, type-systematically. PEPM 2009: 141-150
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Fischer, Ando Saabas, Tarmo Uustalu: Program Repair as Sound Optimization of Broken Programs. TASE 2009: 165-173
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: Proof optimization for partial redundancy elimination. J. Log. Algebr. Program. 78(7): 619-642 (2009)
2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargus Veanes, Ando Saabas: Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ 2008: 355
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargus Veanes, Ando Saabas: On Bounded Reachability of Programs with Set Comprehensions. LPAR 2008: 305-317
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: Proof optimization for partial redundancy elimination. PEPM 2008: 91-101
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: Program and proof optimizations with type systems. J. Log. Algebr. Program. 77(1-2): 131-154 (2008)
2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria João Frade, Ando Saabas, Tarmo Uustalu: Foundational certification of data-flow analyses. TASE 2007: 107-116
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: Type Systems for Optimizing Stack-based Code. Electr. Notes Theor. Comput. Sci. 190(1): 103-119 (2007)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: A compositional natural semantics and Hoare logic for low-level languages. Theor. Comput. Sci. 373(3): 273-302 (2007)
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: Compositional Type Systems for Stack-Based Low-Level Languages. CATS 2006: 27-39
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndo Saabas, Tarmo Uustalu: A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. Electr. Notes Theor. Comput. Sci. 156(1): 151-168 (2006)
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Grigorenko, Ando Saabas, Enn Tyugu: Visual tool for generative programming. ESEC/SIGSOFT FSE 2005: 249-252
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Tamara Rezk, Ando Saabas: Proof Obligations Preserving Compilation. Formal Aspects in Security and Trust 2005: 112-126
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Grigorenko, Ando Saabas, Enn Tyugu: COCOVILA - Compiler-Compiler for Visual Languages. Electr. Notes Theor. Comput. Sci. 141(4): 137-142 (2005)

Coauthor Index

1Gilles Barthe [2]
2Bernd Fischer [14]
3Maria João Frade [8] [15]
4Pavel Grigorenko [1] [3]
5Tamara Rezk [2]
6Enn Tyugu [1] [3]
7Tarmo Uustalu [4] [5] [6] [7] [8] [9] [10] [13] [14] [15]
8Margus Veanes [11] [12]

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)