BibSonomy :: author  ::

bookmarks

publications

(18)

• Heap Assumptions on Demand.
  Andreas Podelski and Andrey Rybalchenko and Thomas Wies CAV 314-327 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Eine betriebswirtschaftliche Betrachtung der Energiesteuer unter besonderer Berücksichtigung des Beschaffungs- und Absatzmarktes von Unternehmen
  {Andreas J.} Wies (1997)
  to Energiesteuer Steuerinzidenz by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Using First-Order Theorem Provers in the Jahob Data Structure Verification System.
  Charles Bouillaguet and Viktor Kuncak and Thomas Wies and Karen Zee and Martin C. Rinard VMCAI 74-88 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• On Verifying Complex Properties using Symbolic Shape Analysis
  Thomas Wies and Viktor Kuncak and Karen Zee and Andreas Podelski and Martin C. Rinard CoRR abs/cs/0609104 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Shape Analysis for Composite Data Structures.
  Josh Berdine and Cristiano Calcagno and Byron Cook and Dino Distefano and Peter W. O'Hearn and Thomas Wies and Hongseok Yang CAV 178-192 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Field Constraint Analysis.
  Thomas Wies and Viktor Kuncak and Patrick Lam and Andreas Podelski and Martin C. Rinard VMCAI 157-173 (2006)
  to dblp by dblp on 2005-12-21 00:00:00
  | URL | BibTeX  
• The virtual mesh: a geometric abstraction for efficiently computing radiosity.
  Laurent Alonso and François Cuny and Sylvain Petitjean and Jean-Claude Paul and Sylvain Lazard and Eric Wies ACM Trans. Graph. 20 169-201 (2001)
  to dblp by dblp on 2005-12-19 00:00:00
  | URL | BibTeX  
• Boolean Heaps.
  Andreas Podelski and Thomas Wies SAS 268-283 (2005)
  to dblp by dblp on 2005-10-10 00:00:00
  | URL | BibTeX  
• Policies in Network and Systems Management - Formal Definition and Architecture.
  René Wies J. Network Syst. Manage. 2 (1994)
  to dblp by dblp on 2005-07-18 00:00:00
  | URL | BibTeX  
• Information Aspects and Future Directions in an Integrated Telecommunications and Enterprise Management Environment.
  Michael Tschichholz and Jane Hall and Sebastian Abeck and René Wies J. Network Syst. Manage. 3 11-138 (1995)
  to dblp by dblp on 2005-07-18 00:00:00
  | URL | BibTeX