default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 245

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 245, December 2015

Special section on GandALF 2013

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MontanariPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MontanariPV15
Angelo Montanari, Gabriele Puppis, Tiziano Villa:
Games, Automata, Logics, and Formal Verification (GandALF 2013). 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Chatterjee0GH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Chatterjee0GH15
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for free. 3-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BrihayeHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BrihayeHM15
Thomas Brihaye, Axel Haddad, Quentin Menet:
Simple strategies for Banach-Mazur games and sets of probability 1. 17-35
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HuthKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HuthKP15
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin index of parity games: Its complexity and approximation. 36-53
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CimattiRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CimattiRT15
Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
HRELTL: A temporal logic for hybrid systems. 54-71
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BersaniRP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BersaniRP15
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
An SMT-based approach to satisfiability checking of MITL. 72-97
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LaroussinieM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LaroussinieM15
François Laroussinie, Nicolas Markey:
Augmenting ATL with strategy contexts. 98-123
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Galliani15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Galliani15
Pietro Galliani:
Upwards closed dependencies in team semantics. 124-135
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FogartyKVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FogartyKVW15
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile trees for Büchi word automata, with application to determinization. 136-151

Regular articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Peretz15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Peretz15
Ron Peretz:
Effective martingales with restricted wagers. 152-164
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/NelloreW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/NelloreW15
Abhinav Nellore, Rachel A. Ward:
Recovery guarantees for exemplar-based clustering. 165-180
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LuPCZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LuPCZ15
Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng:
Deciding determinism of unary languages. 181-196
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BosserhoffH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BosserhoffH15
Volker Bosserhoff, Peter Hertling:
Effective subsets under homeomorphisms of Rⁿ. 197-212
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DrewesE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DrewesE15
Frank Drewes, Joost Engelfriet:
The generative power of delegation networks. 213-258

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.