The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Helmut Simonis" ( http://dblp.L3S.de/Authors/Helmut_Simonis )

URL (Homepage):  https://www.insight-centre.org/users/helmut-simonis  Author page on DBLP  Author page in RDF  Community of Helmut Simonis in ASPL-2

Publication years (Num. hits)
1987-1995 (18) 1999-2009 (16) 2010-2013 (15) 2014-2016 (17) 2017-2019 (7)
Publication types (Num. hits)
article(18) incollection(5) inproceedings(49) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 74 publication records. Showing 73 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Deriving generic bounds for time-series constraints based on regular expressions characteristics. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada 0001, Mohamed Siala 0002, Helmut Simonis, Nic Wilson Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. Search on Bibsonomy ICTAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis The Inductive Constraint Programming Loop. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Generating Linear Invariants for a Conjunction of Automata Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis among Implied Constraints for Two Families of Time-Series Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Global Constraint Catalog, Volume II, Time-Series Constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis Using finite transducers for describing and synthesising structural time-series constraints. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis The Inductive Constraint Programming Loop. Search on Bibsonomy Data Mining and Constraint Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Barry Hurley 0001, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis ICON Loop Health Show Case. Search on Bibsonomy Data Mining and Constraint Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Helmut Simonis ModelSeeker: Extracting Global Constraint Models from Positive Examples. Search on Bibsonomy Data Mining and Constraint Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Barry Hurley 0001, Barry O'Sullivan, Helmut Simonis ICON Loop Energy Show Case. Search on Bibsonomy Data Mining and Constraint Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Time-Series Constraints: Improvements and Application in CP and MIP Contexts. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alan Kinsella, Alan F. Smeaton, Barry Hurley 0001, Barry O'Sullivan, Helmut Simonis Optimizing Energy Costs in a Zinc and Lead Mine. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis The Inductive Constraint Programming Loop. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis Bin Packing with Linear Usage Costs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis A Constraint-Based Dental School Timetabling System. Search on Bibsonomy AI Magazine The full citation details ... 2014 DBLP  BibTeX  RDF
1Diarmuid Grimes, Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis Analyzing the impact of electricity price forecasting on energy cost-aware scheduling. Search on Bibsonomy SUSCOM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis Toward sustainable development in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Helmut Simonis (eds.) Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Helmut Simonis, Hadrien Cambazard Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon. Search on Bibsonomy CCGRID The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada 0001, Helmut Simonis Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Deepak Mehta, Barry O'Sullivan, Helmut Simonis Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices. Search on Bibsonomy UCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis The Deployment of a Constraint-Based Dental School Timetabling System. Search on Bibsonomy IAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. Search on Bibsonomy SOCS The full citation details ... 2013 DBLP  BibTeX  RDF
1Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres. Search on Bibsonomy GECON The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Steven David Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim Partial symmetry breaking by local search in the group. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Helmut Simonis A Model Seeker: Extracting Global Constraint Models from Positive Examples. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Deepak Mehta, Barry O'Sullivan, Helmut Simonis Comparing Solution Methods for the Machine Reassignment Problem. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis Properties of Energy-Price Forecasts for Scheduling. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Barry O'Sullivan Almost Square Packing. Search on Bibsonomy CPAIOR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Helmut Simonis A Constraint Seeker: Finding and Ranking Global Constraints from Examples. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tarik Hadzic, Helmut Simonis Multicriteria Reasoning Considering Reliability or Availability. Search on Bibsonomy ICTAI (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada 0001, Mats Carlsson A Generic Visualization Platform for CP. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Progress on the Progressive Party Problem. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Helmut Simonis A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Solving the Static Design Routing and Wavelength Assignment Problem. Search on Bibsonomy CSCLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Barry O'Sullivan Search Strategies for Rectangle Packing. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Models for Global Constraint Applications. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Industrial programming, Constraint programming, Global constraints
1Helmut Simonis Constraint Applications in Networks. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Constraint Based Resilience Analysis. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Quanshi Xia, Helmut Simonis Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons. Search on Bibsonomy ICN (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Challenges for Constraint Programming in Networking. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Philippe Charlier, Philip Kay Constraint Handling in an Integrated Transportation Problem. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau Complex Constraint Abstraction: Global Constraint Visualisation. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco Using Constraint Visualisation Tools. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Abderrahmane Aggoun Search-Tree Visualisation. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mark Wallace 0001, Yves Caseau, Eric Jacquet-Lagrèze, Helmut Simonis, Gilles Pesant Preface: Volume 1. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Abderrahmane Aggoun Search Tree Debugging. Search on Bibsonomy JFPLC The full citation details ... 1999 DBLP  BibTeX  RDF
1Helmut Simonis Building Industrial Applications with Constraint Programming. Search on Bibsonomy CCL The full citation details ... 1999 DBLP  BibTeX  RDF
1Helmut Simonis Application Development with the CHIP System. Search on Bibsonomy CDB The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Applications of Constraint Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Helmut Simonis Application Development with the CHIP System. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Helmut Simonis The CHIP System and Its Applications. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Trijntje Cornelissens Modelling Producer/Consumer Constraints. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Applications of Constraint Logic Programming. Search on Bibsonomy CCL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas Constraint Satisfaction Using Constraint Logic Programming. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Mehmet Dincbas Propositional Calculus Problems in CHIP. Search on Bibsonomy WCLP The full citation details ... 1991 DBLP  BibTeX  RDF
1Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck Solving Large Combinatorial Problems in Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Mehmet Dincbas Propositional Calculus Problems in CHIP. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Helmut Simonis Test Generation using the Constraint Logic Programming Language CHIP. Search on Bibsonomy ICLP The full citation details ... 1989 DBLP  BibTeX  RDF
1Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck Solving a Cutting-Stock Problem in Constraint Logic Programming. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck Solving the Car-Sequencing Problem in Constraint Logic Programming. Search on Bibsonomy ECAI The full citation details ... 1988 DBLP  BibTeX  RDF
1Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold The CHIP System: Constraint Handling In Prolog. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier The Constraint Logic Programming Language CHIP. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
1Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf Applications of CHIP to Industrial and Engineering Problems. Search on Bibsonomy IEA/AIE (Vol. 2) The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Wolfram Büttner, Helmut Simonis Embedding Boolean Expressions into Logic Programming. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Mehmet Dincbas Using Logic Programming for Fault Diagnosis in Digital Circuits. Search on Bibsonomy GWAI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license