Dariusz Biernacki

1.4k total citations
49 papers, 784 citations indexed

About

Dariusz Biernacki is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Dariusz Biernacki has authored 49 papers receiving a total of 784 indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 10 papers in Information Systems. Recurrent topics in Dariusz Biernacki's work include Logic, programming, and type systems (37 papers), Formal Methods in Verification (18 papers) and Logic, Reasoning, and Knowledge (17 papers). Dariusz Biernacki is often cited by papers focused on Logic, programming, and type systems (37 papers), Formal Methods in Verification (18 papers) and Logic, Reasoning, and Knowledge (17 papers). Dariusz Biernacki collaborates with scholars based in Poland, United States and Denmark. Dariusz Biernacki's co-authors include Olivier Danvy, Mads Sig Ager, Jan Midtgaard, E. E. Eyler, Steven D. Colson, Filip Sieczkowski, Małgorzata Biernacka, Chung-chieh Shan, Jean-Louis Colaço and Marc Pouzet and has published in prestigious journals such as The Journal of Chemical Physics, SHILAP Revista de lepidopterología and Chemical Physics Letters.

In The Last Decade

Dariusz Biernacki

46 papers receiving 649 citations

Peers

Dariusz Biernacki
Yan-Ling Wang China
Peter Selinger Canada
Amr Sabry United States
J.R.B. Cockett Canada
Benoît Valiron France
Neil J. Ross Canada
Ali Javadi-Abhari United States
Scott Danforth United States
D. Sidhu United States
Ralph Butler United States
Yan-Ling Wang China
Dariusz Biernacki
Citations per year, relative to Dariusz Biernacki Dariusz Biernacki (= 1×) peers Yan-Ling Wang

Countries citing papers authored by Dariusz Biernacki

Since Specialization
Citations

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

Fields of papers citing papers by Dariusz Biernacki

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Dariusz Biernacki

This figure shows the co-authorship network connecting the top 25 collaborators of Dariusz Biernacki. A scholar is included among the top collaborators of Dariusz Biernacki based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Dariusz Biernacki. Dariusz Biernacki is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Biernacki, Dariusz, et al.. (2021). Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. 1–13. 4 indexed citations
2.
Biernacki, Dariusz, et al.. (2019). Proving Soundness of Extensional Normal-Form Bisimilarities. SHILAP Revista de lepidopterología. 1 indexed citations
3.
Biernacki, Dariusz, et al.. (2019). Abstracting algebraic effects. Proceedings of the ACM on Programming Languages. 3(POPL). 1–28. 16 indexed citations
4.
Biernacki, Dariusz, et al.. (2018). Logical relations for coherence of effect subtyping. SHILAP Revista de lepidopterología. 2 indexed citations
5.
Biernacki, Dariusz, et al.. (2018). Handle with Care: Relational Interpretation of Algebraic Effects and Handlers. 4 indexed citations
6.
Biernacki, Dariusz, et al.. (2017). Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. Logical Methods in Computer Science. Volume 13, Issue 3. 2 indexed citations
7.
Biernacki, Dariusz, et al.. (2011). Subtyping delimited continuations. 81–93. 15 indexed citations
8.
Biernacki, Dariusz, et al.. (2011). Subtyping delimited continuations. ACM SIGPLAN Notices. 46(9). 81–93. 9 indexed citations
9.
Biernacki, Dariusz, et al.. (2010). A systematic derivation of the STG machine verified in Coq. 25–36. 10 indexed citations
10.
Biernacka, Małgorzata & Dariusz Biernacki. (2009). A Context-based Approach to Proving Termination of Evaluation. Electronic Notes in Theoretical Computer Science. 249. 169–192. 4 indexed citations
11.
Biernacka, Małgorzata & Dariusz Biernacki. (2009). Context-based proofs of termination for typed delimited-control operators. 289–300. 5 indexed citations
12.
Biernacki, Dariusz, Jean-Louis Colaço, Grégoire Hamon, & Marc Pouzet. (2008). Clock-directed modular code generation for synchronous data-flow languages. 121–130. 35 indexed citations
13.
Biernacki, Dariusz, Olivier Danvy, & Chung-chieh Shan. (2006). On the static and dynamic extents of delimited continuations. Science of Computer Programming. 60(3). 274–297. 20 indexed citations
14.
Biernacki, Dariusz, Olivier Danvy, & Kevin Millikin. (2006). A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. BRICS Report Series. 13(15). 13 indexed citations
15.
Biernacki, Dariusz & Olivier Danvy. (2005). An operational foundation for delimited continuations in the CPS hierarchy. 28 indexed citations
16.
Biernacka, Małgorzata, Dariusz Biernacki, & Olivier Danvy. (2005). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS Report Series. 12(11). 2 indexed citations
17.
Biernacki, Dariusz, Olivier Danvy, & Chung-chieh Shan. (2005). On the Static and Dynamic Extents of Delimited Continuations. BRICS Report Series. 12(36). 1 indexed citations
18.
Biernacki, Dariusz, Olivier Danvy, & Kevin Millikin. (2005). A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. BRICS Report Series. 12(16). 11 indexed citations
19.
Biernacki, Dariusz & Olivier Danvy. (2004). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series. 11(5). 6 indexed citations
20.
Biernacki, Dariusz & Olivier Danvy. (2003). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series. 10(25). 35 indexed citations

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

Breakdown of academic impact, for papers by Yan-Ling Wang Breakdown of academic impact, for papers by Peter Selinger Breakdown of academic impact, for papers by Amr Sabry Breakdown of academic impact, for papers by J.R.B. Cockett Breakdown of academic impact, for papers by Benoît Valiron Breakdown of academic impact, for papers by Neil J. Ross Breakdown of academic impact, for papers by Ali Javadi-Abhari Breakdown of academic impact, for papers by Scott Danforth Breakdown of academic impact, for papers by D. Sidhu Breakdown of academic impact, for papers by Ralph Butler
Rankless by CCL
2026