Daniel Diaz - RankMe

71 papers A* 1A 5B 14C 5Misc 3Journal 17Unranked 24

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Deriving Product Line Requirements: the RED-PL Guidance Approach. CoRR Olfa Djebbi, Camille Salinesi, Daniel Diaz
2023	J	`jnl`	Using Integer Constraint Solving in Reuse Based Requirements Engineering. CoRR Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi
2022	J	`jnl`	50 Years of Prolog and Beyond. CoRR Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022	J	`jnl`	Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
2022	—	`conf`	Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW Philippe Codognet, Daniel Diaz, Salvador Abreu
2021	—	`conf`	Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. OLA Jonathan Duque, Danny A. Múnera, Daniel Diaz, Salvador Abreu
2019	—	`conf`	A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
2018	B	`conf`	Improving Constraint Solving on Parallel Hybrid Systems. ICTAI Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu
2018	—	`conf`	On Integrating Population-Based Metaheuristics with Cooperative Parallelism. IPDPS Workshops Jheisson López, Danny Munera, Daniel Diaz, Salvador Abreu
2018	—	`ch.`	Parallel Local Search. Handbook of Parallel Constraint Reasoning Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu
2018	—	`conf`	Weaving of Metaheuristics with Cooperative Parallelism. PPSN (1) Jheisson López, Danny Múnera, Daniel Diaz, Salvador Abreu
2016	—	`conf`	Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. HM Danny Munera, Daniel Diaz, Salvador Abreu
2016	B	`conf`	Run-time planning of case-based business processes. RCIS Danillo Sprovieri, Daniel Diaz, Raúl Mazo, Knut Hinkelmann
2016	B	`conf`	Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. EvoCOP Danny Munera, Daniel Diaz, Salvador Abreu
2015	J	`jnl`	Large-scale parallelism for constraint-based local search: the costas array case study. Constraints An Int. J. Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu
2015	A*	`conf`	Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet
2014	B	`conf`	A Parametric Framework for Cooperative Parallel Local Search. EvoCOP Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
2014	J	`jnl`	Dynamic adaptation of service compositions with variability models. J. Syst. Softw. Germán H. Alférez, Vicente Pelechano, Raúl Mazo, Camille Salinesi, Daniel Diaz
2014	Misc	`conf`	Flexible cooperation in parallel local search. SAC Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
2014	—	`conf`	Method to Identify Corrections of Defects on Product Line Models. CLEI Selected Papers L. F. Rincón, Gloria Lucía Giraldo G., Raúl Mazo, Camille Salinesi, Daniel Diaz
2014	—	`ch.`	Recommendation Heuristics for Improving Product Line Configuration Processes. Recommendation Systems in Software Engineering Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz
2013	J	`jnl`	Experimenting with X10 for Parallel Constraint-Based Local Search. CoRR Danny Munera, Daniel Diaz, Salvador Abreu
2013	—	`conf`	PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids. 3PGCIC Luiz Angelo Steffenel, Olivier Flauzac, Andrea Schwertner Charão, Patrícia Pitthan Barcelos, Benhur de Oliveira Stein, Sergio Nesmachnow, Manuele Kirsch-Pinheiro, Daniel Diaz
2013	J	`jnl`	Parallel Local Search: Experiments with a PGAS-based programming model CoRR Rui Machado, Salvador Abreu, Daniel Diaz
2013	C	`conf`	Parallel Performance of Declarative Programming Using a PGAS Model. PADL Rui Machado, Salvador Abreu, Daniel Diaz
2013	—	`conf`	Towards Parallel Constraint-Based Local Search with the X10 Language. KDPD Danny Munera, Daniel Diaz, Salvador Abreu
2013	B	`conf`	Towards constraint-informed information systems. RCIS Irene Rodrigues, Nuno Matos, Salvador Abreu, Rébecca Deneckère, Daniel Diaz
2012	—	`conf`	Constraint-Based Local Search for the Costas Array Problem. LION Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
2012	J	`jnl`	Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. Int. J. Inf. Syst. Model. Des. Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi, Alberto Lora-Michiels
2012	J	`jnl`	On the implementation of GNU Prolog. Theory Pract. Log. Program. Daniel Diaz, Salvador Abreu, Philippe Codognet
2012	—	`conf`	Parallel Local Search for the Costas Array Problem. IPDPS Workshops Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
2012	B	`conf`	Performance analysis of parallel constraint-based local search. PPoPP Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu
2012	J	`jnl`	Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. Daniel Diaz, Salvador Abreu, Philippe Codognet
2012	J	`jnl`	Using Constraint Programming to Manage Configurations in Self-Adaptive Systems. Computer Pete Sawyer, Raúl Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes
2012	—	`conf`	VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. CAiSE Forum Raúl Mazo, Camille Salinesi, Daniel Diaz
2011	B	`conf`	Conformance Checking with Constraint Logic Programming: The Case of Feature Models. COMPSAC Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed
2011	B	`conf`	Constraints: The core of product line engineering. RCIS Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels
2011	B	`conf`	Experiments in Parallel Constraint-Based Local Search. EvoCOP Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
2011	Misc	`conf`	Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
2011	B	`conf`	Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. ENASE Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels
2011	C	`conf`	Using Constraints for Intrusion Detection: The NeMODe System. PADL Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu
2011	—	`conf`	Using constraint programming to verify DOPLER variability models. VaMoS Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz
2010	—	`conf`	Criteria for the verification of feature models. INFORSID Camille Salinesi, Raúl Mazo, Daniel Diaz
2010	J	`jnl`	On the Implementation of GNU Prolog CoRR Daniel Diaz, Salvador Abreu, Philippe Codognet
2010	Misc	`conf`	Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC Daniel Diaz, Salvador Abreu, Philippe Codognet
2010	A	`conf`	Using Integer Constraint Solving in Reuse Based Requirements Engineering. RE Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi
2009	A	`conf`	Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland
2009	A	`conf`	Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo
2009	—	`conf`	Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) LSCS Salvador Abreu, Daniel Diaz, Philippe Codognet
2007	C	`conf`	Deriving Product Line Requirements: the RED-PL Guidance Approach. APSEC Olfa Djebbi, Camille Salinesi, Daniel Diaz
2006	J	`jnl`	CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment. J. Inf. Technol. Constr. Carlos Calderon, Marc Cavazza, Daniel Diaz
2004	—	`conf`	Contexts for Organizational Information System Design and Implementation. ICEIS (1) Salvador Abreu, Daniel Diaz
2003	—	`conf`	A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. Smart Graphics Carlos Calderon, Marc Cavazza, Daniel Diaz
2003	C	`conf`	A new approach to virtual design for spatial configuration problems. IV Carlos Calderon, Marc Cavazza, Daniel Diaz
2003	A	`conf`	Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
2003	A	`conf`	Interactive problem solving in an intelligent virtual environment. IUI Carlos Calderon, Marc Cavazza, Daniel Diaz
2003	B	`conf`	Objective: In Minimum Context. ICLP Salvador Abreu, Daniel Diaz
2001	J	`jnl`	Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. Daniel Diaz, Philippe Codognet
2001	—	`conf`	Yet Another Local Search Method for Constraint Solving. SAGA Philippe Codognet, Daniel Diaz
2000	C	`conf`	GNU Prolog: Beyond Compiling Prolog to C. PADL Daniel Diaz, Philippe Codognet
2000	—	`conf`	The GNU Prolog System and its Implementation. SAC (2) Daniel Diaz, Philippe Codognet
1996	J	`jnl`	A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reason. Philippe Codognet, Daniel Diaz
1996	J	`jnl`	Compiling Constraints in clp(FD). J. Log. Program. Philippe Codognet, Daniel Diaz
1996	—	`conf`	Constraint Reaction in FD. FSTTCS Philippe Codognet, Daniel Diaz, Francesca Rossi
1995	—	`conf`	The clp(FD) system. JFPLC Philippe Codognet, Daniel Diaz
1995	B	`conf`	WAMCC: Compiling Prolog to C. ICLP Philippe Codognet, Daniel Diaz
1994	B	`conf`	Entailment of Finite Domain Constraints. ICLP Björn Carlson, Mats Carlsson, Daniel Diaz
1994	—	`conf`	clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP Philippe Codognet, Daniel Diaz
1993	B	`conf`	A Minimal Extension of the WAM for clp(FD). ICLP Daniel Diaz, Philippe Codognet
1993	—	`conf`	Boolean Constraint Solving Using clp(FD). ICLP Workshop on Concurrent Constraint Programming Philippe Codognet, Daniel Diaz
1993	—	`conf`	Boolean Constraint Solving Using clp(FD). ILPS Philippe Codognet, Daniel Diaz