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="M{\"u}ller-Olm, Markus"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing polynomial program invariants
Markus Müller-Olm
,
Helmut Seidl
Information Processing Letters
91
(5), 2004, pp. 233-244
A note on Karr's algorithm
Markus Müller-Olm
,
Helmut Seidl
Lecture Notes in Computer Science
3142
, 2004, pp. 1016-1028
Precise interprocedural dependence analysis of parallel programs
Markus Müller-Olm
Theoretical Computer Science
311
(1-3), 2004, pp. 325-388
On optimal slicing of parallel programs
Markus Müller-Olm
,
Helmut Seidl
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, STOC'2001 (Hersonissos, Crete, Greece, July 6-8, 2001)
, 2001, pp. 647-656
The complexity of copy constant detection in parallel programs
Markus Müller-Olm
Lecture Notes in Computer Science
2010
, 2001, pp. 490-501
A modal fixpoint logic with chop
Markus Müller-Olm
Lecture Notes in Computer Science
1563
, 1999, pp. 510-520