Yves Deville - RankMe

118 papers A* 7A 20B 18C 6Misc 1Journal 36Unranked 22

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	funGp: An J. Stat. Softw. José Betancourt, François Bachoc, Thierry Klein, Déborah Idier, Jérémy Rohmer, Yves Deville
2023	—	`ed.`	Post-Covid Prospects for Massive Open Online Courses: 8th European MOOCs Stakeholders Summit, EMOOCs 2023, Potsdam, Germany, June 14-16, 2023 EMOOCs Christoph Meinel, Stefanie Schweiger, Thomas Staubitz, Robert Conrad, Carlos Alario-Hoyos, Martin Ebner, Susanna Sancassani, Agnieszka Zur, Christian Friedl, Sherif A. Halawa, Dilrukshi Gamage, Jeffrey S. Cross, May Kristine Jonson Carlon, Yves Deville, Michael Gaebel, Carlos Delgado Kloos, Karen von Schmieden
2020	—	`conf`	A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education. CSEDU (1) Christine Jacqmot, Françoise Docq, Yves Deville
2020	J	`jnl`	A hybrid genetic algorithm for the traveling salesman problem with drone. J. Heuristics Quang Minh Ha, Yves Deville, Pham Quang Dung, Minh Hoàng Hà
2020	J	`jnl`	Group Kernels for Gaussian Process Metamodels with Categorical Inputs. SIAM/ASA J. Uncertain. Quantification Olivier Roustant, Esperan Padonou, Yves Deville, Aloïs Clément, Guillaume Perrin, Jean Giorla, Henry P. Wynn
2019	J	`jnl`	Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times. CoRR Michael Saint-Guillain, Christine Solnon, Yves Deville
2019	A	`conf`	SolverCheck: Declarative Testing of Constraints. CP Xavier Gillard, Pierre Schaus, Yves Deville
2018	J	`jnl`	A Hybrid Genetic Algorithm for the Traveling Salesman Problem with Drone. CoRR Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà
2018	A	`conf`	Robustly disjoint paths with segment routing. CoNEXT François Aubry, Stefano Vissicchio, Olivier Bonaventure, Yves Deville
2018	B	`conf`	Soft-Regular with a Prefix-Size Violation Measure. CPAIOR Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville
2017	A*	`conf`	Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. IJCAI Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville
2017	J	`jnl`	Editors' Introduction to the Special Issue on "Information and Communication Technology". Informatica (Slovenia) Luc De Raedt, Marc Bui, Yves Deville, T. Dieu Linh Truong
2017	B	`conf`	Efficient Reification of Table Constraints. ICTAI Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre
2017	A	`conf`	Extending Compact-Table to Basic Smart Tables. CP Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus
2017	—	`conf`	The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times. EvoApplications (2) Michael Saint-Guillain, Christine Solnon, Yves Deville
2017	J	`jnl`	The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies. CoRR Michael Saint-Guillain, Christine Solnon, Yves Deville
2016	J	`jnl`	Exact methods for solving the elementary shortest and longest path problems. Ann. Oper. Res. Quoc Trung Bui, Yves Deville, Quang-Dung Pham
2016	J	`jnl`	Introduction to Special issue on "The Sixth International Symposium on Information and Communication Technology -SoICT 2015. Informatica (Slovenia) Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Linh
2016	A*	`conf`	SCMon: Leveraging segment routing to improve network monitoring. INFOCOM Francois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure
2015	J	`jnl`	A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW - Extended version. CoRR Michael Saint-Guillain, Yves Deville, Christine Solnon
2015	B	`conf`	A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. CPAIOR Michael Saint-Guillain, Yves Deville, Christine Solnon
2015	J	`jnl`	A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows. Transp. Sci. Sébastien Mouthuy, Florence Massen, Yves Deville, Pascal Van Hentenryck
2015	B	`conf`	Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. CPAIOR Cyrille Dejemeppe, Pierre Schaus, Yves Deville
2015	—	`conf`	Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits. COSADE François Durvaux, François-Xavier Standaert, Nicolas Veyrat-Charvillon, Jean-Baptiste Mairy, Yves Deville
2015	J	`jnl`	Heuristic methods for the Traveling Salesman Problem with Drone. CoRR Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà
2015	—	`ed.`	Proceedings of the Sixth International Symposium on Information and Communication Technology, Hue City, Vietnam, December 3-4, 2015 SoICT Huynh Quyet Thang, Le Anh Phuong, Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Linh, Thi-Oanh Nguyen, Dinh Viet Sang, Nguyen Ba Ngoc
2015	B	`conf`	The Smart Table Constraint. CPAIOR Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
2015	B	`conf`	Traffic duplication through segmentable disjoint paths. Networking Francois Aubry, David Lebrun, Yves Deville, Olivier Bonaventure
2014	B	`conf`	Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling. CPAIOR Cyrille Dejemeppe, Yves Deville
2014	B	`conf`	Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. CPAIOR Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
2014	J	`jnl`	Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits. IACR Cryptol. ePrint Arch. François Durvaux, François-Xavier Standaert, Nicolas Veyrat-Charvillon, Jean-Baptiste Mairy, Yves Deville
2014	J	`jnl`	Multi-objective traffic engineering for data center networks. Comput. Networks Trong-Viet Ho, Yves Deville, Olivier Bonaventure
2014	J	`jnl`	Optimal and efficient filtering algorithms for table constraints. Constraints An Int. J. Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville
2014	—	`ed.`	Proceedings of the Fifth Symposium on Information and Communication Technology, SoICT '14, Hanoi, Vietnam, December 4-5, 2014 SoICT Nguyen Trong Giang, Huynh Quyet Thang, Ismal Khalil, Son Hong Ngo, Yves Deville, Marc Bui
2014	B	`conf`	Solving the Quorumcast Routing Problem as a Mixed Integer Program. CPAIOR Quoc Trung Bui, Quang-Dung Pham, Yves Deville
2014	A	`conf`	The StockingCost Constraint. CP Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville
2013	J	`jnl`	Domain consistency with forbidden values. Constraints An Int. J. Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy
2013	—	`conf`	Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace. Hybrid Metaheuristics Florence Massen, Manuel López-Ibáñez, Thomas Stützle, Yves Deville
2013	A	`conf`	Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. CP Quoc Trung Bui, Quang-Dung Pham, Yves Deville
2012	A	`conf`	An Optimal Filtering Algorithm for Table Constraints. CP Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville
2012	B	`conf`	Castor: A Constraint-Based SPARQL Engine with Active Filter Processing. ESWC Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin
2012	J	`jnl`	Constraint-based Very Large-Scale Neighborhood search. Constraints An Int. J. Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville
2012	J	`jnl`	LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Constraints An Int. J. Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck
2012	B	`conf`	Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR Florence Massen, Yves Deville, Pascal Van Hentenryck
2012	B	`conf`	Solving the Longest Simple Path Problem with Constraint-Based Techniques. CPAIOR Quang-Dung Pham, Yves Deville
2012	J	`jnl`	Solving the quorumcast routing problem by constraint programming. Constraints An Int. J. Quang-Dung Pham, Yves Deville
2011	A	`conf`	An Efficient Light Solver for Querying the Semantic Web. CP Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon
2011	—	`conf`	Constraint-based local search for fields partitioning problem. SoICT Quoc Trung Bui, Quang-Dung Pham, Yves Deville
2011	J	`jnl`	Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints An Int. J. Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville
2011	A	`conf`	Traffic engineering for multiple spanning tree protocol in large data centers. ITC Ho Trong Viet, Yves Deville, Olivier Bonaventure, Pierre François
2010	B	`conf`	Consistency Check for the Bin Packing Constraint Revisited. CPAIOR Julien Dupuis, Pierre Schaus, Yves Deville
2010	B	`conf`	Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2010	—	`conf`	Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem. SoICT Pham Quang Dung, Phan-Thuan Do, Yves Deville, Tuong-Vinh Ho
2010	A	`conf`	Domain Consistency with Forbidden Values. CP Yves Deville, Pascal Van Hentenryck
2010	J	`jnl`	Solving subgraph isomorphism problems with constraint programming. Constraints An Int. J. Stéphane Zampelli, Yves Deville, Christine Solnon
2010	A	`conf`	Using local search for traffic engineering in switched Ethernet networks. ITC Ho Trong Viet, Olivier Bonaventure, Yves Deville, Pham Quang Dung, Pierre François
2009	—	`conf`	A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) LSCS Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2009	A	`conf`	Constraint-Based Graph Matching. CP Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon
2009	A*	`conf`	Just-In-Time Scheduling with Constraint Programming. ICAPS Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck
2009	Misc	`conf`	LS(graph & tree): a local search framework for constraint optimization on graphs and trees. SAC Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2009	—	`ed.`	Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009. LSCS Yves Deville, Christine Solnon
2008	A*	`conf`	A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI Pierre Schaus, Yves Deville
2008	J	`jnl`	Decomposition Techniques for Subgraph Matching CoRR Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen
2008	J	`jnl`	NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways. Nucleic Acids Res. Sylvain Brohée, Karoline Faust, Gipsi Lima-Mendez, Olivier Sand, Rekin's Janky, Gilles Vanderstocken, Yves Deville, Jacques van Helden
2007	B	`conf`	A Position-Based Propagator for the Open-Shop Problem. CPAIOR Jean-Noël Monette, Yves Deville, Pierre Dupont
2007	A	`conf`	Bound-Consistent Deviation Constraint. CP Pierre Schaus, Yves Deville, Pierre Dupont
2007	—	`conf`	Combining Two Structured Domains for Modeling Various Graph Matching Problems. CSCLP Yves Deville, Grégoire Dooms, Stéphane Zampelli
2007	A	`conf`	Filtering for Subgraph Isomorphism. CP Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont
2007	B	`conf`	The Deviation Constraint. CPAIOR Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin
2006	C	`conf`	Using Dominators for Solving Constrained Path Problems. PADL Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
2005	A	`conf`	Approximate Constrained Subgraph Matching. CP Stéphane Zampelli, Yves Deville, Pierre Dupont
2005	J	`jnl`	Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. Theory Pract. Log. Program. Yves Deville
2005	A	`conf`	CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. CP Grégoire Dooms, Yves Deville, Pierre Dupont
2005	A	`conf`	Speeding Up Constrained Path Solvers with a Reachability Propagator. CP Luis Quesada, Peter Van Roy, Yves Deville
2004	—	`conf`	A Mozart Implementation of CP(BioNet). MOZ Grégoire Dooms, Yves Deville, Pierre Dupont
2004	—	`conf`	Recherche de chemins contraints dans les réseaux biochimiques. JFPLC Grégoire Dooms, Yves Deville, Pierre Dupont
2004	—	`ch.`	Synthesis of Programs in Computational Logic. Program Development in Computational Logic David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
2004	J	`jnl`	The aMAZE LightBench: a web interface to a relational database of cellular processes. Nucleic Acids Res. Christian Lemer, Erick Antezana, Fabian Couche, Frédéric Fays, Xavier Santolaria, Rekin's Janky, Yves Deville, Jean Richelle, Shoshana J. Wodak
2003	—	`conf`	An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak
2003	J	`jnl`	An overview of data models for the analysis of biochemical pathways. Briefings Bioinform. Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak
2003	—	`conf`	Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE Nguyen Tran Sy, Yves Deville
2003	—	`conf`	Integrative machine learning approach for multi-class SCOP protein fold classification. German Conference on Bioinformatics Aik Choon Tan, David R. Gilbert, Yves Deville
2002	J	`jnl`	A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numer. Anal. Micha Janssen, Pascal Van Hentenryck, Yves Deville
2002	J	`jnl`	Consistency Techniques in Ordinary Differential Equations. Constraints An Int. J. Yves Deville, Micha Janssen, Pascal Van Hentenryck
2002	A	`conf`	From AOSE methodology to agent implementation. AAMAS Philippe Massonet, Yves Deville, Cédric Nève
2001	A*	`conf`	A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI Micha Janssen, Pascal Van Hentenryck, Yves Deville
2001	A*	`conf`	Automatic Test Data Generation for Programs with Integer and Float Variables. ASE Nguyen Tran Sy, Yves Deville
2001	A	`conf`	Optimal Pruning in Parametric Differential Equations. CP Micha Janssen, Pascal Van Hentenryck, Yves Deville
2000	J	`jnl`	Simulated Annealing with Estimated Temperature. AI Commun. E. Poupaert, Yves Deville
1999	J	`jnl`	Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. Yves Deville, Olivier Barette, Pascal Van Hentenryck
1999	J	`jnl`	Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. J. Log. Program. Annalisa Bossi, Yves Deville
1999	A	`conf`	Multistep Filtering Operators for Ordinary Differential Equations. CP Micha Janssen, Yves Deville, Pascal Van Hentenryck
1998	J	`jnl`	A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. Thang Nguyen, Yves Deville
1998	A	`conf`	Consistency Techniques in Ordinary Differential Equations. CP Yves Deville, Micha Janssen, Pascal Van Hentenryck
1998	J	`jnl`	Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
1997	—	`conf`	Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) Yves Deville, Olivier Barette, Pascal Van Hentenryck
1997	C	`conf`	Logic Program Schemas, Constraints, and Semi-unification. LOPSTR Eric Chasseur, Yves Deville
1997	—	`book`	Numerica - A Modeling Language for Global Optimization. Pascal Van Hentenryck, Laurent Michel, Yves Deville
1995	—	`conf`	A Distributed Arc-Consistency Algorithm. CCP Thang Nguyen, Yves Deville
1995	C	`conf`	Logic Program Transformation through Generalization Schemata. LOPSTR Pierre Flener, Yves Deville
1994	—	`conf`	Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
1994	C	`ed.`	Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 LOPSTR Yves Deville
1994	J	`jnl`	Logic Program Synthesis. J. Log. Program. Yves Deville, Kung-Kiu Lau
1993	C	`conf`	Guiding Synthesis Proofs. LOPSTR Vincent Lombart, Geraint A. Wiggins, Yves Deville
1993	J	`jnl`	Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. Pierre Flener, Yves Deville
1992	J	`jnl`	A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. Pascal Van Hentenryck, Yves Deville, Choh Man Teng
1992	—	`conf`	SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE Pierre Flener, Yves Deville
1991	A*	`conf`	An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI Yves Deville, Pascal Van Hentenryck
1991	—	`conf`	Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP Pascal Van Hentenryck, Yves Deville
1991	B	`conf`	Software Development and Logic Programming. ICLP Yves Deville, Leon Sterling, Pierre Deransart
1991	—	`conf`	Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs Pierre Flener, Yves Deville
1991	B	`conf`	The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP Pascal Van Hentenryck, Yves Deville
1991	—	`conf`	The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP Pascal Van Hentenryck, Yves Deville
1991	C	`conf`	Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR Pierre Flener, Yves Deville
1990	—	`conf`	Construction of CLP Programs. ALPUK Yves Deville, Pascal Van Hentenryck
1990	—	`book`	Logic programming - systematic program development. Yves Deville
1989	—	`conf`	Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. NACLP Yves Deville, Jean Burnay
1987	—	`—`	A methodology for logic program construction Yves Deville