• 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 66 matches

• 2024
• 
  Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
  A computable and compositional semantics for hybrid systems. Inf. Comput. 300: 105189 (2024)
• 
  Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa:
  Recent Results on Computable and Compositional Semantics for Hybrid Systems. OVERLAY 2024: 23-29
• 2022
• 
  Antonella Cingolani, Konstantina Kostopoulou, Alice Luraschi, Aristodemos Pnevmatikakis, Silvia Lamonica, Sofoklis A. Kyriazakos, Chiara Iacomini, Francesco Vladimiro Segala, Giulia Micheli, Cristina Seguiti, Stathis Kanavos, Alfredo Cesario, Enrica Tamburrini, Stefano Patarnello, Vincenzo Valentini, Roberto Cauda:
  HIV Patients' Tracer for Clinical Assistance and Research during the COVID-19 Epidemic (INTERFACE): A Paradigm for Chronic Conditions. Inf. 13(2): 76 (2022)
• 2020
• 
  Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
  A computable and compositional semantics for hybrid automata. HSCC 2020: 18:1-18:11
• 2018
• 
  Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
  Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94: 63-97 (2018)
• 2014
• 
  Jean Goubault-Larrecq, Roberto Segala:
  Random Measurable Selections. Horizons of the Mind 2014: 343-362
• 2013
• 
  Marta Capiluppi, Roberto Segala:
  World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems. HAS 2013: 58-72
• 2012
• 
  Gianfranco Ciardo, Roberto Segala:
  Selected papers from QEST 2010. Perform. Evaluation 69(7-8): 297-298 (2012)
• 
  Nicolae E. Marinica, Marta Capiluppi, Jonathan Rogge, Roberto Segala, René K. Boel:
  Distributed collision avoidance for autonomous vehicles: world automata representation. ADHS 2012: 216-221
• 
  Marta Capiluppi, Roberto Segala:
  Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. GandALF 2012: 1-14
• 2011
• 
  Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang:
  Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)
• 2010
• 
  Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  The Theory of Timed I/O Automata, Second Edition. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00875-7
• 
  Roberto Segala, Andrea Turrini:
  Conditional Automata: A Tool for Safe Removal of Negligible Events. CONCUR 2010: 539-553
• 
  Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala:
  Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS 2010: 2-22
• 2009
• 
  Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun:
  A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics 19(4): 489-516 (2009)
• 2008
• 
  Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
  Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. 18(1): 111-159 (2008)
• 
  Roberto Segala:
  The power of simulation relations. PODC 2008: 462
• 2007
• 
  Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37(4): 977-1013 (2007)
• 
  Roberto Segala, Andrea Turrini:
  Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF 2007: 140-156
• 
  Augusto Parma, Roberto Segala:
  Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301
• 2006
• 
  Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2006
• 
  Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. 365(1-2): 83-108 (2006)
• 
  Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman:
  Dynamic load balancing with group communication. Theor. Comput. Sci. 369(1-3): 348-360 (2006)
• 
  Roberto Segala:
  Probability and Nondeterminism in Operational Models of Concurrency. CONCUR 2006: 64-78
• 
  Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
  Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC 2006: 238-253
• 2005
• 
  Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman:
  Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139
• 
  Roberto Segala, Andrea Turrini:
  Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. QEST 2005: 44-53
• 
  Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
  Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptol. ePrint Arch. 2005: 452 (2005)
• 2004
• 
  Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  Switched Probabilistic I/O Automata. ICTAC 2004: 494-510
• 
  Augusto Parma, Roberto Segala:
  Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303

skipping 36 more matches