Yoad Lustig
Impact in
-
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
- Advanced Algebra and Logic
- Petri Nets in System Modeling
Papers in ⓘ
- Software 2
- Model-Driven Software Engineering Techniques 2
-
- Formal Methods in Verification 6
- semigroups and automata theory 1
- Co-authors
- Orna Kupferman (3 shared papers)Moshe Y. Vardi (3 shared papers)Dana Fisman (2 shared papers)David Van Campenhout (1 shared paper)John Havlicek (1 shared paper)Cindy Eisner (1 shared paper)
- Journals
- International Journal of Foundations of Computer Science (1 paper)International Journal on Software Tools for Technology Transfer (1 paper)SHILAP Revista de lepidopterología (1 paper)DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) (2 papers)
- Partner nations
- United StatesIsrael
In The Last Decade
Yoad Lustig
8 papers receiving 48 citations
Peers
Comparison fields: 5 of 13
- Software 9
- Computational Theory and Mathematics 36
- Hardware and Architecture 7
- Artificial Intelligence 32
- Computer Networks and Communications 9
Countries citing papers authored by Yoad Lustig
This map shows the geographic impact of Yoad Lustig'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 Yoad Lustig with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Yoad Lustig more than expected).
Fields of papers citing papers by Yoad Lustig
This network shows the impact of papers produced by Yoad Lustig. 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 Yoad Lustig. The network helps show where Yoad Lustig may publish in the future.
Co-authors
The 6 scholars most cited alongside Yoad Lustig, 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 | 2012 | 16 | |
| 2 | 2010 | 16 | |
| 3 | 2007 | 5 | |
| 4 | 2007 | 5 | |
| 5 | 2011 | 2 | |
| 6 | 2015 | 2 | |
| 7 | Reasoning with Temporal Logic On Truncated Paths | 2003 | 1 |
| 8 | 2011 | 1 |
About Yoad Lustig
Yoad Lustig is a scholar working on Software, Computational Theory and Mathematics, Hardware and Architecture, Artificial Intelligence and Management Information Systems, having authored 8 papers that have together received 48 indexed citations. Recurring topics across this work include Formal Methods in Verification (6 papers), Logic, programming, and type systems (4 papers), Advanced Software Engineering Methodologies (3 papers), Embedded Systems Design Techniques (2 papers), Model-Driven Software Engineering Techniques (2 papers), Hermeneutics and Narrative Identity (1 paper), semigroups and automata theory (1 paper) and Health, Medicine and Society (1 paper). The work is most often cited by research in Software (9 citations), Computational Theory and Mathematics (36 citations), Hardware and Architecture (7 citations), Artificial Intelligence (32 citations) and Computer Networks and Communications (9 citations). Yoad Lustig has collaborated with scholars based in United States and Israel. Frequent co-authors include Orna Kupferman, Moshe Y. Vardi, Dana Fisman, David Van Campenhout, John Havlicek and Cindy Eisner. Their work appears in journals such as International Journal of Foundations of Computer Science, International Journal on Software Tools for Technology Transfer, SHILAP Revista de lepidopterología and DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).
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.