Mireille Ducassé

From MaRDI portal
Person:2723911

Available identifiers

zbMath Open ducasse.mireilleMaRDI QIDQ2723911

List of research outcomes





PublicationDate of PublicationType
Using biddings and motivations in multi-unit assignments2024-04-05Paper
A backward slicing algorithm for Prolog2022-02-16Paper
Logic Programming2009-08-06Paper
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs2008-12-18Paper
A PARAMETERIZED ALGORITHM TO EXPLORE FORMAL CONTEXTS WITH A TAXONOMY2008-09-25Paper
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming2008-09-02Paper
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy2008-04-04Paper
Formal Concept Analysis Enhances Fault Localization in Software2008-03-04Paper
A Parameterized Algorithm for Exploring Concept Lattices2007-09-03Paper
https://portal.mardi4nfdi.de/entity/Q48129852004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44740402004-08-04Paper
Generic program monitoring by trace analysis2004-03-01Paper
https://portal.mardi4nfdi.de/entity/Q44258382003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q44218772003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q27239122001-07-08Paper
https://portal.mardi4nfdi.de/entity/Q44992702001-03-05Paper
Tracing Prolog programs by source instrumentation is efficient enough2000-05-07Paper
Opium: an extendable trace analyzer for Prolog1999-11-01Paper
https://portal.mardi4nfdi.de/entity/Q42188551999-03-14Paper
https://portal.mardi4nfdi.de/entity/Q33652751999-01-01Paper

Research outcomes over time

This page was built for person: Mireille Ducassé

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2723911&oldid=7276562"
Powered by MediaWiki