Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wies, Thomas - Institute of Science and Technology Austria (IST)
A Marketplace for Cloud Resources Thomas A. Henzinger
s1 s2 o dom(P) (s1, o) +
Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak
Decision Procedures for Automating Termination Proofs
Flexible Provisioning of Resources in a Cloud Environment Thomas A. Henzinger Anmol V. Singh Vasu Singh Thomas Wies Damien Zufferey
Thomas A. Henzinger Anmol V. Singh Vasu Singh Thomas Wies Damien Zufferey
Forward Analysis of Depth-Bounded Processes Thomas Wies, Damien Zufferey, and Thomas A. Henzinger
On Combining Theories with Shared Set Operations
Heap Assumptions on Demand Andreas Podelski1
Heap Assumptions on Demand Andreas Podelski1
On Field Constraint Analysis Thomas Wies1
Boolean Heaps Andreas Podelski and Thomas Wies
Curriculum Vitae of Thomas Wies Particulars
On an Efficient Decision Procedure for Imperative Tree Data Structures
Abstraction Refinement for Quantified Array Assertions
Intra-Module Inference Shuvendu K. Lahiri1
It's doomed; we can prove it Jochen Hoenicke1
On Deciding Functional Lists with Sublist Sets Thomas Wies1
To appear in: CAV 2007. Shape Analysis for Composite Data Structures
Static Scheduling in Clouds Thomas A. Henzinger
