default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 300

> 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 300, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BresolinCGSVG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BresolinCGSVG24
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid systems. 105189
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/HuttelLBB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HuttelLBB24
Hans Hüttel, Stian Lybech, Alexander Rønning Bendixen, Bjarke Bredow Bojesen:
A generic type system for higher-order Ψ-calculi. 105190
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BispingM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BispingM24
Benjamin Bisping, Luisa Montanari:
Characterizing contrasimilarity through games, modal logic, and complexity. 105191
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GoosGM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GoosGM24
Mika Göös, Ziyi Guan, Tiberiu Mosnoi:
Depth-3 circuits for inner product. 105192
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ZhangYHKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ZhangYHKM24
Xiaojuan Zhang, Gang Yang, Changxiang He, Ralf Klasing, Yaping Mao:
The number of spanning trees for Sierpiński graphs and data center networks. 105194
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/YanSNPK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/YanSNPK24
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. 105193
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BodlaenderGNS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BodlaenderGNS24
Hans L. Bodlaender, Carla Groenland, Jesper Nederlof, Céline M. F. Swennenhuis:
Parameterized problems complete for nondeterministic FPT time and logarithmic space. 105195
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Skapinakis24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Skapinakis24
Eduardo Skapinakis:
Secretive interaction. 105196
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Yu24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Yu24
Nengkun Yu:
Quantum temporal logic and reachability problems of matrix semigroups. 105197
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/SalhiS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/SalhiS24
Yakoub Salhi, Michael Sioutis:
On prime scenarios in qualitative spatial and temporal reasoning. 105198
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/YangWX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/YangWX24
Yu Yang, Cai-Xia Wang, Shou-Jun Xu:
Total (restrained) domination in unit disk graphs. 105210

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.