default search action
Ludovic Langevine
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [c16]Ludovic Langevine, Paul Bone:
The Logic of Insurance: an Ontology-Centric Pricing Application. ISWC (Industry Track) 2014 - 2010
- [c15]Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof
:
Declarative workflows to efficiently manage flexible and advanced business processes. PPDP 2010: 209-218
2000 – 2009
- 2008
- [j2]Ludovic Langevine, Mireille Ducassé:
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs. Theory Pract. Log. Program. 8(5-6): 581-609 (2008) - [i3]Ludovic Langevine, Mireille Ducassé:
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs. CoRR abs/0804.4116 (2008) - 2005
- [c14]Ludovic Langevine, Mireille Ducassé:
A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148 - [c13]Ludovic Langevine:
Gentra4cp: A Generic Trace Format for Constraint Programming. ICLP 2005: 433-434 - [c12]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110 - [i2]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. CoRR abs/cs/0508105 (2005) - 2004
- [c11]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP 2004: 462-463 - [c10]Ludovic Langevine, Mireille Ducassé:
Un pilote de traceur pour la PLC. JFPLC 2004 - 2003
- [j1]Pierre Deransart, Ludovic Langevine:
Un nouveau traceur générique pour GNU-Prolog. Tech. Sci. Informatiques 22(1): 97-110 (2003) - [c9]Ludovic Langevine:
Observation of Constraint Programs. CP 2003: 980 - [c8]Ludovic Langevine, Pierre Deransart, Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195 - [c7]Ludovic Langevine, Mireille Ducassé, Pierre Deransart:
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283 - [c6]Ludovic Langevine, Pierre Deransart:
Un nouveau traceur générique pour GNU-Prolog. JFPLC 2003: 97-110 - [c5]Pierre Deransart, Ludovic Langevine, Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47 - [i1]Mireille Ducassé, Ludovic Langevine, Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming. CoRR cs.SE/0310042 (2003) - 2002
- [c4]Mireille Ducassé, Ludovic Langevine:
Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471 - [c3]Mireille Ducassé, Ludovic Langevine:
Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119- - [c2]Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier:
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC 2002: 135- - 2001
- [c1]Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier:
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001
Coauthor Index
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-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: