Searching for authors named "Andreas Roth" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Specification and verification of encapsulation in Java programs
by Andreas Roth — 2005 — In Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005), volume 3535 of LNCS
…Specification and Verification of Encapsulation in Java Programs Andreas Roth Institut für Logik…
Cited by 1 (1 self) – Add To MetaCart

In-vivo quantification and densitometry of the MCP joint tissue on patients with rheumatoid arthritis
by Martin Wawro, Andreas Roth — 2001
…, Andreas Roth 27th June 2001 NW German Center for Rheumatology Department of Rheumaorthopaedics St. Josef…
Add To MetaCart

Automatic validation of transformation rules for Java verification against a rewriting semantics
by Wolfgang Ahrendt, Andreas Roth, Ralf Sasse — 2005 — Proceedings, 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Montego
… ⋆ Wolfgang Ahrendt 1 , Andreas Roth 2 , and Ralf Sasse 3 1 Chalmers University of Technology, Göteborg…
Cited by 3 (1 self) – Add To MetaCart

Taclets: A New Paradigm for Constructing Interactive Theorem Provers
by Bernhard Beckert, Bernhard Beckert, Martin Giese, Martin Giese, Elmar Habermalz, Philipp Rümmer, Reiner Hähnle, Reiner Hähnle, Andreas Roth, Andreas Roth, Steffen Schlager, Steffen Schlager — 2004 — Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas, 98(1), 2004. Special Issue on Symbolic Computation in Logic and Artificial Intelligence
… Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, Steffen Schlager 9…
Cited by 21 (8 self) – Add To MetaCart

Taclets: A New Paradigm for Constructing Interactive Theorem Provers
by Rev Acad Cien, Cien Serie, A. Mat, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Steffen Schlager
…, Reiner Hähnle Andreas Roth, Philipp Rümmer and Steffen Schlager Abstract. Frameworks for interactive…
Add To MetaCart

The KeY Tool
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt — 2003
… Bubel Martin Giese Reiner Hähnle Wolfram Menzel Wojciech Mostowski Andreas Roth Steffen Schlager Peter H…
Cited by 16 (4 self) – Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB