Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 280

> 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 280, October 2021

26th International Symposium on Temporal Representation and Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GamperPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GamperPS21
Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning. 104635
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BorgesRFBJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorgesRFBJ21
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten:
To drive or not to drive: A logical and computational analysis of European transport regulations. 104636
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ZavatteriCRV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ZavatteriCRV21
Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò:
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. 104637
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/SioutisPJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/SioutisPJ21
Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen:
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. 104638
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/HoZJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HoZJ21
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones:
Timed hyperproperties. 104639
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BozzelliMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BozzelliMP21
Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity analysis of a unifying algorithm for model checking interval temporal logic. 104640
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/PeyrasBC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PeyrasBC21
Quentin Peyras, Julien Brunel, David Chemouil:
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. 104641
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/HossainL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HossainL21
Akash Hossain, François Laroussinie:
QCTL model-checking with QBF solvers. 104642
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/WalegaZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/WalegaZ21
Przemyslaw Andrzej Walega, Michal Zawidzki:
Subject-oriented spatial logic. 104643

a service of

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.