![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Laurent D. Michel
Person information
- affiliation: University of Connecticut, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i9]Fabio Tardivo, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. CoRR abs/2402.14821 (2024) - 2023
- [j32]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33(8): 1734-1752 (2023) - [j31]Devon Callahan, Timothy Curry
, Hazel Davidson, Heytem Zitoun
, Benjamin Fuller
, Laurent Michel
:
FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks. IEEE Trans. Dependable Secur. Comput. 20(4): 3093-3109 (2023) - [c76]Rebecca Gentzel, Laurent Michel
, Willem-Jan van Hoeve
:
Optimization Bounds from Decision Diagrams in Haddock. CPAIOR 2023: 150-166 - [c75]Fabio Tardivo
, Agostino Dovier
, Andrea Formisano
, Laurent Michel
, Enrico Pontelli
:
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR 2023: 336-353 - [c74]Waldemar Cruz, Laurent D. Michel, Benjamin Drozdenko, Steven Roodbeen:
ML and Network Traces to M.A.R.S. CSR 2023: 240-245 - 2022
- [j30]Fanghui Liu
, Waldemar Cruz, Laurent Michel
:
A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming. J. Cryptogr. Eng. 12(2): 197-228 (2022) - [c73]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraints propagation on GPU: A case study for AllDifferent. CILC 2022: 61-74 - [c72]Timothy Curry, Gabriel De Pace, Benjamin Fuller, Laurent Michel, Yan Lindsay Sun:
DUELMIPs: Optimizing SDN Functionality and Security. CP 2022: 17:1-17:18 - [c71]Rebecca Gentzel
, Laurent Michel, Willem-Jan van Hoeve:
Heuristics for MDD Propagation in HADDOCK. CP 2022: 24:1-24:17 - 2021
- [j29]Laurent D. Michel
, Pierre Schaus, Pascal Van Hentenryck:
MiniCP: a lightweight solver for constraint programming. Math. Program. Comput. 13(1): 133-184 (2021) - [e2]Laurent D. Michel
:
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021. LIPIcs 210, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-211-2 [contents] - 2020
- [c70]Rebecca Gentzel
, Laurent Michel
, Willem Jan van Hoeve
:
HADDOCK: A Language and Architecture for Decision Diagram Compilation. CP 2020: 531-547 - [i8]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
An efficient constraint based framework forhandling floating point SMT problems. CoRR abs/2002.12441 (2020) - [i7]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR abs/2002.12447 (2020)
2010 – 2019
- 2019
- [c69]Timothy Curry, Devon Callahan, Benjamin Fuller
, Laurent Michel:
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. ACISP 2019: 456-474 - [c68]Waldemar Cruz, Fanghui Liu, Laurent Michel:
A Counting-Based Approach to Scalable Micro-service Deployment. CPAIOR 2019: 192-207 - [i6]Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel:
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. CoRR abs/1902.05988 (2019) - [i5]Devon Callahan, Timothy Curry, Daniel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel:
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. CoRR abs/1910.07921 (2019) - 2018
- [j28]Laurent Michel, Maciej Zworski:
A Semiclassical Approach to the Kramers-Smoluchowski Equation. SIAM J. Math. Anal. 50(5): 5362-5379 (2018) - [c67]Fanghui Liu, Waldemar Cruz, Laurent Michel:
A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. CP 2018: 259-275 - [c66]Waldemar Cruz, Fanghui Liu, Laurent Michel:
Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. CP 2018: 613-628 - [r2]Laurent Michel, Pascal Van Hentenryck:
Constraint-Based Local Search. Handbook of Heuristics 2018: 223-260 - 2017
- [j27]Laurent D. Michel
, Pascal Van Hentenryck:
A microkernel architecture for constraint programming. Constraints An Int. J. 22(2): 107-151 (2017) - [c65]Laurent D. Michel, Michel Rueher:
What's Hot in Constraint Programming. AAAI 2017: 5073-5075 - [c64]Chujiao Ma, John A. Chandy
, Laurent Michel
, Fanghui Liu, Waldemar Cruz:
Influence of Error on Hamming Weights for ASCA. Inscrypt 2017: 447-460 - [c63]Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel
:
A Tolerant Algebraic Side-Channel Attack on AES Using CP. CP 2017: 189-205 - [c62]Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
:
Search Strategies for Floating Point Constraint Systems. CP 2017: 707-722 - [c61]Wei Yan, Daniel Fontaine, John A. Chandy
, Laurent Michel
:
A design flow with integrated verification of requirements and faults in safety-critical systems. SoSE 2017: 1-6 - 2016
- [c60]Daniel Fontaine, Laurent D. Michel
, Pascal Van Hentenryck:
Parallel Composition of Scheduling Solvers. CPAIOR 2016: 159-169 - [c59]Laurent Michel, Daniel Fontaine:
Model Combinators in the Scheduling Domain. ISAIM 2016 - 2015
- [j26]Laurent Michel:
Introduction to the fast track issue for CPAIOR 2015. Constraints An Int. J. 20(3): 283-284 (2015) - [e1]Laurent Michel:
Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings. Lecture Notes in Computer Science 9075, Springer 2015, ISBN 978-3-319-18007-6 [contents] - 2014
- [j25]Deoyani Nandrekar-Heinis, Laurent Michel, Mireille Louys, François Bonnarel:
The Table Access Protocol: Providing standard access to astronomical data. Astron. Comput. 7-8: 37-44 (2014) - [j24]Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau
:
Building an archive with Saada. Astron. Comput. 7-8: 45-51 (2014) - [j23]Laurent Michel, Marco Picasso
, Daniel Farinotti
, Martin Funk, Heinz Blatter:
Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm. Comput. Geosci. 66: 182-199 (2014) - [c58]Daniel Fontaine, Laurent D. Michel
, Pascal Van Hentenryck:
Constraint-Based Lagrangian Relaxation. CP 2014: 324-339 - [c57]Pascal Van Hentenryck, Laurent D. Michel
:
Domain Views for Constraint Programming. CP 2014: 705-720 - [c56]Laurent D. Michel
, Alexander A. Shvartsman, Nikolaj Volgushev:
A Systematic Approach to Analyzing Voting Terminal Event Logs. EVT/WOTE 2014 - [i4]Laurent Michel, Pascal Van Hentenryck:
A Microkernel Architecture for Constraint Programming. CoRR abs/1401.5334 (2014) - [i3]Pascal Van Hentenryck, Laurent Michel:
Domain Views for Constraint Programming. CoRR abs/1401.5341 (2014) - [i2]Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau:
Building an Archive with Saada. CoRR abs/1409.0351 (2014) - 2013
- [c55]Bing Yan, Peter B. Luh, Biao Sun, Chen Song, Chenhui Dong, Zhongxue Gan, Laurent D. Michel
:
Energy-efficient management of eco-communities. CASE 2013: 106-111 - [c54]Pascal Van Hentenryck, Laurent Michel
:
The Objective-CP Optimization System. CP 2013: 8-29 - [c53]Daniel Fontaine, Laurent Michel
, Pascal Van Hentenryck:
Model Combinators for Hybrid Optimization. CP 2013: 299-314 - [c52]Russell J. Jancewicz, Aggelos Kiayias, Laurent D. Michel
, Alexander Russell
, Alexander A. Shvartsman
:
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals. SAC 2013: 1816-1823 - 2012
- [j22]Hang Dinh, Hieu T. Dinh, Laurent Michel, Alexander Russell
:
The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces. J. Artif. Intell. Res. 45: 685-729 (2012) - [c51]Laurent D. Michel:
Constraint Programming and a Usability Quest. CP 2012: 1 - [c50]Laurent D. Michel
, Pascal Van Hentenryck:
Constraint Satisfaction over Bit-Vectors. CP 2012: 527-543 - [c49]Daniel Fontaine, Laurent Michel:
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. CPAIOR 2012: 180-194 - [c48]Laurent Michel
, Pascal Van Hentenryck:
Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR 2012: 228-243 - [c47]Seda Davtyan, Aggelos Kiayias, Laurent Michel
, Alexander Russell
, Alexander A. Shvartsman
:
Integrity of electronic voting systems: fallacious use of cryptography. SAC 2012: 1486-1493 - 2011
- [j21]Laurent D. Michel, Alexander A. Shvartsman
, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal deployment of eventually-serializable data services. Ann. Oper. Res. 184(1): 273-294 (2011) - [j20]Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville
:
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints An Int. J. 16(2): 125-147 (2011) - [c46]Samir A. Mohamed Elsayed, Laurent Michel:
Synthesis of Search Algorithms from High-Level CP Models. CP 2011: 256-270 - [i1]Laurent D. Michel, Pascal Van Hentenryck:
Activity-Based Search for Black-Box Contraint-Programming Solvers. CoRR abs/1105.6314 (2011) - 2010
- [j19]Jaime A. Pavlich-Mariscal
, Steven A. Demurjian, Laurent D. Michel:
A framework of composable access control features: Preserving separation of access control concerns from models to code. Comput. Secur. 29(3): 350-379 (2010) - [j18]Jaime A. Pavlich-Mariscal
, Steven A. Demurjian, Laurent D. Michel:
A framework for security assurance of access control enforcement code. Comput. Secur. 29(7): 770-784 (2010) - [j17]Thuong Doan, Steven A. Demurjian, Laurent Michel, Solomon Berhe:
Integrating Access Control into UML for Secure Software Modeling and Analysis. Int. J. Secur. Softw. Eng. 1(1): 1-19 (2010) - [c45]Laurent Michel, Alexander A. Shvartsman
, Elaine L. Sonderegger, Pascal Van Hentenryck:
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP 2010: 598-612 - [c44]Laurent D. Michel:
Parallelizing constraint programs. DAMP 2010: 3-4
2000 – 2009
- 2009
- [j16]Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-driven visualizations of constraint-based local search. Constraints An Int. J. 14(3): 294-324 (2009) - [j15]Laurent D. Michel, Andrew See, Pascal Van Hentenryck:
Parallel and distributed local search in COMET. Comput. Oper. Res. 36(8): 2357-2375 (2009) - [j14]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Transparent Parallelization of Constraint Programming. INFORMS J. Comput. 21(3): 363-382 (2009) - [j13]Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell
, Alexander A. Shvartsman
:
State-wide elections, optical scan voting systems, and the pursuit of integrity. IEEE Trans. Inf. Forensics Secur. 4(4): 597-610 (2009) - [c43]Laurent Michel, Martijn Moraal, Alexander A. Shvartsman
, Elaine L. Sonderegger, Pascal Van Hentenryck:
Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103 - [c42]Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman
, Martijn Moraal:
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2009: 193-207 - [c41]Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell
, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman
:
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. SAC 2009: 2049-2053 - [c40]Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE 2009: 230-237 - [c39]Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Alexander A. Shvartsman:
Automating Voting Terminal Event Log Analysis. EVT/WOTE 2009 - 2008
- [c38]Laurent Michel, Alexander A. Shvartsman
, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202 - [c37]Pascal Van Hentenryck, Laurent Michel:
The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381 - [c36]Jaime A. Pavlich-Mariscal
, Steven A. Demurjian, Laurent D. Michel:
A Framework of Composable Access Control Definition, Enforcement and Assurance. SCCC 2008: 13-22 - [c35]Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman:
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. EVT 2008 - 2007
- [c34]Pascal Van Hentenryck, Laurent D. Michel:
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-279 - [c33]Aggelos Kiayias, Laurent Michel, Alexander Russell
, Narasimha K. Shashidhar, Andrew See, Alexander A. Shvartsman
, Seda Davtyan:
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. ACSAC 2007: 30-39 - [c32]Bo Xiong, Peter B. Luh, Shi-Chung Chang
, Laurent D. Michel, Andrew See:
Coherent Modeling and Effective Coordination for Building Emergency Evacuation. CASE 2007: 670-677 - [c31]Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285 - [c30]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Parallelizing Constraint Programs Transparently. CP 2007: 514-528 - [c29]Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Sashidar, Andrew See, Alexander A. Shvartsman:
An Authentication and Ballot Layout Attack Against an Optical Scan Voting Terminal. EVT 2007 - 2006
- [j12]Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. Constraints An Int. J. 11(4): 353-373 (2006) - [j11]Aris Anagnostopoulos
, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A simulated annealing approach to the traveling tournament problem. J. Sched. 9(2): 177-193 (2006) - [c28]Andrew See, Laurent D. Michel, Bo Xiong, Peter B. Luh, Shi-Chung Chang:
Transportation and HVAC Systems for Building Emergency Evacuation. CASE 2006: 363-368 - [c27]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Distributed Constraint-Based Local Search. CP 2006: 344-358 - [c26]Laurent Michel, Andrew See, Pascal Van Hentenryck:
High-Level Nondeterministic Abstractions in. CP 2006: 359-374 - [c25]Pascal Van Hentenryck, Laurent Michel:
Differentiable Invariants. CP 2006: 604-619 - [c24]Thuong Doan, Laurent Michel, Steven A. Demurjian:
A Formal Framework for Secure Design and Constraint Checking in UML. ISSSE 2006 - [r1]Thom W. Frühwirth, Laurent Michel, Christian Schulte:
Constraints in Procedural and Concurrent Languages. Handbook of Constraint Programming 2006: 453-494 - 2005
- [b3]Pascal Van Hentenryck, Laurent Michel:
Constraint-based local search. MIT Press 2005, ISBN 978-0-262-22077-4, pp. I-XIX, 1-422 - [j10]Pascal Van Hentenryck, Laurent Michel:
Control Abstractions for Local Search. Constraints An Int. J. 10(2): 137-157 (2005) - [j9]Irit Katriel, Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally. Constraints An Int. J. 10(2): 159-183 (2005) - [j8]Pascal Van Hentenryck, Laurent Michel, Liyuan Liu:
Contraint-Based Combinators for Local Search. Constraints An Int. J. 10(4): 363-384 (2005) - [j7]Laurent Michel, Pascal Van Hentenryck:
A Modeling Layer for Constraint-Programming Libraries. INFORMS J. Comput. 17(4): 389-401 (2005) - [c23]Peter B. Luh, Laurent Michel, Eugene Santos Jr., Danqing Yu, Andrew See, Bo Xiong, Greg Johnson, Shi-Chung Chang
:
Coherent configuration and operation of building transportation systems. CASE 2005: 178-184 - [c22]Laurent Michel, Pascal Van Hentenryck:
Parallel Local Search in Comet. CP 2005: 430-444 - [c21]Laurent Michel, Pascal Van Hentenryck:
The Comet Programming Language and System. CP 2005: 881-881 - [c20]Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395 - [c19]Jaime A. Pavlich-Mariscal
, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting:
Role Slices: A Notation for RBAC Permission Assignment and Enforcement. DBSec 2005: 40-53 - [c18]Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting:
Stateful Design for Secure Information Systems. WOSIS 2005: 277-286 - [c17]Jaime A. Pavlich-Mariscal
, Steven A. Demurjian, Laurent D. Michel:
A Framework for Composable Security Definition, Assurance, and Enforcement. MoDELS (Satellite Events) 2005: 353-354 - [c16]Jaime A. Pavlich-Mariscal
, Laurent Michel, Steven A. Demurjian:
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. MoDELS 2005: 537-552 - 2004
- [j6]Laurent Michel, Pascal Van Hentenryck:
A simple tabu search for warehouse location. Eur. J. Oper. Res. 157(3): 576-591 (2004) - [j5]Laurent Michel, Pascal Van Hentenryck:
A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004) - [c15]Laurent Michel, Pascal Van Hentenryck:
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208 - [c14]Pascal Van Hentenryck, Laurent Michel, Liyuan Liu:
Constraint-Based Combinators for Local Search. CP 2004: 47-61 - [c13]Pascal Van Hentenryck, Laurent Michel:
Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334 - 2003
- [c12]Laurent Michel, Pascal Van Hentenryck:
Comet in Context. PCK50 2003: 95-107 - [c11]Pascal Van Hentenryck, Laurent Michel:
Control Abstractions for Local Search. CP 2003: 65-80 - [c10]Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally. CP 2003: 540-554 - [c9]Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358 - 2002
- [c8]Laurent Michel, Pascal Van Hentenryck:
A constraint-based architecture for local search. OOPSLA 2002: 83-100 - 2000
- [j4]Laurent Michel, Pascal Van Hentenryck:
Localizer. Constraints An Int. J. 5(1/2): 43-84 (2000)
1990 – 1999
- 1999
- [b2]Laurent D. Michel:
LOCALIZER A Modeling Language for Local Search. Brown University, USA, 1999 - [j3]Laurent D. Michel, Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. INFORMS J. Comput. 11(1): 1-14 (1999) - [c7]Pascal Van Hentenryck, Laurent Michel:
OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90 - [c6]Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie:
Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15 - [c5]Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin:
Constraint Programming in OPL. PPDP 1999: 98-116 - 1998
- [j2]Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou:
Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998) - 1997
- [b1]Pascal Van Hentenryck, Laurent Michel, Yves Deville:
Numerica - A Modeling Language for Global Optimization. MIT Press 1997, ISBN 978-0-262-72027-4, pp. I-XVII, 1-210 - [j1]Laurent Michel, Pascal Van Hentenryck:
Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173(1): 3-48 (1997) - [c4]Laurent Michel, Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. CP 1997: 237-251 - [c3]Laurent Michel, Jean-Francois Puget:
Interval Methods for Non-linear Constraints. CP 1997: 371 - 1993
- [c2]Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel:
The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14 - [c1]Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck:
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA 1993: 15-26
Coauthor Index
aka: Alexander A. Shvartsman
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint