Andrzej S. Murawski

Identifiers

• name variant Andrzej S. Murawski 0.60 · backfill

Papers (5)

1. Contextual MetaML: Syntax and Full Abstraction cs.PL · 2026 · author #2
2. Higher-Order Linearisability cs.PL · 2016 · author #1
3. Fragments of ML Decidable by Nested Data Class Memory Automata cs.PL · 2015 · author #3
4. Bisimilarity of Pushdown Systems is Nonelementary cs.FL · 2012 · author #4
5. On the Complexity of the Equivalence Problem for Probabilistic Automata cs.FL · 2011 · author #2

Mentions

• 1501.04511 #3 · backfill · confidence 0.70 Andrzej S. Murawski
• 1210.7686 #4 · backfill · confidence 0.70 Andrzej S. Murawski
• 1112.4644 #2 · backfill · confidence 0.70 Andrzej S. Murawski
• 2602.03033 #2 · arxiv_oai · confidence 0.70 Andrzej S. Murawski

Frequent Coauthors

• C.-H. Luke Ong 2 shared papers
• Stefan Kiefer 2 shared papers
• Bj\"orn Wachter 1 shared papers
• Conrad Cotton-Barratt 1 shared papers
• David Hopkins 1 shared papers
• Haoxuan Yin 1 shared papers
• James Worrell 1 shared papers
• Jo\"el Ouaknine 1 shared papers
• Michael Benedikt 1 shared papers
• Nikos Tzevelekos 1 shared papers
• Stefan G\"oller 1 shared papers