Adam Rogalewicz

From MaRDI portal
Person:2225469

Available identifiers

zbMath Open rogalewicz.adamMaRDI QIDQ2225469

List of research outcomes





PublicationDate of PublicationType
Reasoning About Regular Properties: A Comparative Study2024-04-26Paper
Abstraction refinement and antichains for trace inclusion of infinite state systems2021-02-08Paper
From Shapes to Amortized Complexity2020-07-07Paper
Abstraction refinement and antichains for trace inclusion of infinite state systems2019-09-17Paper
https://portal.mardi4nfdi.de/entity/Q46100862018-04-05Paper
Counterexample Validation and Interpolation-Based Refinement for Forest Automata2017-02-21Paper
Deciding Entailments in Inductive Separation Logic with Tree Automata2015-12-17Paper
Forest automata for verification of heap manipulation2014-03-28Paper
Abstract regular tree model checking2013-10-07Paper
The Tree Width of Separation Logic with Recursive Definitions2013-06-14Paper
Automata-Based Termination Proofs2009-07-09Paper
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures2009-03-12Paper
Proving Termination of Tree Manipulating Programs2008-07-03Paper

Research outcomes over time

This page was built for person: Adam Rogalewicz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2225469&oldid=6151745"
Powered by MediaWiki