Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Tiwari, Ashish"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verification and synthesis using real quantifier elimination
Thomas Sturm
,
Ashish Tiwari
Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ISSAC'2011 (San Jose, CA, USA, June 8-11, 2011)
, 2011, pp. 329-336
Context unification with one context variable
Adrià Gascón
,
Guillem Godoy
,
Manfred Schmidt-Schauß
,
Ashish Tiwari
Journal Symbolic Computation
45
(2), 2010, pp. 173-193
Theory of reals for verification and synthesis of hybrid dynamical systems
Ashish Tiwari
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC'2010 (Technische Universität München, Munich, Germany, July 25-28, 2010)
, 2010, pp. 5-6
Deductive verification of continuous dynamical systems
Ankur Taly
,
Ashish Tiwari
Leibniz International Proceedings in Informatics (LIPIcs)
4
, 2009, pp. 383-394
Join algorithms for the theory of uninterpreted functions
Sumit Gulwani
,
Ashish Tiwari
,
George C. Necula
Lecture Notes in Computer Science
3328
, 2004, pp. 311-323
On the confluence of linear shallow term rewrite systems
Guillem Godoy
,
Ashish Tiwari
,
Rakesh Verma
Lecture Notes in Computer Science
2607
, 2003, pp. 85-96
Rewrite closure for ground and cancellative AC theories
Ashish Tiwari
Lecture Notes in Computer Science
2245
, 2001, pp. 334-346