| | |
Harald Rueß
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 31 |       | Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar: Justifying Equality. Electr. Notes Theor. Comput. Sci. 125(3): 69-85 (2005) |
| 29 | | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500 |
| 27 | | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar: The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222 |
| 22 | | Natarajan Shankar, Harald Rueß: Combining Shostak Theories. RTA 2002: 1-18 |
| 20 | | Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249 |
| 18 | | Harald Rueß, Natarajan Shankar: Deconstructing Shostak. LICS 2001: 19-28 |
| 17 | | Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127 |
| 12 | | Harald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. Formal Methods in System Design 14(1): 45-73 (1999) |
| 3 | | Harald 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 Team —
Content released under the ODC-BY 1.0 license — See also our legal information page