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="Fisher, Michael"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Combined model checking for temporal, probabilistic, and real-time logics
Savas Konur
,
Michael Fisher
,
Sven Schewe
Theoretical Computer Science
503
, 2013, pp. 61-88
Mechanising first-order temporal resolution
Boris Konev
,
Anatoli Degtyarev
,
Clare Dixon
,
Michael Fisher
,
Ullrich Hustadt
Information and Computation
199
(1-2), 2005, pp. 55-86
Clausal resolution for CTL
\star
Alexander Bolotov
,
Clare Dixon
,
Michael Fisher
Lecture Notes in Computer Science
1672
, 1999, pp. 137-148
The concurrent MetateM system
Michael Fisher
,
Adam Kellett
Journal Symbolic Computation
22
(5-6), 1996, pp. 728-729
Temporal semantics for concurrent MetateM
Michael Fisher
Journal Symbolic Computation
22
(5-6), 1996, pp. 627-648
Concurrent METATEM - a language for modelling reactive systems
Michael Fisher
Lecture Notes in Computer Science
694
, 1993, pp. 185-196
On hearing the shape of a drum
Michael E. Fisher
Journal of Combinatorial Theory
1
, 1966, pp. 105-125
Proposed methods for the analog solution of Fredholm's integral equation
Michael E. Fisher
Journal of the ACM
5
, 1958, pp. 357-369
Higher order differences in the analogue solution of partial differential equations
Michael E. Fisher
Journal of the ACM
3
, 1956, pp. 325-347