The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Justin Pearson" ( http://dblp.L3S.de/Authors/Justin_Pearson )

  Author page on DBLP  Author page in RDF  Community of Justin Pearson in ASPL-2

Publication years (Num. hits)
1998-2006 (15) 2007-2012 (19) 2013-2014 (19) 2015-2017 (18) 2018-2019 (3)
Publication types (Num. hits)
article(23) inproceedings(51)
Venues (Conferences, Journals, ...)
CP(14) Constraints(7) CPAIOR(6) CoRR(5) ICTAI(4) AAAI(2) Ann. Math. Artif. Intell.(2) CDC(2) GCAI(2) Knowledge Eng. Review(2) LOPSTR(2) LSCS(2) SAC(2) Artif. Intell.(1) CAV(1) DATE(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 75 publication records. Showing 74 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gustav Björdal, Pierre Flener, Justin Pearson Generating Compound Moves in Local Search by Hybridisation with Complete Search. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack Declarative Local-Search Neighbourhoods in MiniZinc. Search on Bibsonomy ICTAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. Search on Bibsonomy SEFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Justin Pearson, João Pedro Hespanha, Daniel Liberzon Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Automatic Generation of Descriptions of Time-Series Constraints. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte 0001 Design and Implementation of Bounded-Length Sequence Variables. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Olga Grinchtein, Justin Pearson Modelling and Verification of User Interactions Using Constraint Programming. Search on Bibsonomy QRS Companion The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson A parametric propagator for pairs of Sum constraints with a discrete convexity property. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  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
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
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy LOPSTR 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
1Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson A constraint-based local search backend for MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Implied Constraints for Automaton Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme A Modelling Pearl with Sortedness Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jean-Noël Monette, Pierre Flener, Justin Pearson Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Mats Carlsson, Justin Pearson A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. Search on Bibsonomy TAP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Justin Pearson, João Pedro Hespanha, Daniel Liberzon Quasi-optimality of event-based encoders. Search on Bibsonomy CDC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson Constraint Solving on Bounded String Variables. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Mats Carlsson, Justin Pearson Testing of a telecommunication protocol using constraint programming. Search on Bibsonomy ICST Workshops The full citation details ... 2015 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
1Pierre Flener, Justin Pearson Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Pierre Flener, Justin Pearson A Propagator Design Framework for Constraints over Sequences. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck Propagating Regular Counting Constraints. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Kenneth Balck, Olga Grinchtein, Justin Pearson Model-based protocol log generation for testing a telecommunication test harness using CLP. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny, Bengt Jonsson A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming. Search on Bibsonomy SENSORNETS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Justin Pearson, João Pedro Hespanha, Daniel Liberzon Control with minimum communication cost per symbol. Search on Bibsonomy CDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Olga Grinchtein, Justin Pearson Protocol Log Analysis with Constraint Programming. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint. Search on Bibsonomy J. Heuristics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On the reification of global constraints. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On matrices, automata, and double counting in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck Propagating Regular Counting Constraints. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pierre Flener, Justin Pearson Automatic Airspace Sectorisation: A Survey. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson Optimising quality of information in data collection for mobile sensor networks. Search on Bibsonomy IWQoS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Generation of Implied Constraints for Automaton-Induced Decompositions. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson Bounded Strings for Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson, Wei Ming Zhang Solving String Constraints: The Case for Constraint Programming. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Marc Bourgois Constraint programming for air traffic management: preface. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Pierre Flener, Justin Pearson Towards Solver-Independent Propagators. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Pierre Flener, Justin Pearson Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson Solution neighbourhoods for constraint-directed local search. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Search on Bibsonomy WCNC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson An automaton Constraint for Local Search. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson Contingency Plans for Air Traffic Management. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On Matrices, Automata, and Double Counting. Search on Bibsonomy CPAIOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson Solving necklace constraint problems. Search on Bibsonomy J. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Revisiting constraint-directed search. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002 Dynamic structural symmetry breaking for constraint satisfaction problems. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Dominance detection, CSP, Tractability, Symmetry breaking
1Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson Toward an automaton Constraint for Local Search Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Meinolf Sellmann Static and dynamic structural symmetry breaking. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson Constrained Optimization Over Massive Databases. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Pierre Flener, Justin Pearson Solving Necklace Constraint Problems. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Generic Incremental Algorithms for Local Search. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Monadic existential second-order logic, Local search, Global constraint
1Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson Design of Financial CDO Squared Transactions Using Constraint Programming. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
1Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck Static and Dynamic Structural Symmetry Breaking. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Inferring Variable Conflicts for Local Search. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Incremental Algorithms for Local Search from Existential Second-Order Logic. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002 Compositional Derivation of Symmetries for Constraint Satisfaction. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Set Variables and Local Search. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Luis G. Reyna Financial Portfolio Optimisation. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Justin Pearson Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. Search on Bibsonomy ISAIM The full citation details ... 2004 DBLP  BibTeX  RDF
1Pierre Flener, Justin Pearson, Magnus Ågren 0002 Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Magnus Ågren 0002 Introducing esra, a Relational Language for Modelling Combinatorial Problems. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002 Tractable Symmetry Breaking for CSPs with Interchangeable Values. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh Breaking Row and Column Symmetries in Matrix Models. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi 0001 Clock Difference Diagrams. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1999 DBLP  BibTeX  RDF
1Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi 0001 Efficient Timed Reachability Analysis Using Clock Difference Diagrams. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Víctor Dalmau, Justin Pearson Closure Functions and Width 1 Problems. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Justin Pearson Constraints and Universal Algebra. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #74 of 74 (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