Adam Rogalewicz

Available identifiers

zbMath Open rogalewicz.adamMaRDI QIDQ2225469

List of research outcomes

Publication	Date of Publication	Type
Abstraction refinement and antichains for trace inclusion of infinite state systems	2021-02-08	Paper
From Shapes to Amortized Complexity	2020-07-07	Paper
Abstraction refinement and antichains for trace inclusion of infinite state systems	2019-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4610086	2018-04-05	Paper
Counterexample Validation and Interpolation-Based Refinement for Forest Automata	2017-02-21	Paper
Deciding Entailments in Inductive Separation Logic with Tree Automata	2015-12-17	Paper
Forest automata for verification of heap manipulation	2014-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q2852015	2013-10-07	Paper
The Tree Width of Separation Logic with Recursive Definitions	2013-06-14	Paper
Automata-Based Termination Proofs	2009-07-09	Paper
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures	2009-03-12	Paper
Proving Termination of Tree Manipulating Programs	2008-07-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adam Rogalewicz