Jacques Loeckx
Impact in
-
- Formal Methods in Verification
- semigroups and automata theory
- Advanced Algebra and Logic
- Software top 5%
Papers in
-
- Computability, Logic, AI Algorithms 4
- semigroups and automata theory 4
- Formal Methods in Verification 2
-
- Logic, programming, and type systems 3
- Natural Language Processing Techniques 2
- Co-authors
- Hans-Dieter Ehrich (1 shared paper)K. Sieber (1 shared paper)Bernd Mahr (1 shared paper)Thomas Lehmann (1 shared paper)Kurt Mehlhorn (1 shared paper)Reinhard Wilhelm (1 shared paper)
- Journals
- ACM Transactions on Programming Languages and Systems (1 paper)Communications of the ACM (1 paper)Mathematics and Computers in Simulation (1 paper)Journal of Computer and System Sciences (1 paper)Lecture notes in computer science (1 paper)
- Partner nations
- GermanyNetherlands
In The Last Decade
Jacques Loeckx
14 papers receiving 294 citations
Peers
Comparison fields: 5 of 31
- Computational Theory and Mathematics 257
- Software 56
- Artificial Intelligence 261
- Hardware and Architecture 19
- Discrete Mathematics and Combinatorics 6
Countries citing papers authored by Jacques Loeckx
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
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-authors
The 6 scholars most cited alongside Jacques Loeckx, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 1974 | 119 | |
| 2 | 1986 | 78 | |
| 3 | Specification of abstract data types | 1996 | 74 |
| 4 | 1987 | 27 | |
| 5 | 1970 | 16 | |
| 6 | 1987 | 11 | |
| 7 | 1970 | 7 | |
| 8 | 1972 | 4 | |
| 9 | Proceedings of the 2nd Colloquium on Automata, Languages and Programming | 1974 | 2 |
| 10 | 1972 | 2 | |
| 11 | 1987 | 2 | |
| 12 | 1985 | 2 | |
| 13 | 1986 | 1 | |
| 14 | 1985 | 1 | |
| 15 | The Specification System OBSCURE. | 1990 | 0 |
| 16 | 1972 | 0 | |
| 17 | 1980 | 0 | |
| 18 | 1976 | 0 |
About Jacques Loeckx
Jacques Loeckx is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications, Software and Information Systems, having authored 18 papers that have together received 346 indexed citations. Recurring topics across this work include Computability, Logic, AI Algorithms (4 papers), semigroups and automata theory (4 papers), Logic, programming, and type systems (3 papers), Advanced Database Systems and Queries (3 papers), Natural Language Processing Techniques (2 papers), Software Reliability and Analysis Research (2 papers), Distributed and Parallel Computing Systems (2 papers) and Formal Methods in Verification (2 papers). The work is most often cited by research in Computational Theory and Mathematics (257 citations), Software (56 citations), Artificial Intelligence (261 citations), Hardware and Architecture (19 citations) and Discrete Mathematics and Combinatorics (6 citations). Jacques Loeckx has collaborated with scholars based in Germany and Netherlands. Frequent co-authors include Hans-Dieter Ehrich, K. Sieber, Bernd Mahr, Thomas Lehmann, Kurt Mehlhorn and Reinhard Wilhelm. Their work appears in journals such as ACM Transactions on Programming Languages and Systems, Communications of the ACM, Mathematics and Computers in Simulation, Journal of Computer and System Sciences and Lecture notes in computer science.
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.