dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Harald Ruess (Selection)

Harald Rueß

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar: Justifying Equality. Electr. Notes Theor. Comput. Sci. 125(3): 69-85 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar: The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatarajan Shankar, Harald Rueß: Combining Shostak Theories. RTA 2002: 1-18
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Rueß, Natarajan Shankar: Deconstructing Shostak. LICS 2001: 19-28
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. Formal Methods in System Design 14(1): 45-73 (1999)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. CAV 1996: 123-134

Selection of 9 from 40 records - Harald Ruess has 36 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page