Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="de Rougemont, Michel"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Approximate satisfiability and equivalence
Eldar Fischer
,
Frédéric Magniez
,
Michel de Rougemont
SIAM Journal on Computing
39
(6), 2010, pp. 2251-2281
Property testing of regular tree languages
Frédéric Magniez
,
Michel de Rougemont
Algorithmica
49
(2), 2007, pp. 127-146
Uniform generation in spatial constraint databases and applications
David Gross-Amblard
,
Michel de Rougemont
Journal of Computer and System Sciences
72
(4), 2006, pp. 576-591
Property testing of regular tree languages
Frédéric Magniez
,
Michel de Rougemont
Lecture Notes in Computer Science
3142
, 2004, pp. 932-944
The functional dimension of inductive definitions
Michel de Rougemont
Theoretical Computer Science
101
, 1992, pp. 143-158