Thomas Meyer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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
13EELouise 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
12EEZhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer: Implementing Iterated Belief Change Via Prime Implicates. Australian Conference on Artificial Intelligence 2007: 507-518
11EEThomas Meyer, Lidia Yamamoto, Christian F. Tschudin: An Artificial Chemistry for Networking. BIOWIRE 2007: 45-57
10EEAnne Cregan, Rolf Schwitter, Thomas Meyer: Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. OWLED 2007
9EEKevin 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
7EENorman Y. Foo, Thomas Meyer, Gerhard Brewka: LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351
6EEThomas Meyer, Burkhart Wolff: Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214
5EERikard Bøgvad, Thomas Meyer: On algorithmically checking whether a Hilbert series comes from a complete intersection. J. Symb. Comput. 38(6): 1487-1506 (2004)
4EERenate Klempien-Hinrichs, Thomas Meyer, Carolina von Totth: Collage Grammars for Collision-Free Growing of Objects in 3D Scenes. AGTIVE 2003: 383-397
3EEPascal 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)
2EEPascal 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)
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]
2Rikard Bøgvad [5]
3Richard Booth [9] [15]
4Gerhard Brewka [7]
5Katarina Britz [14]
6Hans-Georg Capraro [2]
7Anne Cregan [10]
8Norman Y. Foo [7]
9Heinz Fretz [3]
10Pascal Furet [2] [3]
11Aditya K. Ghose (Aditya Ghose) [13]
12Johannes Heidema [14]
13Patricia Imbach [2]
14Renate Klempien-Hinrichs [4]
15 Kolyang [1]
16Kevin Lee [9]
17Louise Leenen [13]
18Christoph Lüth [1]
19Peer Mittl [3]
20Maurice Pagnucco [12]
21Jeff Z. Pan [9]
22Laurent Perrussel [8]
23Rolf Schwitter [10]
24Jean-Marc Thévenin [8]
25Carolina von Totth [4]
26Christian F. Tschudin [11]
27Burkhart Wolff [1] [6]
28Lidia Yamamoto [11]
29Zhi Qiang Zhuang [12]
30Juerg Zimmermann [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)