François Fages Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Oddi, François Fages, Francesca Rossi: Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers Springer 2009
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta De Maria, François Fages, Sylvain Soliman: On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB 2009: 142-157
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Aurélien Rizk: From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julien Martin: Modelling Search Strategies in Rules2CP. CPAIOR 2009: 321-322
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12): (2009)
2008
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Francesca Rossi, Sylvain Soliman: Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers Springer 2008
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB 2008: 251-268
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julien Martin: From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP 2008: 66-83
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Formal Cell Biology in Biocham. SFM 2008: 54-80
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Aurélien Rizk: On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci. 408(1): 55-65 (2008)
2007
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu: Journal on Data Semantics VIII Springer 2007
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu: Journal on Data Semantics IX Springer 2007
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers Springer 2007
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman: Langages formels dans la machine abstraite biochimique BIOCHAM. Technique et Science Informatiques 26(1-2): 47-72 (2007)
2006
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrahim Hnich, Mats Carlsson, François Fages, Francesca Rossi: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers Springer 2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Type Inference in Systems Biology. CMSB 2006: 48-62
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher: 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence Calzone, François Fages, Sylvain Soliman: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14): 1805-1807 (2006)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Akash Lal: A constraint programming approach to cutset problems. Computers & OR 33(10): 2852-2865 (2006)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. T. Comp. Sys. Biology: 68-70 (2006)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: Machine Learning Biochemical Networks from Temporal Logic Properties. T. Comp. Sys. Biology: 68-94 (2006)
2005
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoi Faltings, Adrian Petcu, François Fages, Francesca Rossi: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers Springer 2005
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings Springer 2005
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR 2005: 1-5
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: 05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning 2005
2004
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers Springer 2004
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Soliman, François Fages: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Automated Reasoning Tools for Molecular Biology. KI 2004: 1-2
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Emmanuel Coquery: Typing constraint logic programs CoRR cs.PL/0405100: (2004)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman, Rémi Coolen: CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints 9(4): 241-262 (2004)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter: Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 325(1): 25-44 (2004)
2003
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier, François Fages: Symbolic Model Checking of Biochemical Networks. CMSB 2003: 149-162
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Subtyping Constraints in Quasi-lattices. FSTTCS 2003: 136-148
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Symbolic Model-Checking for Biochemical Systems. ICLP 2003: 102
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux bio-chimiques. JFPLC 2003: 155-168
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)
2002
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Surcharge et sous-typage dans TCLP. JFPLC 2002: 273-
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. WLPE 2002: 47-62
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains CoRR cs.SE/0207048: (2002)
2001
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Programmes logiques avec contraintes typés. JFPLC 2001: 223-238
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: CLP versus LS on Log-based Reconciliation Problems CoRR cs.PL/0109033: (2001)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Paul Ruet, Sylvain Soliman: Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165(1): 14-41 (2001)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Emmanuel Coquery: Typing constraint logic programs. TPLP 1(6): 751-777 (2001)
2000
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Concurrent constraint programming and linear logic (abstract). PPDP 2000: 44
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping CoRR cs.LO/0010029: (2000)
1999
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France Hermes 1999
1998
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Massimo Paltrinieri: A Generic Type System for CLP(chi). IJCSLP 1998: 353-354
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Paul Ruet, Sylvain Soliman: Phase Semantics and Verification of Concurrent Constraint Programs. LICS 1998: 141-152
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Roberta Gori: Analysis of Normal Logic Programs. SAS 1998: 82-98
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julian Fowler, Thierry Sola: Experiments in Reactive Constraint Logic Programming. J. Log. Program. 37(1-3): 185-212 (1998)
1997
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Ruet, François Fages: Concurrent Constraint Programming and Non-commutative Logic. CSL 1997: 406-423
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Constructive Negation by Pruning. J. Log. Program. 32(2): 85-118 (1997)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Ruet, François Fages: Combining Explicit Negation and Negation by Failure Via Belnap's Logic. Theor. Comput. Sci. 171(1-2): 61-75 (1997)
1996
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Roberta Gori: A Hierarchy of Semantics for Normal Constraint Logic Programs. ALP 1996: 77-91
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: From Constraint Minimization to Goal Optimization in CLP Languages. CP 1996: 537-538
1995
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julian Fowler, Thierry Sola: A Reactive Constraint Logic Programming Scheme. ICLP 1995: 149-163
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Fowler, Thierry Sola, François Fages: Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. JFPLC 1995: 21-33
1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages Constraint Programming 1994: 68-89
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julian Fowler, Thierry Sola: Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP 1994: 261-276
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure: Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. SLP 1994: 678
1993
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: On the Semantics of Optimization Predicates in CLP Languages. FSTTCS 1993: 193-204
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: On the Semantics of Optimization Predicates in CLP languages. PPCP 1993: 51-59
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Albert, Rafael Casas, François Fages: Average-Case Analysis of Unification Algorithms. Theor. Comput. Sci. 113(1): 3-34 (1993)
1991
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann: Average Case Analysis of Unification Algorithms. STACS 1991: 196-213
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Codognet, François Fages, Thierry Sola: A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. New Generation Comput. 9(3/4): 425-444 (1991)
1990
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. ICLP 1990: 441-458
1988
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Albert, François Fages: Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. ICALP 1988: 18-37
1987
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Associative-Commutative Unification. J. Symb. Comput. 3(3): 257-275 (1987)
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. Theor. Comput. Sci. 43: 189-200 (1986)
1984
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Associative-Commutative Unification. CADE 1984: 194-208
1983
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. CAAP 1983: 205-220
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Note sur l'unification des termes de premier ordre finis et infinis. SPLT 1983

Coauthor Index

1Luc Albert [6] [10] [11]
2Krzysztof R. Apt [54]
3Paolo Atzeni [75] [76]
4Francisco Azevedo [74]
5Pedro Barahona [74]
6Grégory Batt [65] [83] [85]
7Jeremy T. Bradley [65]
8François Bry (François Bry-Haußer) [55] [69]
9Laurence Calzone [61] [64] [70]
10Mats Carlsson [68]
11Rafael Casas [10] [11]
12Nathalie Chabrier [41] [43] [46]
13Nathalie Chabrier-Rivier [47] [53] [61] [70]
14Marc Chiaverini [47]
15Philippe Codognet [9]
16Rémi Coolen [49]
17Emmanuel Coquery [32] [35] [38] [39] [40] [42] [45] [50] [57] [58]
18Vincent Danos [47]
19Alain Demeure [14]
20Pierre Deransart [29] [31]
21Roland Ewald [65]
22Boi Faltings [60]
23L. Fosse [70]
24Julian Fowler [15] [17] [18] [24]
25Malik Ghallab [48]
26Roberta Gori [20] [25]
27Mohand-Said Hacid [75] [76]
28Rémy Haemmerlé [66] [71] [72]
29Holger Hermanns [65]
30Jane Hillston [65]
31Brahim Hnich [68]
32Gérard P. Huet [2] [4]
33Jean Jourdan [14]
34Peter Kemper [65]
35Michael Kifer [75] [76]
36Akash Lal [63]
37Massimo Marchiori [55] [69]
38Elisabetta De Maria [88]
39Alke Martens [65]
40Julien Martin [82] [86]
41Pieter J. Mosterman [65]
42John Mylopoulos [75] [76]
43Flemming Nielson [65]
44Angelo Oddi [89]
45Hans Jürgen Ohlbach [55] [69]
46Massimo Paltrinieri [27]
47Barbara Pernici [75] [76]
48Adrian Petcu [60]
49Martin A. Riedmiller (Martin Riedmiller) [48]
50Aurélien Rizk [73] [77] [83] [85] [87]
51Francesca Rossi [54] [60] [68] [74] [84] [89]
52Didier Rozzonelli [14]
53Paul Ruet [21] [23] [26] [33]
54Vincent Schächter [47]
55Pavel Shvaiko [75] [76]
56Jörg H. Siekmann [48]
57Jan-Georg Smaus [29] [31]
58Oleg Sokolsky [65]
59Thierry Sola [9] [15] [17] [18] [24]
60Sylvain Soliman [26] [33] [49] [52] [53] [59] [61] [64] [67] [70] [72] [78] [79] [80] [81] [83] [84] [85] [88]
61Stefano Spaccapietra [75] [76]
62Péter Szeredi [54]
63A. Torrecillas [10]
64Juan Trujillo [75] [76]
65Adelinde M. Uhrmacher (Adelinde Uhrmacher) [65]
66József Váncza [54]
67Wolfgang Wahlster [48]
68Ilya Zaihrayeu [75] [76]
69Paul Zimmermann [10]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)