Остановите войну!
for scientists:
default search action
Mireille Ducassé
- > Home > Persons > Mireille Ducassé
Publications
- 2017
- [c75]Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche:
Nested Forms with Dynamic Suggestions for Quality RDF Authoring. DEXA (1) 2017: 35-45 - 2016
- [j13]Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé:
Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters. Trans. Large Scale Data Knowl. Centered Syst. 24: 88-115 (2016) - [c74]Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche:
FORMULIS: Dynamic Form-Based Interface for Guided Knowledge Graph Authoring. EKAW (Satellite Events) 2016: 140-144 - 2015
- [c73]Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé:
Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. ISMIS 2015: 230-236 - 2014
- [c72]Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé:
Generating Data Converters to Help Compose Services in Bioinformatics Workflows. DEXA (1) 2014: 284-298 - [c71]Mireille Ducassé, Peggy Cellier:
Using Biddings and Motivations in Multi-unit Assignments. GDN 2014: 53-61 - 2012
- [c70]Alice Hermann, Sébastien Ferré, Mireille Ducassé:
An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. EKAW 2012: 185-199 - [c69]Alice Hermann, Sébastien Ferré, Mireille Ducassé:
Guided Semantic Annotation of Comic Panels with Sewelis. EKAW 2012: 430-433 - [c68]Alice Hermann, Sébastien Ferré, Mireille Ducassé:
Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation. IC 2012: 301-316 - 2011
- [c67]Sébastien Ferré, Alice Hermann, Mireille Ducassé:
Combining Faceted Search and Query Languages for the Semantic Web. CAiSE Workshops 2011: 554-563 - [c66]Mireille Ducassé, Sébastien Ferré, Peggy Cellier:
Building up Shared Knowledge with Logical Information Systems. CLA 2011: 31-42 - [c65]Peggy Cellier, Sébastien Ferré, Mireille Ducassé, Thierry Charnois:
Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining. ICCS 2011: 77-90 - [c64]Alice Hermann, Sébastien Ferré, Mireille Ducassé:
Guided creation and update of objects in RDF(S) bases. K-CAP 2011: 189-190 - [c63]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
Multiple Fault Localization with Data Mining. SEKE 2011: 238-243 - 2009
- [c61]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437 - 2008
- [j11]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé:
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Found. Comput. Sci. 19(2): 319-343 (2008) - [j10]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) - [c60]Mireille Ducassé, Sébastien Ferré:
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS 2008: 217-230 - [c59]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288 - [i7]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) - 2007
- [c58]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255 - [c57]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé:
A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129 - [c56]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190 - [i6]Pierre Deransart, Mireille Ducassé, Gérard Ferrand:
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue). CoRR abs/0706.3159 (2007) - [i5]Pierre Deransart, Mireille Ducassé, Gérard Ferrand:
Observational semantics of the Prolog Resolution Box Model. CoRR abs/0711.4071 (2007) - 2006
- [c55]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé:
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA 2006: 226-231 - 2005
- [c54]Ludovic Langevine, Mireille Ducassé:
A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148 - [c53]Tristan Denmat, Mireille Ducassé, Olivier Ridoux:
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. ASE 2005: 396-399 - [c52]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13 - [c51]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110 - [i4]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. CoRR abs/cs/0508105 (2005) - [i3]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. CoRR abs/cs/0508108 (2005) - 2004
- [c49]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP 2004: 462-463 - [c48]Ludovic Langevine, Mireille Ducassé:
Un pilote de traceur pour la PLC. JFPLC 2004 - 2003
- [c47]Ludovic Langevine, Pierre Deransart, Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195 - [c46]Ludovic Langevine, Mireille Ducassé, Pierre Deransart:
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283 - [c45]Pierre Deransart, Ludovic Langevine, Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47 - [i2]Erwan Jahier, Mireille Ducassé:
Generic and Efficient Program Monitoring by trace analysis. CoRR cs.PL/0311016 (2003) - [i1]Mireille Ducassé, Ludovic Langevine, Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming. CoRR cs.SE/0310042 (2003) - 2002
- [j7]Erwan Jahier, Mireille Ducassé:
Generic program monitoring by trace analysis. Theory Pract. Log. Program. 2(4-5): 611-643 (2002) - [c42]Mireille Ducassé, Ludovic Langevine:
Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471 - [c41]Mireille Ducassé, Ludovic Langevine:
Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119- - [c40]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
- [c38]Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier:
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001 - [c36]Mireille Ducassé, Erwan Jahier:
Efficient Automated Trace Analysis: Examples with Morphine. RV@CAV 2001: 118-133 - 2000
- [c35]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC 2000: 67-84 - [c34]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog trace models with a continuation semantics. LOPSTR 2000 - [c33]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182 - 1999
- [c32]Erwan Jahier, Mireille Ducassé:
A Generic Approach to Monitor Program Executions. ICLP 1999: 139-153 - [c29]Erwan Jahier, Mireille Ducassé:
Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311 - [c27]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
Preface. WLPE@ICLP 1999: 197 - [c26]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Byrd's Box Model with a Continuation Semantics. WLPE@ICLP 1999: 308-315 - [e7]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999. Electronic Notes in Theoretical Computer Science 30(4), Elsevier 1999 [contents] - 1997
- [c19]Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418 - [e6]Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel:
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997. 1997 [contents] - 1991
- [j2]Mireille Ducassé, Anna-Maria Emde:
OPIUM: a debugging environment for Prolog development and debugging research. ACM SIGSOFT Softw. Eng. Notes 16(1): 54-59 (1991) - [j1]Mireille Ducassé, Anna-Maria Emde:
OPIUM: a debugging environment for Prolog development and debugging research. ACM SIGSOFT Softw. Eng. Notes 16(2): 67-72 (1991) - [e2]Mireille Ducassé, Gérard Ferrand:
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6. University of Orléans, France 1991 [contents] - 1990
- [c6]Anna-Maria Emde, Mireille Ducassé:
Automated debugging of non-terminating Prolog programs. SPLT 1990: 89- - [c5]Anna-Maria Emde, Mireille Ducassé:
Automated Debugging of Non-Terminating Prolog Programs. LPE 1990: 35-39 - [e1]Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy:
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25. 1990 [contents] - 1988
- [c3]Mireille Ducassé, Anna-Maria Emde:
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. ICSE 1988: 162-173
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 2023-10-01 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint