Publications Conference proceedings (3) A Categorical Framework for Learning Generalised Tree Automata Author(s): Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva Published in: Proceedings of CMCS 2022, 2022, Page(s) 67-87 Publisher: Springer DOI: 10.1007/978-3-031-10736-8_4 Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks Author(s): Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva Published in: Proceedings of ESOP 2022, 2022, Page(s) 575-602 Publisher: Springer DOI: 10.1007/978-3-030-99336-8_21 Leapfrog: Certified Equivalence for Protocol Parsers Author(s): Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett Published in: Proceedings of PLDI 2022, 2022, Page(s) 950-965 Publisher: ACM DOI: 10.1145/3519939.3523715 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
