dblp.uni-trier.dewww.uni-trier.de

Philippe Codognet Vis

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

*2009
72EESalvador Abreu, Daniel Diaz, Philippe Codognet: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) CoRR abs/0910.1264: (2009)
2008
71EEPhilippe Codognet: The palimpsest system. ACM Multimedia 2008: 969-972
70EEPhilippe Codognet, Gilbert Nouno: Red light spotters: images-driven sound and rhythm landscape. SAME 2008: 67-74
2007
69EEHiroshi Hosobe, Ken Satoh, Philippe Codognet: Agent-Based Speculative Constraint Processing. IEICE Transactions 90-D(9): 1354-1362 (2007)
2004
68EECharlotte Truchet, Philippe Codognet: Musical constraint satisfaction problems solved with adaptive search. Soft Comput. 8(9): 633-640 (2004)
2003
67EEStefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee: Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP 2003: 138-152
66 Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee: Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI 2003: 1364-1365
65EEKen Satoh, Philippe Codognet, Hiroshi Hosobe: Speculative Constraint Processing in Multi-agent Systems. PRIMA 2003: 133-144
64EEFabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel: Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS 2003: 569-584
63 Philippe Codognet, Francesca Rossi: Guest Editorial. Constraints 8(1): 5-7 (2003)
62EENadine Richard, Philippe Codognet, Alain Grumbach: Créatures virtuelle. Technique et Science Informatiques 22(2): 221-243 (2003)
2002
61EEPhilippe Codognet: Intelligent Agents in Virtual Worlds. ADVIS 2002: 242-243
60 Philippe Codognet: Multi-goal path-finding for autonomous agents in virtual worlds. IWEC 2002: 23-30
59EEStefano Bistarelli, Philippe Codognet, Francesca Rossi: Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139(2): 175-211 (2002)
2001
58 Philippe Codognet: Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris Hermes 2001
57 Philippe Codognet: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings Springer 2001
56EENadine Richard, Philippe Codognet, Alain Grumbach: The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars. IVA 2001: 195-209
55EEPhilippe Codognet, Daniel Diaz: Yet Another Local Search Method for Constraint Solving. SAGA 2001: 73-90
54 François Pachet, Philippe Codognet: Introduction to the Special Issue on Constraints for Multimedia Artistic Applications. Constraints 6(1): 5-6 (2001)
53 Daniel Diaz, Philippe Codognet: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 2001(6): (2001)
2000
52 Philippe Codognet: A Constraint - Based Language for Autonomous Agents in Virtual Worlds. 15. WLP 2000: 25-26
51EEStefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248
50EEDaniel Diaz, Philippe Codognet: GNU Prolog: Beyond Compiling Prolog to C. PADL 2000: 81-92
49 Daniel Diaz, Philippe Codognet: The GNU Prolog System and its Implementation. SAC (2) 2000: 728-732
48EEStefano Bistarelli, Philippe Codognet, Francesca Rossi: An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA 2000: 71-86
1999
47 Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi: Labeling and Partial Arc Consistency for Soft Constraints. APPIA-GULP-PRODE 1999: 121-136
46EEStefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Abstracting Soft Constraints. New Trends in Constraints 1999: 108-133
45EEPhilippe Codognet: A Constraint-Based Language for Virtual Agents. New Trends in Constraints 1999: 17-39
44EEPhilippe Codognet: An Historical Account of Indexical Images: from Ancient Art to the Web. VL 1999: 104-110
43 Yan Georget, Philippe Codognet, Francesca Rossi: Constraint Retraction in CLP(FD): Formal Framework and Performance Results. Constraints 4(1): 5-42 (1999)
1998
42EEYan Georget, Philippe Codognet: Compiling Semiring-Based Constraints with clp (FD, S). CP 1998: 205-219
41 Philippe Codognet: Foreword: Concurrent Constraint Programming. Sci. Comput. Program. 30(1-2): 1-2 (1998)
1997
40 Yan Georget, Philippe Codognet, Francesca Rossi: Implementing Constraint Retraction for Finite Domains. ASIAN 1997: 136-150
39 Emmanuel Chailloux, Philippe Codognet: Toward Visual Constraint Programming. VL 1997: 424-425
38 Philippe Codognet: The Virtuality of Constraints and the Constraints of Virtuality. Constraints 2(1): 45-49 (1997)
1996
37EEPhilippe Codognet, Daniel Diaz, Francesca Rossi: Constraint Reaction in FD. FSTTCS 1996: 168-179
36 Philippe Codognet: The Virtuality of Constraints and the Constraints of Virtuality. ACM Comput. Surv. 28(4es): 60 (1996)
35 Philippe Codognet, Daniel Diaz: A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reasoning 17(1): 97-129 (1996)
34 Philippe Codognet, Daniel Diaz: Compiling Constraints in clp(FD). J. Log. Program. 27(3): 185-226 (1996)
1995
33 Christian Codognet, Philippe Codognet: Guarded Constructive Disjunction: Angel or Demon? CP 1995: 345-361
32 Christian Codognet, Philippe Codognet: A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. Constraint Processing, Selected Papers 1995: 39-49
31 Philippe Codognet, Daniel Diaz: WAMCC: Compiling Prolog to C. ICLP 1995: 317-331
30 Philippe Codognet, Francesca Rossi: NMCC Programming: Constraint Enforcement and Retracting in CC Programming. ICLP 1995: 417-431
29 Philippe Codognet, Daniel Diaz: The clp(FD) system. JFPLC 1995: 357-360
1994
28 Philippe Codognet, Giuseppe Nardiello: Path Consistency in clp(FD). CCL 1994: 201-216
27 Philippe Codognet, Giuseppe Nardiello: Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods Constraint Programming 1994: 39-61
26 Christian Codognet, Philippe Codognet: Abduction and Concurrent Logic Languages. ECAI 1994: 75-79
25 Emmanuel Chailloux, Christian Codognet, Philippe Codognet: Finite Domain Constraints in the ML Functional Language. ICTAI 1994: 784-787
24 Philippe Codognet: Programmation Concurrente avec Contraintes. JFPLC 1994: 309-310
23EEPhilippe Codognet, Daniel Diaz: clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP 1994: 244-260
22EEChristian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto: Sleepers: A Versatile High-Level Control Mechanism. PLILP 1994: 308-323
21 Jacques Chassin de Kergommeaux, Philippe Codognet: Parallel Logic Programming Systems. ACM Comput. Surv. 26(3): 295-336 (1994)
1993
20 Giovanna M. Dore, Philippe Codognet: A Prototype Compiler for Prolog with Boolean Constraints. GULP 1993: 157-172
19 Daniel Diaz, Philippe Codognet: A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790
18 Philippe Codognet, Daniel Diaz: Boolean Constraint Solving Using clp(FD). ILPS 1993: 525-539
17 Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199
1992
16EEPhilippe Codognet, Gilberto Filé: Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164
15 Salvador Abreu, Luís Moniz Pereira, Philippe Codognet: Improving Backward Execution in the Andorra Family of Languages. JICSLP 1992: 384-398
1991
14 Philippe Codognet, Thierry Sola: Extending the WAM for Intelligent Backtracking. ICLP 1991: 127-141
13 Philippe Codognet, Gilberto Filé: Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71
12 Philippe Codognet, François Fages, Thierry Sola: A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456
1990
11EEPhilippe Codognet: Equations, Disequations and Unsolvable Subsets (abstract). ISSAC 1990: 289
10 Christian Codognet, Philippe Codognet, Marc-Michel Corsini: Abstract Interpretation for Concurrent Logic Languages. NACLP 1990: 215-232
9 Pierre Savéant, Philippe Codognet: A Metalanguage for Representation and Control in Assumption-based Problem Solvers. SEKE 1990: 159-164
8 Christian Codognet, Philippe Codognet, Marc-Michel Corsini: Abstract Interpretation from Prolog to Concurrent Prolog. SPLT 1990: 351-370
1989
7 Christian Codognet, Philippe Codognet: Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. ICLP 1989: 63-79
6 Christian Codognet, Philippe Codognet: Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. SPLT 1989: 423-440
1988
5 Christian Codognet, Philippe Codognet, Gilberto Filé: Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465
4 Christian Codognet, Philippe Codognet, Gilberto Filé: Yet another intelligent Backtracking method. SPLT 1988: 317-336
1987
3 Philippe Codognet: Programmation logique parallèle 87. SPLT 1987: 411-440
1986
2EEChristian Codognet, Philippe Codognet, Gilberto Filé: A Very Intelligent Backtracking Method for Logic Programs. ESOP 1986: 315-326
1 Christian Codognet, Philippe Codognet, Gilberto Filé: Backtracking intelligent en programmation logique. SPLT 1986: 25-50

Coauthor Index

1Salvador Abreu [15] [72]
2Pedro Barahona [17]
3Fabrice Baray [64]
4Stefano Bistarelli [46] [47] [48] [51] [59] [66] [67]
5Emmanuel Chailloux [25] [39]
6Christian Codognet [1] [2] [4] [5] [6] [7] [8] [10] [22] [25] [26] [32] [33]
7Marc-Michel Corsini [8] [10]
8Giovanna M. Dore [20]
9François Fages [12]
10Gilberto Filé [1] [2] [4] [5] [13] [16]
11Yan Georget [40] [42] [43] [46] [47] [51]
12Alain Grumbach [56] [62]
13Hiroshi Hosobe [65] [69]
14Kin Chuen Hui [66] [67]
15Jacques Chassin de Kergommeaux [21]
16Jimmy Ho-Man Lee (J. H. M. Lee) [66] [67]
17Vincenzo Loia [22]
18Francisco Menezes [17]
19Henri Michel [64]
20Giuseppe Nardiello [27] [28]
21Gilbert Nouno [70]
22François Pachet [54]
23Luís Moniz Pereira (Luíz Moniz Pereira) [15]
24Michel Quaggetto [22]
25Nadine Richard [56] [62]
26Fabio Rossi [47]
27Francesca Rossi [30] [37] [40] [43] [46] [48] [51] [59] [63]
28Daniel Díaz Sánchez (Daniel Diaz) [18] [19] [23] [29] [31] [34] [35] [37] [49] [50] [53] [55] [64] [72]
29Ken Satoh [65] [69]
30Pierre Savéant [9]
31Thierry Sola [12] [14]
32Charlotte Truchet [68]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)