Faron Moller
Orcid: 0000000195358053Affiliations:
 Swansea University, UK
 Uppsala University, Sweden (former)
According to our database^{1},
Faron Moller
authored at least 74 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on csd.uu.se

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
Proceedings of the 8th Conference on Computing Education Practice, 2024
Institute of Coding in Wales Digital Skills Bootcamps  MicroCredentials: A Pilot Project.
Proceedings of the 8th Conference on Computing Education Practice, 2024
2023
Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme.
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023
Technocamps: 30 Years of Digital Education and Professional Development Throughout Wales.
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023
Institute of Coding in Wales Digital Skills Bootcamps  A Model for Stackable Microcredentials.
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023
From Asymptomatics to Zombies: VisualizationBased Education of Disease Modeling for Children.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
2020
Bull. EATCS, 2020
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
2019
Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019
Proceedings of the Formal Methods Teaching  Third International Workshop and Tutorial, 2019
Proceedings of the Formal Techniques for SafetyCritical Systems, 2019
Proceedings of the Formal Methods  Fun for Everybody  First International Workshop, 2019
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering  A White Paper .
Proceedings of the Formal Methods  Fun for Everybody  First International Workshop, 2019
Proceedings of the 3rd Conference on Computing Education Practice, 2019
2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
2015
Proceedings of the Workshop in Primary and Secondary Computing Education, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Sci. Comput. Program., 2014
Proceedings of the Theory and Practice of Computer Graphics, 2014
2013
Undergraduate Topics in Computer Science, Springer, ISBN: 9781848003224, 2013
Comput. J., 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
The mindstorm effect: a gender analysis on the influence of LEGO mindstorms in computer science education.
Proceedings of the Workshop in Primary and Secondary Computing Education, 2012
Proceedings of the Integrated Formal Methods  9th International Conference, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
2008
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008
Proceedings of the Visions of Computer Science, 2008
2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2004
Inf. Comput., 2004
DP lower bounds for equivalencechecking and modelchecking of onecounter automata.
Inf. Comput., 2004
Proceedings of the 6th International Workshop on Verification of InfiniteState Systems, 2004
2003
Inf. Comput., 2003
Proceedings of the CONCUR 2003, 2003
Proceedings of the PCK50, 2003
2002
Comput. J., 2002
EquivalenceChecking with OneCounter Automata: A Generic Method for Proving Lower Bounds.
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Theor. Comput. Sci., 2001
Proceedings of the Handbook of Process Algebra, 2001
2000
Proceedings of the STACS 2000, 2000
On the star height of unary regular behaviours.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
J. Comput. Syst. Sci., 1999
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Proceedings of the MFCS '98 Workshop on Concurrency, 1998
1997
Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997
1996
A Polynomial Algorithm for Deciding Bisimilarity of Normed ContextFree Processes.
Theor. Comput. Sci., 1996
A PolynomialTime Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes.
Math. Struct. Comput. Sci., 1996
ACM Comput. Surv., 1996
Proceedings of the CONCUR '96, 1996
1995
ACM Comput. Surv., 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the Logics for Concurrency, 1995
1994
Comput. J., 1994
A Polynomialtime Algorithm for Deciding Equivalence of Normed Contextfree Processes
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994
Proceedings of the CONCUR '94, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Theor. Comput. Sci., 1993
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
Proceedings of the CONCUR '93, 1993
1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the Fourth Euromicro workshop on RealTime Systems, 1992
Proceedings of the CONCUR '92, 1992
1991
Proceedings of the CONCUR '91, 1991
1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990
Proceedings of the CONCUR '90, 1990