Mireille Ducassé

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Using biddings and motivations in multi-unit assignments Group Decision and Negotiation. A Process-Oriented View	2024-04-05	Paper
A backward slicing algorithm for Prolog Static Analysis	2022-02-16	Paper
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs Theory and Practice of Logic Programming	2008-12-18	Paper
A PARAMETERIZED ALGORITHM TO EXPLORE FORMAL CONTEXTS WITH A TAXONOMY International Journal of Foundations of Computer Science	2008-09-25	Paper
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming Principles and Practice of Constraint Programming – CP 2007	2008-09-02	Paper
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy Lecture Notes in Computer Science	2008-04-04	Paper
Formal Concept Analysis Enhances Fault Localization in Software Formal Concept Analysis	2008-03-04	Paper
A Parameterized Algorithm for Exploring Concept Lattices Formal Concept Analysis	2007-09-03	Paper
scientific article; zbMATH DE number 2090549 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2080962 (Why is no real title available?)	2004-08-04	Paper
Generic program monitoring by trace analysis Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1979430 (Why is no real title available?)	2003-09-14	Paper
scientific article; zbMATH DE number 1973223 (Why is no real title available?)	2003-09-01	Paper
scientific article; zbMATH DE number 1615249 (Why is no real title available?)	2001-07-08	Paper
scientific article; zbMATH DE number 1497842 (Why is no real title available?)	2001-03-05	Paper
Tracing Prolog programs by source instrumentation is efficient enough The Journal of Logic Programming	2000-05-07	Paper
Opium: an extendable trace analyzer for Prolog The Journal of Logic Programming	1999-11-01	Paper
scientific article; zbMATH DE number 1223550 (Why is no real title available?)	1999-03-14	Paper
scientific article; zbMATH DE number 4219133 (Why is no real title available?)	1999-01-01	Paper

Research outcomes over time

This page was built for person: Mireille Ducassé