Daniel Diaz

University of Paris 1

	2012
36		Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu: Performance analysis of parallel constraint-based local search. PPOPP 2012: 337-338
35		Daniel Diaz, Salvador Abreu, Philippe Codognet: Targeting the Cell Broadband Engine for constraint-based local search. Concurrency and Computation: Practice and Experience 24(6): 647-660 (2012)
	2011
34		Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed: Conformance Checking with Constraint Logic Programming: The Case of Feature Models. COMPSAC 2011: 456-465
33		Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels: Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. ENASE 2011: 188-199
32		Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu: Experiments in Parallel Constraint-Based Local Search. EvoCOP 2011: 96-107
31		Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu: Using Constraints for Intrusion Detection: The NeMODe System. PADL 2011: 115-129
30		Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels: Constraints: The core of product line engineering. RCIS 2011: 1-10
29		Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu: Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC 2011: 920-921
28		Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz: Using constraint programming to verify DOPLER variability models. VaMoS 2011: 97-103
	2010
27		Daniel Diaz, Salvador Abreu, Philippe Codognet: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010: 265-274
26		Camille Salinesi, Raúl Mazo, Daniel Diaz: Criteria for the verification of feature models. INFORSID 2010: 293-308
25		Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi: Using Integer Constraint Solving in Reuse Based Requirements Engineering. RE 2010: 243-251
24		Daniel Diaz, Salvador Abreu, Philippe Codognet: On the Implementation of GNU Prolog CoRR abs/1012.2496: (2010)
	2009
23		Salvador Abreu, Daniel Diaz, Philippe Codognet: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) LSCS 2009: 97-111
22		Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland: Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE 2009: 375-376
21		Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo: Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE 2009: 385-386
	2007
20		Olfa Djebbi, Camille Salinesi, Daniel Diaz: Deriving Product Line Requirements: the RED-PL Guidance Approach. APSEC 2007: 494-501
	2004
19		Salvador Abreu, Daniel Diaz: Contexts for Organizational Information System Design and Implementation. ICEIS (1) 2004: 227-232
	2003
18		Salvador Abreu, Daniel Diaz: Objective: In Minimum Context. ICLP 2003: 128-147
17		Carlos Calderon, Marc Cavazza, Daniel Diaz: Interactive problem solving in an intelligent virtual environment. IUI 2003: 319
16		Carlos Calderon, Marc Cavazza, Daniel Diaz: A new approach to virtual design for spatial configuration problems. IV 2003: 518-523
15		Carlos Calderon, Marc Cavazza, Daniel Diaz: A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. Smart Graphics 2003: 112-122
14		Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel: Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS 2003: 569-584
	2001
13		Philippe Codognet, Daniel Diaz: Yet Another Local Search Method for Constraint Solving. SAGA 2001: 73-90
12		Daniel Diaz, Philippe Codognet: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 2001(6): (2001)
	2000
11		Daniel Diaz, Philippe Codognet: GNU Prolog: Beyond Compiling Prolog to C. PADL 2000: 81-92
10		Daniel Diaz, Philippe Codognet: The GNU Prolog System and its Implementation. SAC (2) 2000: 728-732
	1996
9		Philippe Codognet, Daniel Diaz, Francesca Rossi: Constraint Reaction in FD. FSTTCS 1996: 168-179
8		Philippe Codognet, Daniel Diaz: A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reasoning 17(1): 97-129 (1996)
7		Philippe Codognet, Daniel Diaz: Compiling Constraints in clp(FD). J. Log. Program. 27(3): 185-226 (1996)
	1995
6		Philippe Codognet, Daniel Diaz: WAMCC: Compiling Prolog to C. ICLP 1995: 317-331
5		Philippe Codognet, Daniel Diaz: The clp(FD) system. JFPLC 1995: 357-360
	1994
4		Björn Carlson, Mats Carlsson, Daniel Diaz: Entailment of Finite Domain Constraints. ICLP 1994: 339-353
3		Philippe Codognet, Daniel Diaz: clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP 1994: 244-260
	1993
2		Daniel Diaz, Philippe Codognet: A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790
1		Philippe Codognet, Daniel Diaz: Boolean Constraint Solving Using clp(FD). ILPS 1993: 525-539

Coauthor Index

1	Salvador Abreu	[18] [19] [23] [24] [27] [29] [31] [32] [35] [36]
2	Fabrice Baray	[14]
3	Isabel Brito	[31]
4	Carlos Calderon	[15] [16] [17]
5	Yves Caniou	[29] [32] [36]
6	Björn Carlson	[4]
7	Mats Carlsson	[4]
8	Marc Cavazza	[15] [16] [17]
9	Philippe Codognet	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [23] [24] [27] [29] [32] [35] [36]
10	Olfa Djebbi	[20] [22] [25] [30]
11	Alexander Egyed	[34]
12	Paul Grünbacher	[28]
13	Wolfgang Heider	[28]
14	Roberto Erick Lopez-Herrejon (Roberto E. Lopez-Herrejon)	[34]
15	Alberto Lora-Michiels	[30] [33]
16	Raúl Mazo	[21] [22] [25] [26] [28] [30] [33] [34]
17	Henri Michel	[14]
18	Rick Rabiser	[28]
19	Florian Richoux	[36]
20	Colette Rolland	[21] [22]
21	Francesca Rossi	[9]
22	Pedro D. Salgueiro	[31]
23	Camille Salinesi	[20] [21] [22] [25] [26] [28] [30] [33] [34]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page