Kaisa Sere
Affiliations:- Abo Akademi University, Turku, Finland
According to our database1,
Kaisa Sere
authored at least 78 papers
between 1987 and 2015.
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 d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2015
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
2014
Formal Aspects Comput., 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
J. Syst. Archit., 2013
Int. J. Crit. Comput. Based Syst., 2013
Int. J. Crit. Comput. Based Syst., 2013
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.
Proceedings of the PECCS 2013, 2013
Proceedings of the International Conference on High Performance Computing & Simulation, 2013
Generation of Structural VHDL Code with Library Components from Formal Event-B Models.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
2012
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
2011
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
2010
Int. J. Embed. Real Time Commun. Syst., 2010
Int. J. Embed. Real Time Commun. Syst., 2010
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2008
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
2007
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the The Second International Conference on Availability, 2007
2006
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006
Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications.
Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
2005
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005
2004
Guest Editors' Foreword.
Nord. J. Comput., 2004
Proceedings of the 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 2004
Proceedings of the Grid and Cooperative Computing, 2004
Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004
2003
Proceedings of the 6th International Workshop on Formal Methods, 2003
2002
Proceedings of the Formal Methods for Components and Objects, 2002
2001
Guest Editors' Foreword.
Nord. J. Comput., 2001
2000
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
Guest Editor's Foreword.
Nord. J. Comput., 1999
Proceedings of the Workshop on Distributed Systems, 1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
Developing Object-based Distributed Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
1998
Proceedings of the Mathematics of Program Construction, 1998
Proceedings of the Field-Programmable Logic and Applications, 1998
1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997
1996
From Action Systems to Modular Systems.
Softw. Concepts Tools, 1996
Determining the number of dimensions underlying customer-choices with a competitive neural network.
Proceedings of International Conference on Neural Networks (ICNN'96), 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1995
Proceedings of the Mathematics of Program Construction, 1995
Intelligent IS within business: bankruptcy predictions using neural networks.
Proceedings of the Third European Conference on Information Systems, 1995
Proceedings of the Formal Methods for Industrial Applications, 1995
1994
Action Systems with Synchronous Communication.
Proceedings of the Programming Concepts, 1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
1993
Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993
1991
Stepwise Refinement of Action Systems.
Struct. Program., 1991
Program Transformations and Refinements in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991
Stepwise Refinement of Reactive Processor Farms.
Proceedings of the Protocol Specification, 1991
Superposition Refinement of Parallel Algorithms.
Proceedings of the Formal Description Techniques, 1991
1989
1987
Proceedings of the Distributed Algorithms, 1987