• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects of Computing 12, 18–40, 2000.

Articles in proceedings (7):

• Ralph Back, Anna Mikhajlova, Joakim von Wright, Reasoning About Interactive Systems. In: J. M. Wing, J. Woodcock, J. Davies (Eds.), Proceedings of the World Congress on Formal Methods (FM'99), Lecture Notes in Computer Science 1709, 1460–1476, Springer-Verlag, 1999.
• Anna Mikhajlova, Consistent Extension of Components in the Presence of Explicit Invariants. In: Technology of Object-Oriented Languages and Systems (TOOLS 29), 76-85, IEEE Computer Society Press, 1999.
• Anna Mikhajlova, Specifying Java Frameworks Using Abstract Programs. In: Technology of Object-Oriented Languages and Systems (TOOLS 30), 136-145, IEEE Computer Society Press, 1999.
• Anna Mikhajlova, Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse. In: Martin Schwenke Trevor Vickers Jim Grundy (Ed.), International Refinement Workshop, and Formal Methods Pacific (IRW/FMP'98), Springer Series in Discrete Mathematics and Theoretical Computer Science, 266-285, Springer-Verlag, 1998.
• Anna Mikhajlova, Consistent Extension of Components in Presence of Explicit Invariants. In: Jan Bosch Clemens Szyperski Wolfgang Weck (Ed.), the Third International Workshop on Component-Oriented Programming (in conjunction with ECOOP'98), 1998.
• Anna Mikhajlova, Joakim von Wright, Proving Isomorphism of First-Order Logic Proof Systems in HOL. In: Malcolm Newey Jim Grundy (Ed.), Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science 1479, 295-314, Springer-Verlag, 1998.
• Anna Mikhajlova, Emil Sekerinski, Class Refinement and Interface Refinement in Object-Oriented Programs. In: FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, LNCS 1313, 82--101, Springer, 1997.

Ph.D. thesis (1):

• Anna Mikhajlova, Ensuring Correctness of Object and Component Systems. TUCS Dissertations 18. Turku Centre for Computer Science, 1999.

Technical reports (6):

• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Class Refinement as Semantics of Correct Object Substitutability. TUCS Technical Reports 333, Turku Centre for Computer Science, 2000.
• Anna Mikhajlova, Emil Sekerinski, Ensuring Correctness of Java Frameworks:A Formal Look at JCF. TUCS Technical Reports 250, Turku Centre for Computer Science, 1999.
• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Modeling Component Environments and Interactive Programs Using Iterative Choice. TUCS Technical Reports 200, Turku Centre for Computer Science, 1998.
• Anna Mikhajlova, Joakim von Wright, Proving Isomorphism of First-Order Logic Proof Systems in HOL. TUCS Technical Reports 169, Turku Centre for Computer Science, 1998.
• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Class Refinement as Semantics of Correct Subclassing. TUCS Technical Reports 147, Turku Centre for Computer Science, 1997.
• Anna Mikhajlova, Emil Sekerinski, Class Refinement and Interface Refinement in Object-Oriented Development. 0, 1997.