The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Charles Lakos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yan Jin, Robert Esser, Charles Lakos
    Lightweight Consistency Analysis of Dataflow Process Networks. [Citation Graph (0, 0)][DBLP]
    ACSC, 2003, pp:291-300 [Conf]
  2. Catherine Menon, Charles Lakos
    Towards a Semantic Basis for Rosetta. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:175-184 [Conf]
  3. Charles Lakos, Laure Petrucci
    Modular Analysis of Systems Composed of Semiautonomous Subsystems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:185-196 [Conf]
  4. Charles Lakos
    Composing Abstractions of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:323-345 [Conf]
  5. Charles Lakos
    The Challenge of Object Orientation for the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:59-67 [Conf]
  6. Charles Lakos
    From Coloured Petri Nets to Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:278-297 [Conf]
  7. Charles Lakos
    The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:380-399 [Conf]
  8. Charles Lakos
    On the Abstraction of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:42-61 [Conf]
  9. Charles Lakos, Søren Christensen
    A General Systematic Approach to Arc Extensions for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:338-357 [Conf]
  10. Charles Lakos, John Lamp
    The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application of Petri Nets to Communication Networks, 1999, pp:37-68 [Conf]
  11. Glenn Lewis, Charles Lakos
    Incremental State Space Construction for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:263-282 [Conf]
  12. Rémi Bastide, Charles Lakos, Philippe A. Palanque
    A Cooperative Petri Net Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:534-535 [Conf]
  13. Charles Lakos
    Object Oriented Modeling with Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:1-37 [Conf]
  14. Charles Lakos, Glenn Lewis
    A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshop for PhD Students in OO Systems, 1999, pp:106-111 [Conf]
  15. Charles Lakos, Glenn Lewis
    A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:320- [Conf]
  16. Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck
    Modular Analysis of Dataflow Process Networks. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:184-199 [Conf]
  17. Charles Lakos, Glenn Lewis
    A Practical Approach to Incremental Specification. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:233-256 [Conf]
  18. Charles Lakos
    A Petri Net View of Mobility. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:174-188 [Conf]
  19. Charles Lakos, C. D. Keen
    Modelling Layered Protocols in LOOPN. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:106-115 [Conf]
  20. Yan Jin, Charles Lakos, Robert Esser
    Component-Based Design and Analysis: A Case Study. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:126-0 [Conf]
  21. Joseph Kuehn, Charles Lakos, Robert Esser
    A Proposal For Relative Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:240-249 [Conf]
  22. Charles Lakos, Glenn Lewis
    Animating Formal Specifications Using Java Applets. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:196-209 [Conf]
  23. Charles Lakos, Glenn Lewis
    Behavior Inheritance for Object Lifecycles. [Citation Graph (0, 0)][DBLP]
    TOOLS (33), 2000, pp:262-0 [Conf]
  24. Charles Lakos, Arthur H. J. Sale
    Is Disciplined Programming Transferable and is it Insightful? [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1978, v:10, n:3, pp:87-97 [Journal]
  25. Charles Lakos
    Including an Explicit Memory Model in a Machine Description. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1988, v:20, n:1, pp:10-18 [Journal]
  26. Yan Jin, Charles Lakos, Robert Esser
    Modular Consistency Analysis of Component-Based Design. [Citation Graph (0, 0)][DBLP]
    Journal of Research and Practice in Information Technology, 2004, v:36, n:3, pp:187-208 [Journal]
  27. Catherine Menon, Michael Johnson, Charles Lakos
    Inconsistency Management and View Updates. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:27-51 [Journal]
  28. Charles Lakos
    Implementing BCPL on the Borroughs B6700. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1980, v:10, n:8, pp:673-683 [Journal]
  29. Charles Lakos, Laure Petrucci
    Modular state space exploration for timed petri nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:393-411 [Journal]

  30. Experiments in applying evolutionary algorithms to software verification. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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