Concepedia

Aleš Bizjak

AB

7

Publications

453

Citations

7

H-Index

2013

Active since

Affiliations

Aarhus University(Current)

Delft University of Technology

Aleš Bizjak is an author at Aarhus University specializing in automated reasoning, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationFormal VerificationProgram AnalysisSoftware AnalysisSemanticsData Security

Publications per year

2013–2019

7

Publications

7

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · Journal of Functional Programming · 2018 · 353 citations · Full text

Engineering, Verification, Automated Proof +16

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl et al. · Logical Methods in Computer Science · 2017 · 21 citations · Full text

Engineering, Type Theory, Verification +16

Iron: managing obligations in higher-order concurrent separation logic

Aleš Bizjak, Daniel Gratzer, Robbert Krebbers et al. · Proceedings of the ACM on Programming Languages · 2019 · 19 citations · Full text

Engineering, Verification, Concurrent System +17

Step-Indexed Relational Reasoning for Countable Nondeterminism

Lars Birkedal, Aleš Bizjak, Jan Schwinghammer · Logical Methods in Computer Science · 2013 · 16 citations · Full text

On Models of Higher-Order Separation Logic

Aleš Bizjak, Lars Birkedal · Electronic Notes in Theoretical Computer Science · 2018 · 15 citations · Full text

Computational Logic, Engineering, Substructural Logic +10

Rows per page

1–5 of 7