×

zbMATH — the first resource for mathematics

Weber, Michael D.

Compute Distance To:
Author ID: weber.michael-d Recent zbMATH articles by "Weber, Michael D."
Published as: Weber, Michael; Weber, M.; Weber, Michael D.
Documents Indexed: 29 Publications since 1975, including 4 Books

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 38 times in 9 Documents Cited by Year
The Petri net markup language. Zbl 1283.68260
Weber, Michael; Kindler, Ekkart
7
2003
Minimum Kolmogorov-Smirnov test statistic parameter estimates. Zbl 1099.62033
Weber, Michael D.; Leemis, Lawrence M.; Kincaid, Rex K.
6
2006
Parallel model checking for the alternation free \(\mu\)-calculus. Zbl 0986.68065
Bollig, Benedikt; Leucker, Martin; Weber, Michael
5
2001
Local parallel model checking for the alternation-free \(\mu\)-calculus. Zbl 1077.68680
Bollig, Benedikt; Leucker, Martin; Weber, Michael
4
2002
Revisiting resistance speeds up I/O-efficient LTL model checking. Zbl 1134.68397
Barnat, J.; Brim, L.; Šimeček, P.; Weber, M.
3
2008
The Petri net kernel. An infrastructure for building Petri net tools. Zbl 0993.68065
Kindler, Ekkart; Weber, Michael
2
2001
The dimensions of Petri nets: The Petri net cube. Zbl 0911.68150
Kindler, Ekkart; Weber, Michael
2
1998
A multi-core solver for parity games. Zbl 1286.68326
van de Pol, Jaco; Weber, Michael
2
2008
Klassifizierung der Verfahren zur Zeitintegration dynamischer Systeme mit Betrachtungen über Stabilität und Verfahrensfehler. Zbl 0464.73108
Weber, Michael
2
1981
Zur Verhaltensstruktur, Stabilität und Dechiffrierung endlicher stochastischer Automaten. Zbl 0449.68016
Weber, Michael
1
1979
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2011
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
1
2011
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2008
Computation of body wave seismograms in absorbing 2-D media using the Gaussian beam method: Comparison with exact methods. Zbl 0629.73089
Weber, Michael
1
1988
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2011
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
1
2011
Revisiting resistance speeds up I/O-efficient LTL model checking. Zbl 1134.68397
Barnat, J.; Brim, L.; Šimeček, P.; Weber, M.
3
2008
A multi-core solver for parity games. Zbl 1286.68326
van de Pol, Jaco; Weber, Michael
2
2008
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2008
Minimum Kolmogorov-Smirnov test statistic parameter estimates. Zbl 1099.62033
Weber, Michael D.; Leemis, Lawrence M.; Kincaid, Rex K.
6
2006
The Petri net markup language. Zbl 1283.68260
Weber, Michael; Kindler, Ekkart
7
2003
Local parallel model checking for the alternation-free \(\mu\)-calculus. Zbl 1077.68680
Bollig, Benedikt; Leucker, Martin; Weber, Michael
4
2002
Parallel model checking for the alternation free \(\mu\)-calculus. Zbl 0986.68065
Bollig, Benedikt; Leucker, Martin; Weber, Michael
5
2001
The Petri net kernel. An infrastructure for building Petri net tools. Zbl 0993.68065
Kindler, Ekkart; Weber, Michael
2
2001
The dimensions of Petri nets: The Petri net cube. Zbl 0911.68150
Kindler, Ekkart; Weber, Michael
2
1998
Computation of body wave seismograms in absorbing 2-D media using the Gaussian beam method: Comparison with exact methods. Zbl 0629.73089
Weber, Michael
1
1988
Klassifizierung der Verfahren zur Zeitintegration dynamischer Systeme mit Betrachtungen über Stabilität und Verfahrensfehler. Zbl 0464.73108
Weber, Michael
2
1981
Zur Verhaltensstruktur, Stabilität und Dechiffrierung endlicher stochastischer Automaten. Zbl 0449.68016
Weber, Michael
1
1979

Citations by Year