Charles Lakos

432 total citations
10 papers, 21 citations indexed

About

Charles Lakos is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Management Information Systems. According to data from OpenAlex, Charles Lakos has authored 10 papers receiving a total of 21 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 3 papers in Management Information Systems. Recurrent topics in Charles Lakos's work include Petri Nets in System Modeling (4 papers), Business Process Modeling and Analysis (3 papers) and Logic, programming, and type systems (3 papers). Charles Lakos is often cited by papers focused on Petri Nets in System Modeling (4 papers), Business Process Modeling and Analysis (3 papers) and Logic, programming, and type systems (3 papers). Charles Lakos collaborates with scholars based in Australia and United States. Charles Lakos's co-authors include Javier Esparza, Yan Jin, Zbigniew Michalewicz, Ahj Sale and Michael Johnson and has published in prestigious journals such as Electronic Notes in Theoretical Computer Science, Adelaide Research & Scholarship (AR&S) (University of Adelaide) and eCite Digital Repository (University of Tasmania).

In The Last Decade

Charles Lakos

8 papers receiving 15 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Charles Lakos Australia	4	12	10	9	9	3	10	21
Ali Taleghani Canada	4	7 0.6×	7 0.7×	6 0.7×	14 1.6×	3 1.0×	5	17
Chantal Keller France	4	15 1.3×	11 1.1×	25 2.8×	4 0.4×	4 1.3×	9	32
Mark Saaltink United Kingdom	3	5 0.4×	4 0.4×	9 1.0×	6 0.7×		8	13
Sitvanit Ruah Israel	3	12 1.0×	3 0.3×	11 1.2×	8 0.9×	10 3.3×	5	25
Willem Penninckx Belgium	2	8 0.7×	4 0.4×	19 2.1×	6 0.7×	5 1.7×	2	22
Nina Amla United States	3	22 1.8×	11 1.1×	10 1.1×	29 3.2×	4 1.3×	3	41
Elisabet Golobardes Spain	3	5 0.4×	15 1.5×	13 1.4×	2 0.2×	2 0.7×	9	21
Yohan Boichut France	4	14 1.2×	15 1.5×	23 2.6×	9 1.0×	17 5.7×	9	31
Edmund Clarke United States	3	27 2.3×	6 0.6×	23 2.6×	12 1.3×	7 2.3×	3	40
Denis Poitrenaud France	3	28 2.3×	7 0.7×	10 1.1×	8 0.9×	5 1.7×	5	35

Countries citing papers authored by Charles Lakos

Since Specialization

Citations

This map shows the geographic impact of Charles Lakos's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Charles Lakos with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Charles Lakos more than expected).

Fields of papers citing papers by Charles Lakos

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Charles Lakos. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Charles Lakos. The network helps show where Charles Lakos may publish in the future.

Co-authorship network of co-authors of Charles Lakos

This figure shows the co-authorship network connecting the top 25 collaborators of Charles Lakos. A scholar is included among the top collaborators of Charles Lakos based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Charles Lakos. Charles Lakos is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

10 of 10 papers shown

1.

Jin, Yan, et al.. (2024). Modular consistency analysis of component-based designs. Swinburne Research Bank (Swinburne University of Technology).

2.

Lakos, Charles, et al.. (2008). Experiments in applying evolutionary algorithms to software verification. Adelaide Research & Scholarship (AR&S) (University of Adelaide). 3531–3536. 4 indexed citations

3.

Johnson, Michael, et al.. (2005). Inconsistency Management and View Updates. Electronic Notes in Theoretical Computer Science. 141(3). 27–51.

4.

Lakos, Charles, et al.. (2004). Towards a semantic basis for Rosetta. Adelaide Research & Scholarship (AR&S) (University of Adelaide). 175–184. 1 indexed citations

5.

Jin, Yan, et al.. (2003). Lightweight consistency analysis of dataflow process networks. Adelaide Research & Scholarship (AR&S) (University of Adelaide). 291–300. 5 indexed citations

6.

Esparza, Javier & Charles Lakos. (2002). Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings. CERN Document Server (European Organization for Nuclear Research). 1 indexed citations

7.

Esparza, Javier & Charles Lakos. (2002). Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets. 3 indexed citations

8.

Lakos, Charles, et al.. (1999). A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. 106–111. 1 indexed citations

9.

Lakos, Charles, et al.. (1993). Modeling a Door Controller Protocol in LOOPN.. 31–43. 5 indexed citations

10.

Lakos, Charles & Ahj Sale. (1978). Is Disciplined Programming Transferable, and is it Insightful?. eCite Digital Repository (University of Tasmania). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact