Reachability in pushdown register automata von Murawski, A.S., Ramsay, S.J., Tzevelekos, N.

Volltext

Collapsible Pushdown Automata and Recursion Schemes von Hague, M., Murawski, A.S., Ong, C.-H.L., Serre, O.

Volltext

Reachability Games and Game Semantics: Comparing Nondeterministic Programs von Murawski, A.S.

Volltext

Syntactic control of concurrency von Ghica, D.R., Murawski, A.S., Ong, C.-H.L.

Volltext

On an interpretation of safe recursion in light affine logic von Murawski, A.S., Ong, C.-H.L.

Volltext

Exhausting strategies, joker games and full completeness for IMLL with Unit von Murawski, A.S., Ong, C.-H.L.

Volltext

Nominal games and full abstraction for the nu-calculus von Abramsky, S., Ghica, D.R., Murawski, A.S., Ong, C.-H.L., Stark, I.D.B.

Volltext

Dominator trees and fast verification of proof nets von Murawski, A.S., Ong, C.-H.L.

Volltext

Exhausting Strategies, Joker Games and Full Completeness for IMLL with Unit (Preliminary Version) von Murawski, A.S., Ong, C.-H.L.

Volltext

Evidence-based Treatment of Failed Primary Osteochondral Lesions of the Talus: A Systematic Review on Clinical Outcomes of Bone Marrow Stimulation von Dahmen, Jari, Hurley, Eoghan T., Shimozono, Yoshiharu, Murawski, Christopher D., Stufkens, Sjoerd A. S., Kerkhoffs, Gino M. M. J., Kennedy, John G.

Volltext