Loading…
A mathematical theory of resources
Coecke, Bob, Fritz, Tobias, Spekkens, Robert W.
Published in Information and computation (01.10.2016)
Published in Information and computation (01.10.2016)
Get full text
Journal Article
Loading…
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth
Bodlaender, Hans L., Cygan, Marek, Kratsch, Stefan, Nederlof, Jesper
Published in Information and computation (01.08.2015)
Published in Information and computation (01.08.2015)
Get full text
Journal Article
Loading…
Loading…
Cell-like P systems with evolutional symport/antiport rules and membrane creation
Song, Bosheng, Li, Kenli, Orellana-Martín, David, Valencia-Cabrera, Luis, Pérez-Jiménez, Mario J.
Published in Information and computation (01.12.2020)
Published in Information and computation (01.12.2020)
Get full text
Journal Article
Loading…
Mutual visibility by luminous robots without collisions
Di Luna, G.A., Flocchini, P., Gan Chaudhuri, S., Poloni, F., Santoro, N., Viglietta, G.
Published in Information and computation (01.06.2017)
Published in Information and computation (01.06.2017)
Get full text
Journal Article
Loading…
Survey on mining signal temporal logic specifications
Bartocci, Ezio, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
Loading…
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
Robert, Léo, Miyahara, Daiki, Lafourcade, Pascal, Libralesso, Luc, Mizuki, Takaaki
Published in Information and computation (01.05.2022)
Published in Information and computation (01.05.2022)
Get full text
Journal Article
Loading…
Polymorphic lambda calculus with context-free session types
Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter, Vasconcelos, Vasco T.
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Session types revisited
Dardha, Ornela, Giachino, Elena, Sangiorgi, Davide
Published in Information and computation (01.10.2017)
Published in Information and computation (01.10.2017)
Get full text
Journal Article
Loading…
Loading…
Roadmap of post-quantum cryptography standardization: Side-channel attacks and countermeasures
Shaller, Ari, Zamir, Linir, Nojoumian, Mehrdad
Published in Information and computation (01.12.2023)
Published in Information and computation (01.12.2023)
Get full text
Journal Article
Loading…
A simplicial complex model for dynamic epistemic logic to study distributed task computability
Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio
Published in Information and computation (01.06.2021)
Published in Information and computation (01.06.2021)
Get full text
Journal Article
Loading…
Loading…
Comparison of algorithms for simple stochastic games
Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
Loading…
The complexity of multi-mean-payoff and multi-energy games
Velner, Yaron, Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A., Rabinovich, Alexander, Raskin, Jean-François
Published in Information and computation (01.04.2015)
Published in Information and computation (01.04.2015)
Get full text
Journal Article
Loading…
The bang calculus revisited
Bucciarelli, Antonio, Kesner, Delia, Ríos, Alejandro, Viso, Andrés
Published in Information and computation (01.08.2023)
Published in Information and computation (01.08.2023)
Get full text
Journal Article
Loading…