Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Andreas Podelski | lit.salon

Author

Andreas Podelski

6 works

1995–2019 across 6 dated works

No biography is available yet.

Start with

Constraint programming: basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers1995
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science)1995
Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings2004
With Kurt Jensen
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)2005
With Kedar S. Namjoshi

Books

6 works

Featured (6)Featured (6)All (6)All (6)

Search booksSort books

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)2005
With Kedar S. Namjoshi
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Constraint programming: basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers1995
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers2019
With François Taïani
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings2018
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science)1995
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings2004
With Kurt Jensen
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Andreas Podelski.

The conversation is still open.

There is no public salon activity to show for Andreas Podelski yet.