| | |
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) |
| 30 | | Leonardo Mendonça de Moura, Harald Rueß: An Experimental Evaluation of Ground Decision Procedures. CAV 2004: 162-174 |
| 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 |
| 26 | | Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV 2003: 14-26 |
| 24 | | Harald Rueß, Leonardo Mendonça de Moura: Simulation and verification I: from simulation to verification (and back). Winter Simulation Conference 2003: 888-896 |
| 23 | | Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455 |
Selection of 7 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