SCEAS

The SCEAS System

Title:
Author:

Anna Mikhajlova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Anna Mikhajlova
Consistent Extension of Components in Presence of Explicit Invariants. [Citation Graph (0, 0)][DBLP]
ECOOP Workshops, 1998, pp:138-140 [Conf]
Anna Mikhajlova
Reasoning about Object Clients and Distributed Object Interaction. [Citation Graph (0, 0)][DBLP]
ECOOP Workshops, 1999, pp:10- [Conf]
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:1460-1476 [Conf]
Anna Mikhajlova, Emil Sekerinski
Class Refinement and Interface Refinement in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
FME, 1997, pp:82-101 [Conf]
Anna Mikhajlova, Joakim von Wright
Proving Isomorphism of First-Order Logic Proof Systems in HOL. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:295-314 [Conf]
Anna Mikhajlova
Consistent Extension of Components in the Presence of Explicit Invariants. [Citation Graph (0, 0)][DBLP]
TOOLS (29), 1999, pp:76-85 [Conf]
Anna Mikhajlova
Specifying Java Frameworks Using Abstract Programs. [Citation Graph (0, 0)][DBLP]
TOOLS (30), 1999, pp:136-0 [Conf]
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Class Refinement as Semantics of Correct Object Substitutability. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2000, v:12, n:1, pp:18-40 [Journal]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP