The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandro Coglio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
    Formal Techniques for Java-Like Programs (FTfJP). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2004, pp:76-83 [Conf]
  2. Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
    Composing and Controlling Search in Reasoning Theories Using Mappings. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:200-216 [Conf]
  3. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  4. Zhenyu Qian, Allen Goldberg, Alessandro Coglio
    A formal specification of JavaTM class loading. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:325-336 [Conf]
  5. Alessandro Coglio
    Improving the official specification of Java bytecode verification. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:155-179 [Journal]
  6. Alessandro Coglio
    Simple verification technique for complex Java bytecode subroutines. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2004, v:16, n:7, pp:647-670 [Journal]
  7. Alessandro Coglio, Allen Goldberg
    Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2001, v:13, n:13, pp:1153-1171 [Journal]
  8. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia
    The control component of open mechanized reasoning systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  9. Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio
    The OMRS project: state of the art. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  10. Antonio Camurri, Alessandro Coglio
    An Architecture for Emotional Agents. [Citation Graph (0, 0)][DBLP]
    IEEE MultiMedia, 1998, v:5, n:4, pp:24-33 [Journal]
  11. Alessandro Coglio
    Checking Access to Protected Members in the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:55-76 [Journal]
  12. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
    The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:305-332 [Journal]

  13. A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002