×

zbMATH — the first resource for mathematics

Moller, Faron

Compute Distance To:
Author ID: moller.faron Recent zbMATH articles by "Moller, Faron"
Published as: Moller, F.; Moller, Faron
External Links: MGP · Wikidata
Documents Indexed: 23 Publications since 1990, including 3 Books

Publications by Year

Citations contained in zbMATH

17 Publications have been cited 170 times in 124 Documents Cited by Year
Verification on infinite structures. Zbl 1035.68067
Burkart, Olaf; Caucal, Didier; Moller, Faron; Steffen, Bernhard
40
2001
A polynomial algorithm for deciding bisimilarity of normed context-free processes. Zbl 0871.68086
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron
31
1996
A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. Zbl 0857.68042
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron
20
1996
The importance of the left merge operator in process algebra. Zbl 0774.68039
Moller, Faron
17
1990
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
10
1993
Petri nets and regular processes. Zbl 0958.68121
Jančar, Petr; Esparza, Javier; Moller, Faron
9
1999
Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023
Moller, Faron; Rabinovich, Alexander
8
2003
Simulation problems for one-counter machines. Zbl 0963.68094
Jančar, Petr; Moller, Faron; Sawa, Zdeněk
7
1999
Simulation and bisimulation over one-counter processes. Zbl 0962.68121
Jančar, Petr; Kučera, Antonín; Moller, Faron
6
2000
DP lower bounds for equivalence-checking and model-checking of one-counter automata. Zbl 1078.68087
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk
5
2004
Pushdown automata, multiset automata, and Petri nets. Zbl 0973.68118
Hirshfeld, Y.; Moller, F.
5
2001
Automated verification of signalling principles in railway interlocking systems. Zbl 1335.68140
Kanso, Karim; Moller, Faron; Setzer, Anton
3
2009
Equivalence-checking with one-counter automata: A generic method for proving lower bounds. Zbl 1077.68653
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk
3
2002
Techniques for decidability and undecidability of bisimilarity. Zbl 0940.68087
Jančar, Petr; Moller, Faron
3
1999
Weak bisimulation approximants. Zbl 1225.68117
Harwood, Will; Moller, Faron; Setzer, Anton
1
2006
Deciding bisimilarity between BPA and BPP processes. Zbl 1274.68236
Jančar, Petr; Kučera, Antonín; Moller, Faron
1
2003
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
Automated verification of signalling principles in railway interlocking systems. Zbl 1335.68140
Kanso, Karim; Moller, Faron; Setzer, Anton
3
2009
Weak bisimulation approximants. Zbl 1225.68117
Harwood, Will; Moller, Faron; Setzer, Anton
1
2006
DP lower bounds for equivalence-checking and model-checking of one-counter automata. Zbl 1078.68087
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk
5
2004
Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023
Moller, Faron; Rabinovich, Alexander
8
2003
Deciding bisimilarity between BPA and BPP processes. Zbl 1274.68236
Jančar, Petr; Kučera, Antonín; Moller, Faron
1
2003
Equivalence-checking with one-counter automata: A generic method for proving lower bounds. Zbl 1077.68653
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk
3
2002
Verification on infinite structures. Zbl 1035.68067
Burkart, Olaf; Caucal, Didier; Moller, Faron; Steffen, Bernhard
40
2001
Pushdown automata, multiset automata, and Petri nets. Zbl 0973.68118
Hirshfeld, Y.; Moller, F.
5
2001
Simulation and bisimulation over one-counter processes. Zbl 0962.68121
Jančar, Petr; Kučera, Antonín; Moller, Faron
6
2000
Petri nets and regular processes. Zbl 0958.68121
Jančar, Petr; Esparza, Javier; Moller, Faron
9
1999
Simulation problems for one-counter machines. Zbl 0963.68094
Jančar, Petr; Moller, Faron; Sawa, Zdeněk
7
1999
Techniques for decidability and undecidability of bisimilarity. Zbl 0940.68087
Jančar, Petr; Moller, Faron
3
1999
A polynomial algorithm for deciding bisimilarity of normed context-free processes. Zbl 0871.68086
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron
31
1996
A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. Zbl 0857.68042
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron
20
1996
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
10
1993
The importance of the left merge operator in process algebra. Zbl 0774.68039
Moller, Faron
17
1990
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
all top 5

Cited by 170 Authors

9 Aceto, Luca
9 Jančar, Petr
9 Kucera, Antonin
8 Lasota, Sławomir
7 Ingólfsdóttir, Anna
6 Mayr, Richard M.
5 Demri, Stéphane P.
5 Fröschle, Sibylle B.
5 Moller, Faron
5 Schnoebelen, Philippe
4 Czerwiński, Wojciech
4 Fokkink, Wan
4 Hirshfeld, Yoram
4 Luttik, Bas
4 Sawa, Zdeněk
4 Srba, Jiří
3 Bastien, Cédric
3 Czyzowicz, Jurek
3 Fraczak, Wojciech
3 Göller, Stefan
3 Hofman, Piotr
3 Kiefer, Stefan
3 Křetínský, Mojmír
3 Meseguer Guaita, José
3 Nagy, Benedek
3 Okubo, Fumiya
3 Otto, Friedrich
3 Řehák, Vojtěch
3 Rytter, Wojciech
3 Smolka, Scott A.
3 Strejček, Jan
3 Thati, Prasanna
3 Worrell, James B.
3 Yokomori, Takashi
2 Baeten, Jos C. M.
2 Brázdil, Tomáš
2 De Giacomo, Giuseppe
2 Forejt, Vojtěch
2 Goldin, Dina Q.
2 Gurov, Dilian
2 Huisman, Marieke
2 Jerrum, Mark R.
2 Kobayashi, Satoshi
2 Lespérance, Yves
2 Lin, Anthony Widjaja
2 Lohrey, Markus
2 Lugiez, Denis
2 Mousavi, Mohammad Reza
2 Murano, Aniello
2 Patrizi, Fabio
2 Sangiorgi, Davide
2 Sénizergues, Géraud
2 Tini, Simone
2 Yen, Hsu-Chun
1 Abriola, Sergio
1 Afrati, Foto N.
1 Akroun, Lakhdar
1 Aminof, Benjamin
1 Anastasiadi, Elli
1 Andronikos, Theodore
1 Atig, Mohamed Faouzi
1 Attie, Paul C.
1 Benedikt, Michael A.
1 Benerecetti, Massimo
1 Bertrand, Nathalie
1 Bloom, Bard
1 Blumensath, Achim
1 Böhm, Stanislav
1 Bozzelli, Laura
1 Brochenin, Rémi
1 Caimi, Gabrio Curzio
1 Castiglioni, Valentina
1 Cimini, Matteo
1 Cuijpers, Pieter J. L.
1 Dovier, Agostino
1 Dreier, Jannik
1 Ene, Cristian
1 Escobar, Santiago
1 Esparza, Javier
1 Figueira, Santiago
1 Foustoucos, Eugénie
1 Fu, Hongfei
1 Fu, Yuxi
1 Fuchsberger, Martin
1 Gascon, Régis
1 Goriac, Eugen-Ioan
1 Guessarian, Irène
1 Haase, Christoph
1 Haddad, Serge
1 Havelund, Klaus
1 Huang, Mingzhang
1 Hüttel, Hans
1 James, Phillip
1 Jasper, Marc
1 Jian, Shi-Tsuen
1 Jurdziński, Marcin
1 Kanso, Karim
1 Katoen, Joost-Pieter
1 Knijnenburg, Peter M. W.
1 Kok, Joost N.
...and 70 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.