Ralph-Johan Back
Affiliations:- Abo Akademi University, Turku, Finland
According to our database1,
Ralph-Johan Back
authored at least 93 papers
between 1980 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on id.loc.gov
-
on abo.fi
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2015
J. Log. Algebraic Methods Program., 2015
2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
2012
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin.
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
Agile Development with Stepwise Feature Introduction.
Proceedings of the ENASE 2012, 2012
2011
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation.
Nat. Comput., 2011
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
Formal Aspects Comput., 2010
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.
Arch. Formal Proofs, 2010
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.
Proceedings of the Formal Methods and Software Engineering, 2010
2009
Formal Aspects Comput., 2009
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
Proceedings of the Algorithmic Bioprocesses, 2009
2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
2007
Proceedings of the Tests and Proofs - 1st International Conference, 2007
2006
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
Formal Aspects Comput., 2005
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005
Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
Proceedings of the Product Focused Software Process Improvement, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2004
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
2003
Proceedings of the «UML» 2003, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
2002
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2001
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput., 2001
2000
Formal Aspects Comput., 2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-1674-2, 1998
1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
1996
1995
Proceedings of the Mathematics of Program Construction, 1995
Proceedings of the Mathematics of Program Construction, 1995
1994
Action Systems with Synchronous Communication.
Proceedings of the Programming Concepts, 1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
1993
Networks, 1993
1992
Theor. Comput. Sci., 1992
Proceedings of the Sematics: Foundations and Applications, 1992
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992
1991
Superposition Refinement of Parallel Algorithms.
Proceedings of the Formal Description Techniques, 1991
1990
Acta Cybern., 1990
Acta Informatica, 1990
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990
Refinement Concepts Formalized in Higher Order Logic.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
1989
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989
Proceedings of the Mathematics of Program Construction, 1989
Proceedings of the Mathematics of Program Construction, 1989
1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
1987
Proceedings of the First International Workshop on Real-Time Ada Issues, 1987
1985
Theor. Comput. Sci., 1985
1984
1983
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983
Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983
1982
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982
1981
Acta Informatica, 1981
1980
Proceedings of the Programmiersprachen und Programmentwicklung, 1980