Publications

Entries sorted by: Kuratoriumsbericht - selected 2003-2004

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Author/Editor	Year		Title
	[19]	A. Podelski	2004		Introduction to the Special Issue on Verification and Computational Logic In: Theory and Practice of Logic Programming (TPLP) [4], 541-751
	[20]	A. Podelski	2003		Software Model Checking with Abstraction Refinement In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13
	[21]	A. Podelski and A. Rybalchenko	2004		A Complete Method for the Synthesis of Linear Ranking Functions In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251
	[22]	A. Podelski and A. Rybalchenko	2004		Transition Invariants In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41
	[23]	S. Ratschan	2004		Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers In: ACM Transactions on Computational Logic [5], 264-281
	[24]	S. Ratschan	2003		Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633
	[25]	S. Ratschan and J. Vehi	2004		Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328
	[26]	V. Sofronie-Stokkermans	2004		Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37
	[27]	V. Sofronie-Stokkermans	2003		Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators In: Journal of Symbolic Computation [36], 891-924
27

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)