• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 111 matches

• 2024
• 
  Benedict Bunting, Andrzej S. Murawski:
  Contextual Equivalence for State and Control via Nested Data. LICS 2024: 19:1-19:14
• 2023
• 
  Benedict Bunting, Andrzej S. Murawski:
  Operational Algorithmic Game Semantics. LICS 2023: 1-13
• 
  Fabian Zaiser, Andrzej S. Murawski, Chih-Hao Luke Ong:
  Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach. NeurIPS 2023
• 
  Alex Dixon, Andrzej S. Murawski:
  Saturating automata for game semantics. MFPS 2023
• 
  Fabian Zaiser, Andrzej S. Murawski, Luke Ong:
  Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach. CoRR abs/2305.17058 (2023)
• 2022
• 
  Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser:
  The Big-O Problem. Log. Methods Comput. Sci. 18(1) (2022)
• 
  Andrzej S. Murawski:
  From the Editor. ACM SIGLOG News 9(4): 1 (2022)
• 
  Guanyan Li, Andrzej S. Murawski, Luke Ong:
  Probabilistic Verification Beyond Context-Freeness. LICS 2022: 33:1-33:13
• 2021
• 
  Andrzej S. Murawski, Nikos Tzevelekos:
  Game Semantics for Interface Middleweight Java. J. ACM 68(1): 4:1-4:51 (2021)
• 
  Lukasz Dziuda, Paulina Baran, Piotr Zielinski, Krzysztof Murawski, Mariusz Dziwosz, Mariusz Krej, Marcin Piotrowski, Roman Stablewski, Andrzej Wojdas, Wlodzimierz Strus, Henryk Gasiul, Marcin Kosobudzki, Alicja Bortkiewicz:
  Evaluation of a Fatigue Detector Using Eye Closure-Associated Indicators Acquired from Truck Drivers in a Simulator Study. Sensors 21(19): 6449 (2021)
• 
  Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre:
  Collapsible Pushdown Parity Games. ACM Trans. Comput. Log. 22(3): 16:1-16:51 (2021)
• 
  Guilhem Jaber, Andrzej S. Murawski:
  Complete trace models of state and control. ESOP 2021: 348-374
• 
  Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz:
  Leafy automata for higher-order concurrency. FoSSaCS 2021: 184-204
• 
  Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz:
  Verifying higher-order concurrency with data automata. LICS 2021: 1-13
• 
  Guilhem Jaber, Andrzej S. Murawski:
  Compositional relational reasoning via operational game semantics. LICS 2021: 1-13
• 
  Guilhem Jaber, Andrzej S. Murawski:
  Complete trace models of state and control. CoRR abs/2101.08491 (2021)
• 
  Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz:
  Leafy Automata for Higher-Order Concurrency. CoRR abs/2101.08720 (2021)
• 2020
• 
  Andrzej S. Murawski:
  The 2020 Alonzo Church award for outstanding contributions to logic and computation: call for nominations. ACM SIGLOG News 7(1): 51 (2020)
• 
  Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser:
  The Big-O Problem for Labelled Markov Chains and Weighted Automata. CONCUR 2020: 41:1-41:19
• 
  Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
  Bisimilarity in fresh-register automata. CoRR abs/2005.06411 (2020)
• 
  Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser:
  The Big-O Problem for Labelled Markov Chains and Weighted Automata. CoRR abs/2007.07694 (2020)
• 
  Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre:
  Collapsible Pushdown Parity Games. CoRR abs/2010.06361 (2020)
• 2019
• 
  Andrzej S. Murawski, Nikos Tzevelekos:
  Higher-order linearisability. J. Log. Algebraic Methods Program. 104: 86-116 (2019)
• 
  Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong:
  ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States. ACM Trans. Program. Lang. Syst. 41(2): 11:1-11:38 (2019)
• 
  Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
  DEQ: Equivalence Checker for Deterministic Register Automata. ATVA 2019: 350-356
• 
  Dmitry Chistikov, Andrzej S. Murawski, David Purser:
  Asymmetric Distances for Approximate Differential Privacy. CONCUR 2019: 10:1-10:17
• 
  Pierre Clairambault, Andrzej S. Murawski:
  On the Expressivity of Linear Recursion Schemes. MFCS 2019: 50:1-50:14
• 2018
• 
  Andrzej S. Murawski, Nikos Tzevelekos:
  Algorithmic games for full ground references. Formal Methods Syst. Des. 52(3): 277-314 (2018)
• 
  Pierre Clairambault, Charles Grellois, Andrzej S. Murawski:
  Linearity in higher-order recursion schemes. Proc. ACM Program. Lang. 2(POPL): 39:1-39:29 (2018)
• 
  Dmitry Chistikov, Andrzej S. Murawski, David Purser:
  Bisimilarity Distances for Approximate Differential Privacy. ATVA 2018: 194-210

skipping 81 more matches