Faron Moller
发表
Faron Moller,
Yoshinao Isobe,
Nguyen Hoang Nga,
2012,
IFM.
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Mathematical Structures in Computer Science.
Faron Moller,
Petr Jancar,
Zdenek Sawa,
1999,
SOFSEM.
Georg Struth,
Faron Moller,
2013
.
Faron Moller,
1990,
ICALP.
Faron Moller,
Markus Roggenbach,
Helen Treharne,
2014
.
Faron Moller,
Bernhard Steffen,
Olaf Burkart,
2001,
Handbook of Process Algebra.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Faron Moller,
Scott A. Smolka,
Jiří Srba,
2003,
Inf. Comput..
Georg Struth,
Faron Moller,
2013,
Undergraduate Topics in Computer Science.
Faron Moller,
Marta Z. Kwiatkowska,
Xu Wang,
2017,
Concurrency, Security, and Puzzles.
Faron Moller,
Scott A. Smolka,
1995,
CSUR.
Faron Moller,
Markus Roggenbach,
Mike Smith,
2014,
TPCG.
Faron Moller,
1997,
INFINITY.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2012,
Haifa Verification Conference.
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Theor. Comput. Sci..
Faron Moller,
2002,
Comput. J..
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
1994,
CONCUR.
Jan A. Bergstra,
Faron Moller,
Jens Blanck,
2013,
Comput. J..
Faron Moller,
Catherine Ball,
Reena Pau,
2012,
WiPSCE.
Faron Moller,
Julian C. Bradfield,
2004,
INFINITY.
Faron Moller,
1996,
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Faron Moller,
1997
.
Faron Moller,
Javier Esparza,
Petr Jancar,
1999,
J. Comput. Syst. Sci..
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
Faron Moller,
Graham Birtwistel,
F. Moller,
1996
.
Faron Moller,
F. Moller,
1996,
CONCUR.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
2001,
Theor. Comput. Sci..
Faron Moller,
F. Moller,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Faron Moller,
Monika Seisenberger,
Markus Roggenbach,
2013,
SEFM Workshops.
Faron Moller,
Antonín Kucera,
Petr Jancar,
2000,
STACS.
Faron Moller,
F. Moller,
1998,
MFCS Workshop on Concurrency.
Georg Struth,
Faron Moller,
2013
.
Faron Moller,
Petr Jancar,
F. Moller,
1995,
CONCUR.
Faron Moller,
Alexander Moshe Rabinovich,
2003,
Inf. Comput..
Faron Moller,
Markus Roggenbach,
Helen Treharne,
2014
.
Faron Moller,
Phillip James,
Lauren Powell,
2020,
ITiCSE.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1993,
CONCUR.
Faron Moller,
Stewart Powell,
2019,
CEP.
Faron Moller,
F. Moller,
1989
.
Georg Struth,
Faron Moller,
2013
.
Faron Moller,
1991
.
Faron Moller,
F. Moller,
1999
.
Faron Moller,
Tom Crick,
2015,
WiPSCE.
Faron Moller,
Chris M. N. Tofts,
1992,
ICALP.
Faron Moller,
Alexander Moshe Rabinovich,
F. Moller,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2016,
ISoLA.
Faron Moller,
Antonín Kucera,
Petr Jancar,
2004,
Inf. Comput..
Faron Moller,
Jan Friso Groote,
J. F. Groote,
1992,
CONCUR.
Faron Moller,
Chris M. N. Tofts,
F. Moller,
1990,
CONCUR.
Faron Moller,
Chris M. N. Tofts,
1991,
CONCUR.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
Sci. Comput. Program..
Faron Moller,
Karim Kanso,
Anton Setzer,
2009,
Electron. Notes Theor. Comput. Sci..
Faron Moller,
Arnold Beckmann,
2008,
BCS Int. Acad. Conf..
Faron Moller,
Chris M. N. Tofts,
1992,
Fourth Euromicro workshop on Real-Time Systems.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
International Journal on Software Tools for Technology Transfer.
Faron Moller,
Anton Setzer,
Will Harwood,
2006,
CSL.
Faron Moller,
Antonín Kucera,
Petr Jancar,
2002,
FoSSaCS.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
2000,
Proof, Language, and Interaction.
Faron Moller,
Petr Jancar,
F. Moller,
1999,
CONCUR.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1994,
Comput. J..
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Georg Struth,
Faron Moller,
2013
.
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Proceedings 35th Annual Symposium on Foundations of Computer Science.
Faron Moller,
Liam O'Reilly,
2019,
FMTea.
Faron Moller,
Daniel Archambault,
Phillip James,
2019,
FTSCS.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2013,
SEFM Workshops.
Faron Moller,
Björn Victor,
1994,
CAV.
Faron Moller,
Graham M. Birtwistle,
F. Moller,
1996,
Lecture Notes in Computer Science.
Faron Moller,
Antonín Kucera,
Petr Jancar,
2003,
CONCUR.
Georg Struth,
Faron Moller,
2013
.
Faron Moller,
1996,
CSUR.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
1996,
Banff Higher Order Workshop.
Faron Moller,
Stewart Powell,
F. Moller,
2019,
Workshop in Primary and Secondary Computing Education.
Faron Moller,
Casey Denner,
Liam O’Reilly,
2021
.
Faron Moller,
Markus Roggenbach,
Helen Treharne,
2012
.
Faron Moller,
Tom Crick,
F. Moller,
2018,
Journal of Computers in Education.
Faron Moller,
Karim Kanso,
Anton Setzer,
2008
.
Faron Moller,
Petr Jan Car,
Via Colouring,
1999
.
Faron Moller,
Markus Roggenbach,
Helen Treharne,
2012
.
Faron Moller,
F. Moller,
2016
.