Lukas Stadler
- Hardware and Architecture top 1%
- Parallel Computing and Optimization Techniques 28
- Software top 2%
- Software Testing and Debugging Techniques 4
- Artificial Intelligence top 2%
- Logic, programming, and type systems 24
- Security and Verification in Computing 8
- Advanced Software Engineering Methodologies 3
-
- Advanced Data Storage Technologies 4
- Information Systems top 5%
- Software Engineering Research 7
-
- Formal Methods in Verification 5
- Co-authors
- Thomas WürthingerChristian WimmerHanspeter MössenböckDoug SimonGilles DuboscqAndreas WößChristian HumerGregor Richards
- Journals
- ACM SIGPLAN Notices (3 papers)Proceedings of the VLDB Endowment (2 papers)Science of Computer Programming (1 paper)
- Partner nations
- AustriaUnited StatesUnited Kingdom
In The Last Decade
Lukas Stadler
33 papers receiving 670 citations
Peers
Comparison fields: 5 of 34
- Hardware and Architecture 525
- Software 173
- Artificial Intelligence 497
- Computer Networks and Communications 342
- Information Systems 250
Countries citing papers authored by Lukas Stadler
This map shows the geographic impact of Lukas Stadler'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 Lukas Stadler with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Lukas Stadler more than expected).
Fields of papers citing papers by Lukas Stadler
This network shows the impact of papers produced by Lukas Stadler. 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 Lukas Stadler. The network helps show where Lukas Stadler may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Lukas Stadler, 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 | 2022 | 0 | |
| 2 | 2022 | 1 | |
| 3 | 2022 | 1 | |
| 4 | 2021 | 7 | |
| 5 | 2020 | 6 | |
| 6 | 2018 | 25 | |
| 7 | 2017 | 60 | |
| 8 | 2017 | 18 | |
| 9 | 2016 | 7 | |
| 10 | 2016 | 18 | |
| 11 | 2015 | 16 | |
| 12 | 2015 | 3 | |
| 13 | 2014 | 48 | |
| 14 | 2014 | 18 | |
| 15 | 2013 | 179 | |
| 16 | 2013 | 77 | |
| 17 | 2012 | 13 | |
| 18 | 2012 | 6 | |
| 19 | 2011 | 15 | |
| 20 | 2009 | 11 |
About Lukas Stadler
Lukas Stadler is a scholar working on Hardware and Architecture, Software, Artificial Intelligence, Information Systems and Computational Theory and Mathematics, having authored 35 papers that have together received 788 indexed citations. Recurring topics across this work include Parallel Computing and Optimization Techniques (28 papers), Logic, programming, and type systems (24 papers), Security and Verification in Computing (8 papers), Software Engineering Research (7 papers), Formal Methods in Verification (5 papers), Software Testing and Debugging Techniques (4 papers), Advanced Data Storage Technologies (4 papers) and Advanced Software Engineering Methodologies (3 papers). The work is most often cited by research in Hardware and Architecture (525 citations), Software (173 citations), Artificial Intelligence (497 citations), Computer Networks and Communications (342 citations) and Information Systems (250 citations). Lukas Stadler has collaborated with scholars based in Austria, United States and United Kingdom. Frequent co-authors include Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck, Doug Simon, Gilles Duboscq, Andreas Wöß, Christian Humer, Gregor Richards, Mario Wolczko and Manuel Rigger. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the VLDB Endowment, Science of Computer Programming, Software Practice and Experience and ACM Transactions on Architecture and Code Optimization.
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.