Rafal Kolanski

2.4k citations

14 papers · 1.3k indexed · 1 hit paper · h-index 9

Impact in

Hardware and Architecture top 2%
- Parallel Computing and Optimization Techniques
- Real-Time Systems Scheduling
Software top 5%

Papers in

Hardware and Architecture 6
- Parallel Computing and Optimization Techniques 6
- Embedded Systems Design Techniques 1
Artificial Intelligence 12
- Security and Verification in Computing 11
- Logic, programming, and type systems 2

Co-authors: Gerwin Klein June Andronick Kevin Elphinstone Thomas Sewell Gernot Heiser Simon Winwood Dhammika Elkaduwe Kai Engelhardt
Journals: ACM Transactions on Computer Systems (1 paper)Communications of the ACM (1 paper)Electronic Notes in Theoretical Computer Science (1 paper)ANU Open Research (Australian National University) (1 paper)International Conference on Software Engineering (1 paper)
Partner nations: Australia Sri Lanka France

In The Last Decade

Rafal Kolanski

14 papers receiving 1.2k citations

Hit Papers

align trajectories log scale

seL4 2009 · 893 citations

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if any of the following hold:

it has ≥500 total citations;
it reaches ≥1.5× the top-1% citation threshold for papers in the same subfield and year (the threshold is the minimum needed to enter the top 1%, not the average within it);
it reaches the top citation threshold in at least one of its specific research topics.

2009 ANU Open Research (Australian National University)

Peers

Countries citing papers authored by Rafal Kolanski

Since Specialization

Citations

This map shows the geographic impact of Rafal Kolanski'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 Rafal Kolanski with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Rafal Kolanski more than expected).

Fields of papers citing papers by Rafal Kolanski

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Rafal Kolanski. 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 Rafal Kolanski. The network helps show where Rafal Kolanski may publish in the future.

Co-authors

The 21 scholars most cited alongside Rafal Kolanski, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Rafal Kolanski Line = papers co-authored together Rafal Kolanski links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

14 of 14 papers shown

#	Work
1	Finite Machine Word Library. Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lee Lewis, Daniel Matichuk, Thomas Sewell	2016	2
2	Productivity for proof engineering Mark Staples, Ross Jeffery, June Andronick, Toby Murray, Gerwin Klein, Rafal Kolanski	2014	8
3	Comprehensive formal verification of an OS microkernel ACM Transactions on Computer Systems ·Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser	2014	180
4	Formal specifications better than function points for code sizing International Conference on Software Engineering ·Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery, Len Bass	2013	8
5	Formal specifications better than function points for code sizing 2013 35th International Conference on Software Engineering (ICSE) ·Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery, Len Bass	2013	4
6	Simulation modeling of a large-scale formal verification process He Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu, Rafal Kolanski	2012	8
7	Simulation modeling of a large-scale formal verification process He Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu, Rafal Kolanski	2012	11
8	Large-scale formal verification in practice: A process perspective June Andronick, Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu	2012	16
9	Verification of programs in virtual memory using separation logic UNSWorks (University of New South Wales, Sydney, Australia) ·Rafal Kolanski	2011	8
10	seL4 Communications of the ACM ·Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood	2010	156
11	seL4 ANU Open Research (Australian National University) ·Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood Hit paper breakdown →	2009	893
12	A Logic for Virtual Memory Electronic Notes in Theoretical Computer Science ·Rafal Kolanski	2008	7
13	Formalising the L4 microkernel API Rafal Kolanski, Gerwin Klein	2006	8
14	Formalising a high-performance microkernel Kevin Elphinstone, Gerwin Klein, Rafal Kolanski	2006	5

About Rafal Kolanski

Rafal Kolanski is a scholar working on Hardware and Architecture, Artificial Intelligence, Signal Processing, Computer Networks and Communications and Software, having authored 14 papers that have together received 1.3k indexed citations. Recurring topics across this work include Security and Verification in Computing (11 papers), Distributed systems and fault tolerance (7 papers), Parallel Computing and Optimization Techniques (6 papers), Advanced Malware Detection Techniques (4 papers), Software Engineering Research (2 papers), Software System Performance and Reliability (2 papers), Logic, programming, and type systems (2 papers) and Embedded Systems Design Techniques (1 paper). The work is most often cited by research in Hardware and Architecture (419 citations), Software (153 citations), Signal Processing (405 citations), Artificial Intelligence (1.1k citations) and Computer Networks and Communications (502 citations). Rafal Kolanski has collaborated with scholars based in Australia, Sri Lanka and France. Frequent co-authors include Gerwin Klein, June Andronick, Kevin Elphinstone, Thomas Sewell, Gernot Heiser, Simon Winwood, Dhammika Elkaduwe, Kai Engelhardt, Harvey Tuch and David Cock. Their work appears in journals such as ACM Transactions on Computer Systems, Communications of the ACM, Electronic Notes in Theoretical Computer Science, ANU Open Research (Australian National University) and International Conference on Software Engineering.

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.

Explore authors with similar magnitude of impact