| 2007 |
|---|
| 12 | 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 |
| 11 | EE | Zhi Qiang Zhuang,
Maurice Pagnucco,
Thomas Meyer:
Implementing Iterated Belief Change Via Prime Implicates.
Australian Conference on Artificial Intelligence 2007: 507-518 |
| 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 |
