Thomas Meyer

	2009
18		Stefan K. Gehrig, Felix Eberli, Thomas Meyer: A Real-Time Low-Power Stereo Vision Engine Using Semi-Global Matching. ICVS 2009: 134-143
17		Richard Booth, Thomas Meyer, Ivan José Varzinczak: Next Steps in Propositional Horn Contraction. IJCAI 2009: 702-707
16		Richard Booth, Thomas Meyer, Chattrakul Sombattheera: A General Family of Preferential Belief Removal Operators. LORI 2009: 42-54
	2008
15		Richard Booth, Thomas Meyer: Equilibria in Social Belief Removal. KR 2008: 145-155
14		Katarina Britz, Johannes Heidema, Thomas Meyer: Semantic Preferential Subsumption. KR 2008: 476-484
	2007
13		Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose: Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Australian Conference on Artificial Intelligence 2007: 202-212
12		Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer: Implementing Iterated Belief Change Via Prime Implicates. Australian Conference on Artificial Intelligence 2007: 507-518
11		Thomas Meyer, Lidia Yamamoto, Christian F. Tschudin: An Artificial Chemistry for Networking. BIOWIRE 2007: 45-57
10		Anne Cregan, Rolf Schwitter, Thomas Meyer: Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. OWLED 2007
	2006
9		Kevin Lee, Thomas Meyer, Jeff Z. Pan, Richard Booth: Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. Description Logics 2006
8		Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer: Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. ECAI 2006: 731-732
	2004
7		Norman Y. Foo, Thomas Meyer, Gerhard Brewka: LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351
6		Thomas Meyer, Burkhart Wolff: Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214
5		Rikard Bøgvad, Thomas Meyer: On algorithmically checking whether a Hilbert series comes from a complete intersection. J. Symb. Comput. 38(6): 1487-1506 (2004)
	2003
4		Renate Klempien-Hinrichs, Thomas Meyer, Carolina von Totth: Collage Grammars for Collision-Free Growing of Objects in 3D Scenes. AGTIVE 2003: 383-397
	2001
3		Pascal Furet, Thomas Meyer, Peer Mittl, Heinz Fretz: Identification of cylin-dependent kinase 1 inhibitors of a new chemical type by structure-based design and database searching. Journal of Computer-Aided Molecular Design 15(5): 489-495 (2001)
	2000
2		Pascal Furet, Juerg Zimmermann, Hans-Georg Capraro, Thomas Meyer, Patricia Imbach: Structure-based design of potent CDK1 inhibitors derived from olomoucine. Journal of Computer-Aided Molecular Design 14(5): 403-409 (2000)
	1997
1		Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff: TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858

Coauthor Index

1	Anbulagan	[13]
2	Rikard Bøgvad	[5]
3	Richard Booth	[9] [15] [16] [17]
4	Gerhard Brewka	[7]
5	Katarina Britz	[14]
6	Hans-Georg Capraro	[2]
7	Anne Cregan	[10]
8	Felix Eberli	[18]
9	Norman Y. Foo	[7]
10	Heinz Fretz	[3]
11	Pascal Furet	[2] [3]
12	Stefan K. Gehrig	[18]
13	Aditya K. Ghose (Aditya Ghose)	[13]
14	Johannes Heidema	[14]
15	Patricia Imbach	[2]
16	Renate Klempien-Hinrichs	[4]
17	Kolyang	[1]
18	Kevin Lee	[9]
19	Louise Leenen	[13]
20	Christoph Lüth	[1]
21	Peer Mittl	[3]
22	Maurice Pagnucco	[12]
23	Jeff Z. Pan	[9]
24	Laurent Perrussel	[8]
25	Rolf Schwitter	[10]
26	Chattrakul Sombattheera	[16]
27	Jean-Marc Thévenin	[8]
28	Carolina von Totth	[4]
29	Christian F. Tschudin	[11]
30	Ivan José Varzinczak	[17]
31	Burkhart Wolff	[1] [6]
32	Lidia Yamamoto	[11]
33	Zhi Qiang Zhuang	[12]
34	Juerg Zimmermann	[2]

Colors in the list of coauthors