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 | EE | 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 | EE | Zhi Qiang Zhuang,
Maurice Pagnucco,
Thomas Meyer:
Implementing Iterated Belief Change Via Prime Implicates.
Australian Conference on Artificial Intelligence 2007: 507-518 |
11 | EE | Thomas Meyer,
Lidia Yamamoto,
Christian F. Tschudin:
An Artificial Chemistry for Networking.
BIOWIRE 2007: 45-57 |
10 | EE | Anne Cregan,
Rolf Schwitter,
Thomas Meyer:
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1.
OWLED 2007 |
2006 |
9 | EE | 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 | EE | Norman Y. Foo,
Thomas Meyer,
Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria.
ASIAN 2004: 343-351 |
6 | EE | Thomas Meyer,
Burkhart Wolff:
Tactic-Based Optimized Compilation of Functional Programs.
TYPES 2004: 201-214 |
5 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |