![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Charles Lakos
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c28]Camille Coti, Charles Lakos, Laure Petrucci:
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. PNSE @ Petri Nets 2016: 255-274 - [i1]Camille Coti, Charles Lakos, Laure Petrucci:
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. CoRR abs/1601.03767 (2016) - 2012
- [j7]Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
:
Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. 6: 46-70 (2012) - 2011
- [c27]Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci:
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE 2011: 92-106 - 2010
- [c26]Charles Lakos, Laure Petrucci
:
Modular State Spaces for Prioritised Petri Nets. Monterey Workshop 2010: 136-156
2000 – 2009
- 2009
- [j6]Charles Lakos:
Modelling Mobile IP with Mobile Petri Nets. Trans. Petri Nets Other Model. Concurr. 3: 127-158 (2009) - 2008
- [c25]Woei Shyang Siaw, Charles Lakos, Zbigniew Michalewicz
, Sven Schellenberg:
Experiments in applying evolutionary algorithms to software verification. IEEE Congress on Evolutionary Computation 2008: 3531-3536 - 2007
- [j5]Charles Lakos, Laure Petrucci
:
Modular state space exploration for timed petri nets. Int. J. Softw. Tools Technol. Transf. 9(3-4): 393-411 (2007) - 2005
- [c24]Charles Lakos:
A Petri Net View of Mobility. FORTE 2005: 174-188 - [c23]Joseph Kuehn, Charles Lakos, Robert Esser:
A Proposal For Relative Time Petri Nets. SEFM 2005: 240-249 - [c22]Catherine Menon, Michael Johnson
, Charles Lakos:
Inconsistency Management and View Updates. FESCA@ETAPS 2005: 27-51 - 2004
- [j4]Yan Jin, Charles Lakos, Robert Esser:
Modular Consistency Analysis of Component-Based Design. J. Res. Pract. Inf. Technol. 36(3): 187-208 (2004) - [c21]Catherine Menon, Charles Lakos:
Towards a Semantic Basis for Rosetta. ACSC 2004: 175-184 - [c20]Charles Lakos, Laure Petrucci
:
Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD 2004: 185-196 - 2003
- [c19]Yan Jin, Robert Esser, Charles Lakos:
Lightweight Consistency Analysis of Dataflow Process Networks. ACSC 2003: 291-300 - [c18]Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck:
Modular Analysis of Dataflow Process Networks. FASE 2003: 184-199 - [c17]Yan Jin, Charles Lakos, Robert Esser:
Component-Based Design and Analysis: A Case Study. SEFM 2003: 126- - 2002
- [c16]Charles Lakos:
The Challenge of Object Orientation for the Analysis of Concurrent Systems. ICATPN 2002: 59-67 - [e1]Javier Esparza
, Charles Lakos:
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings. Lecture Notes in Computer Science 2360, Springer 2002, ISBN 3-540-43787-8 [contents] - 2001
- [c15]Glenn Lewis, Charles Lakos:
Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001: 263-282 - [c14]Charles Lakos:
Object Oriented Modeling with Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 1-37 - [c13]Rémi Bastide, Charles Lakos, Philippe A. Palanque:
A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535 - 2000
- [c12]Charles Lakos:
Composing Abstractions of Coloured Petri Nets. ICATPN 2000: 323-345 - [c11]Charles Lakos, Glenn Lewis:
A Practical Approach to Incremental Specification. FMOODS 2000: 233-256 - [c10]Charles Lakos, Glenn Lewis:
Behavior Inheritance for Object Lifecycles. TOOLS (33) 2000: 262-
1990 – 1999
- 1999
- [c9]Charles Lakos, John W. Lamp:
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. Application of Petri Nets to Communication Networks 1999: 37-68 - [c8]Charles Lakos, Glenn Lewis:
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshop for PhD Students in OO Systems 1999: 106-111 - [c7]Charles Lakos, Glenn Lewis:
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshops 1999: 320 - 1997
- [c6]Charles Lakos:
On the Abstraction of Coloured Petri Nets. ICATPN 1997: 42-61 - [c5]Charles Lakos, Glenn Lewis:
Animating Formal Specifications Using Java Applets. TOOLS (25) 1997: 196-209 - 1996
- [c4]Charles Lakos:
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. Application and Theory of Petri Nets 1996: 380-399 - 1995
- [c3]Charles Lakos:
From Coloured Petri Nets to Object Petri Nets. Application and Theory of Petri Nets 1995: 278-297 - 1994
- [c2]Charles Lakos, Søren Christensen:
A General Systematic Approach to Arc Extensions for Coloured Petri Nets. Application and Theory of Petri Nets 1994: 338-357 - 1991
- [c1]Charles Lakos, Chris D. Keen:
Modelling Layered Protocols in LOOPN. PNPM 1991: 106-115
1980 – 1989
- 1988
- [j3]Charles Lakos:
Including an Explicit Memory Model in a Machine Description. Aust. Comput. J. 20(1): 10-18 (1988) - 1980
- [j2]Charles Lakos:
Implementing BCPL on the Borroughs B6700. Softw. Pract. Exp. 10(8): 673-683 (1980)
1970 – 1979
- 1978
- [j1]Charles Lakos, Arthur H. J. Sale:
Is Disciplined Programming Transferable and is it Insightful? Aust. Comput. J. 10(3): 87-97 (1978)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-19 01:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint