Jacques Loeckx

825 total citations
18 papers, 346 citations indexed

About

Jacques Loeckx is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Jacques Loeckx has authored 18 papers receiving a total of 346 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 3 papers in Computer Networks and Communications. Recurrent topics in Jacques Loeckx's work include semigroups and automata theory (4 papers), Computability, Logic, AI Algorithms (4 papers) and Advanced Database Systems and Queries (3 papers). Jacques Loeckx is often cited by papers focused on semigroups and automata theory (4 papers), Computability, Logic, AI Algorithms (4 papers) and Advanced Database Systems and Queries (3 papers). Jacques Loeckx collaborates with scholars based in Germany and Netherlands. Jacques Loeckx's co-authors include Hans-Dieter Ehrich, K. Sieber, Bernd Mahr, Thomas Lehmann, Reinhard Wilhelm and Kurt Mehlhorn and has published in prestigious journals such as Communications of the ACM, Journal of Computer and System Sciences and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Jacques Loeckx

14 papers receiving 294 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Jacques Loeckx Germany 7 261 257 56 41 32 18 346
R.J. vanGlabbeek United States 6 247 0.9× 296 1.2× 50 0.9× 61 1.5× 14 0.4× 10 349
Anca Muscholl France 14 307 1.2× 337 1.3× 37 0.7× 98 2.4× 58 1.8× 46 431
Yoram Hirshfeld Israel 11 212 0.8× 243 0.9× 55 1.0× 19 0.5× 18 0.6× 21 305
Harry G. Mairson United States 15 429 1.6× 315 1.2× 35 0.6× 104 2.5× 20 0.6× 37 476
Pierre Lescanne France 13 558 2.1× 423 1.6× 52 0.9× 65 1.6× 8 0.3× 47 606
Mario Coppo Italy 12 537 2.1× 405 1.6× 33 0.6× 93 2.3× 19 0.6× 37 578
Wojciech Plandowski Poland 9 192 0.7× 152 0.6× 31 0.6× 13 0.3× 37 1.2× 28 236
Ernst–Erich Doberkat Germany 9 200 0.8× 163 0.6× 22 0.4× 55 1.3× 9 0.3× 59 282
Christopher P. Wadsworth United Kingdom 6 477 1.8× 345 1.3× 51 0.9× 53 1.3× 6 0.2× 8 523
Wiesław Zielonka France 6 226 0.9× 299 1.2× 40 0.7× 46 1.1× 39 1.2× 12 351

Countries citing papers authored by Jacques Loeckx

Since Specialization
Citations

This map shows the geographic impact of Jacques Loeckx'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 Jacques Loeckx with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jacques Loeckx more than expected).

Fields of papers citing papers by Jacques Loeckx

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jacques Loeckx. 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 Jacques Loeckx. The network helps show where Jacques Loeckx may publish in the future.

Co-authorship network of co-authors of Jacques Loeckx

This figure shows the co-authorship network connecting the top 25 collaborators of Jacques Loeckx. A scholar is included among the top collaborators of Jacques Loeckx 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 Jacques Loeckx. Jacques Loeckx is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

18 of 18 papers shown
1.
Loeckx, Jacques, et al.. (1996). Specification of abstract data types. Medical Entomology and Zoology. 74 indexed citations
2.
Loeckx, Jacques. (1990). The Specification System OBSCURE.. Bulletin of the European Association for Theoretical Computer Science. 40. 168–171.
3.
Loeckx, Jacques & K. Sieber. (1987). The Foundations of Program Verification. 27 indexed citations
4.
Loeckx, Jacques. (1987). Algorithmic specifications: a constructive specification method for abstract data types. ACM Transactions on Programming Languages and Systems. 9(4). 646–661. 11 indexed citations
5.
Lehmann, Thomas & Jacques Loeckx. (1987). OBSCURE : a specification environment for abstract data types. Publications of the UdS (Saarland University). 2 indexed citations
6.
Loeckx, Jacques. (1986). The foundations of program verification.. Mathematics and Computers in Simulation. 28(1). 79–79. 78 indexed citations
7.
Loeckx, Jacques, Kurt Mehlhorn, & Reinhard Wilhelm. (1986). Grundlagen der Programmiersprachen. 1 indexed citations
8.
Loeckx, Jacques. (1985). A formal description of the specification language OBSCURE. Publications of the UdS (Saarland University). 1 indexed citations
9.
Loeckx, Jacques & Bernd Mahr. (1985). A note on the equational calculus for many-sorted algebras with possibly empty carrier sets. Publications of the UdS (Saarland University). 30. 61–65. 2 indexed citations
10.
Loeckx, Jacques. (1980). Implementations of abstract data types and their correctness proofs. Publications of the UdS (Saarland University).
11.
Loeckx, Jacques. (1976). Algorithmentheorie.
12.
Loeckx, Jacques. (1974). Proceedings of the 2nd Colloquium on Automata, Languages and Programming. International Colloquium on Automata, Languages and Programming. 2 indexed citations
13.
Loeckx, Jacques. (1974). Automata, Languages and Programming. Lecture notes in computer science. 119 indexed citations
14.
Loeckx, Jacques, et al.. (1972). The relation between derivations and syntactical structures in phrase-structure grammars. Journal of Computer and System Sciences. 6(3). 267–282. 4 indexed citations
15.
Loeckx, Jacques. (1972). Computability and Decidability. Lecture notes in economics and mathematical systems.
16.
Loeckx, Jacques. (1972). Computability and Decidability: An Introduction for Students of Computer Science. Medical Entomology and Zoology. 2 indexed citations
17.
Loeckx, Jacques. (1970). The parsing for general phrase-structure grammars. Information and Control. 16(5). 443–464. 16 indexed citations
18.
Loeckx, Jacques. (1970). An algorithm for the construction of bounded-context parsers. Communications of the ACM. 13(5). 297–307. 7 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

Breakdown of academic impact, for papers by R.J. vanGlabbeek Breakdown of academic impact, for papers by Anca Muscholl Breakdown of academic impact, for papers by Yoram Hirshfeld Breakdown of academic impact, for papers by Harry G. Mairson Breakdown of academic impact, for papers by Pierre Lescanne Breakdown of academic impact, for papers by Mario Coppo Breakdown of academic impact, for papers by Wojciech Plandowski Breakdown of academic impact, for papers by Ernst–Erich Doberkat Breakdown of academic impact, for papers by Christopher P. Wadsworth Breakdown of academic impact, for papers by Wiesław Zielonka
Rankless by CCL
2026