Andrzej S. Murawski
Orcid: 0000-0002-4725-410XAffiliations:
- University of Oxford, UK
According to our database1,
Andrzej S. Murawski
authored at least 84 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
Proceedings of the Programming Languages and Systems, 2021
2020
The 2020 Alonzo Church award for outstanding contributions to logic and computation: call for nominations.
ACM SIGLOG News, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States.
ACM Trans. Program. Lang. Syst., 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Proceedings of the Programming Languages and Systems, 2017
2016
Log. Methods Comput. Sci., 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
2015
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).
NII Shonan Meet. Rep., 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the Language and Automata Theory and Applications, 2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Proceedings of the Foundations of Software Science and Computation Structures, 2014
2013
Formal Methods Syst. Des., 2013
Log. Methods Comput. Sci., 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Programming Languages and Systems, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010
Proceedings of the Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008
2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
2005
ACM Trans. Comput. Log., 2005
Theor. Comput. Sci., 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Functions with local state: from regularity to undecidability.
Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
2003
Theor. Comput. Sci., 2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
2001
PhD thesis, 2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
Proceedings of the Computer Science Logic, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999