Antoni Diller
Impact in
- Software top 5%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 1
- Logic, Reasoning, and Knowledge 1
- Journals
- Philosophy of the Social Sciences (2 papers)The Computer Journal (1 paper)Philosophical Papers (1 paper)CERN Document Server (European Organization for Nuclear Research) (1 paper)Project Euclid (Cornell University) (1 paper)
- Partner nations
- United Kingdom
In The Last Decade
Antoni Diller
6 papers receiving 183 citations
Peers
Comparison fields: 5 of 41
- Software 79
- Computational Theory and Mathematics 65
- Information Systems 83
- Artificial Intelligence 114
- Management Information Systems 26
Countries citing papers authored by Antoni Diller
This map shows the geographic impact of Antoni Diller'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 Antoni Diller with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Antoni Diller more than expected).
Fields of papers citing papers by Antoni Diller
This network shows the impact of papers produced by Antoni Diller. 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 Antoni Diller. The network helps show where Antoni Diller may publish in the future.
No co-authors to show.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Z: An Introduction to Formal Methods | 1990 | 171 |
| 2 | 1994 | 16 | |
| 3 | Compiling Functional Languages | 1988 | 10 |
| 4 | 2008 | 9 | |
| 5 | 2012 | 3 | |
| 6 | Retransmittability and Empirical Propositions | 2006 | 1 |
| 7 | Is the concept Horse an object | 1993 | 0 |
| 8 | Investigations into Iconic Representations of Combinators | 2000 | 0 |
| 9 | LaTeX Line by Line: Tips and Techniques for Document Processing | 1993 | 0 |
| 10 | 1993 | 0 |
About Antoni Diller
Antoni Diller is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Experimental and Cognitive Psychology, Philosophy and Software, having authored 10 papers that have together received 210 indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (2 papers), Philosophy and Theoretical Science (2 papers), Hermeneutics and Narrative Identity (1 paper), Logic, programming, and type systems (1 paper), Philosophy, Science, and History (1 paper), Logic, Reasoning, and Knowledge (1 paper), Health, Medicine and Society (1 paper) and Software Reliability and Analysis Research (1 paper). The work is most often cited by research in Software (79 citations), Computational Theory and Mathematics (65 citations), Information Systems (83 citations), Artificial Intelligence (114 citations) and Management Information Systems (26 citations). Antoni Diller has collaborated with scholars based in United Kingdom. Their work appears in journals such as Philosophy of the Social Sciences, The Computer Journal, Philosophical Papers, CERN Document Server (European Organization for Nuclear Research) and Project Euclid (Cornell University).
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.