Jussi Rintanen
- Software top 2%
- Artificial Intelligence top 1%
- Logic, Reasoning, and Knowledge 44
- AI-based Problem Solving and Planning 39
- Semantic Web and Ontologies 11
- Logic, programming, and type systems 8
- Multi-Agent Systems and Negotiation 7
- Machine Learning and Algorithms 5
-
- Formal Methods in Verification 14
-
- Constraint Satisfaction and Optimization 16
Jussi Rintanen
55 papers receiving 960 citations
Peers
Comparison fields: 5 of 48
- Software 163
- Artificial Intelligence 845
- Computational Theory and Mathematics 343
- Computer Networks and Communications 271
- Hardware and Architecture 23
Countries citing papers authored by Jussi Rintanen
This map shows the geographic impact of Jussi Rintanen'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 Jussi Rintanen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jussi Rintanen more than expected).
Fields of papers citing papers by Jussi Rintanen
This network shows the impact of papers produced by Jussi Rintanen. 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 Jussi Rintanen. The network helps show where Jussi Rintanen may publish in the future.
Co-authorship network
The 22 scholars most cited alongside Jussi Rintanen, 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 | 2015 | 5 | |
| 2 | Models of action concurrency in temporal planning | 2015 | 3 |
| 3 | Computing upper bounds on lengths of transition sequences | 2013 | 10 |
| 4 | Planning graphs and propositional clause-learning | 2008 | 8 |
| 5 | Diagnosability testing with satisfiability algorithms | 2007 | 22 |
| 6 | Diagnosers and diagnosability of succinct transition systems | 2007 | 15 |
| 7 | Diagnosis of discrete-event systems using satisfiability algorithms | 2007 | 30 |
| 8 | Complexity of concurrent temporal planning | 2007 | 40 |
| 9 | Planning via Petri net unfolding | 2007 | 25 |
| 10 | Compact Representation of Sets of Binary Constraints | 2006 | 12 |
| 11 | 2005 | 8 | |
| 12 | Phase transitions in classical planning: an experimental study | 2004 | 13 |
| 13 | Evaluation strategies for planning as satisfiability | 2004 | 19 |
| 14 | 2003 | 24 | |
| 15 | Symmetry reduction for SAT representations of transition systems | 2003 | 31 |
| 16 | Backward plan construction under partial observability | 2002 | 8 |
| 17 | An Overview of Recent Algorithms for AI Planning. | 2001 | 9 |
| 18 | Incorporation of temporal logic control into plan operators | 2000 | 23 |
| 19 | Improvements to the evaluation of quantified boolean formulae | 1999 | 57 |
| 20 | On specificity in default logic | 1995 | 12 |
About Jussi Rintanen
Jussi Rintanen is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics, having authored 57 papers that have together received 1.1k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (44 papers), AI-based Problem Solving and Planning (39 papers), Constraint Satisfaction and Optimization (16 papers), Formal Methods in Verification (14 papers), Semantic Web and Ontologies (11 papers), Logic, programming, and type systems (8 papers), Multi-Agent Systems and Negotiation (7 papers) and Machine Learning and Algorithms (5 papers). The work is most often cited by research in Software (163 citations), Artificial Intelligence (845 citations) and Computational Theory and Mathematics (343 citations). Jussi Rintanen has collaborated with scholars based in Australia, Germany and Finland. Frequent co-authors include Ilkka Niemelä, Keijo Heljanko, Alban Grastien, Adi Botea, Sylvie Thiébaux, Robert Mattmüller, Robert P. Goldman, Charles Gretton, Jörg Hoffmann and Austin Tate. Their work appears in journals such as Artificial Intelligence, IEEE Intelligent Systems, Statistics and Computing, Journal of Artificial Intelligence Research and Journal of Logic and Computation.
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.