MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
11
Show details for Talbot, Jean-MarcTalbot, Jean-Marc
1
Show details for Tammet, TanelTammet, Tanel
1
Show details for Tammet, Tanel (ed.)Tammet, Tanel (ed.)
1
Show details for Tan, HongyanTan, Hongyan
11
Show details for Tan, Yao-HuaTan, Yao-Hua
1
Show details for Tari, Zahir (ed.)Tari, Zahir (ed.)
4
Show details for Tarlecki, Andrzej (ed.)Tarlecki, Andrzej (ed.)
1
Show details for Tchuente, M. (ed.)Tchuente, M. (ed.)
1
Show details for Tessaris, Sergio (ed.)Tessaris, Sergio (ed.)
2
Show details for Theobalt, ChristianTheobalt, Christian
1
Show details for Thiagarajan, P.S. (ed.)Thiagarajan, P.S. (ed.)
1
Show details for Thiebaux, SylvieThiebaux, Sylvie
1
Show details for Thiele, Lothar (ed.)Thiele, Lothar (ed.)
1
Show details for Thomas, Wolfgang (ed.)Thomas, Wolfgang (ed.)
1
Show details for Thümmel, W. (ed.)Thümmel, W. (ed.)
1
Show details for Timm, Jan-GeorgTimm, Jan-Georg
5
Show details for Tinelli, CesareTinelli, Cesare
6
Show details for Tishkovsky, DmitryTishkovsky, Dmitry
1
Show details for Tison, SophieTison, Sophie
1
Show details for Tison, Sophie (ed.)Tison, Sophie (ed.)
1
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
1
Show details for Topic, DaliborTopic, Dalibor
3
Hide details for Topić, DaliborTopić, Dalibor
2002Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor		Attachment IconIs Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30		Proceedings Article
2002Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor		Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279		Proceedings Article
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor		System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318		Proceedings Article
1
Show details for Torasso, P. (ed.)Torasso, P. (ed.)
1
Show details for Traverso, P.Traverso, P.
1
Show details for Treinen, Ralf (ed.)Treinen, Ralf (ed.)
1
Show details for Trueg, SebastianTrueg, Sebastian

Next Page