Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints by Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

Subjects: “…computer science - logic in computer science…”
Get full text

Checkpoint-based rollback recovery in session programming by Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

Subjects: Get full text

Multi-Structural Games and Beyond by Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta

Subjects: “…computer science - logic in computer science…”
Get full text

Sum and Tensor of Quantitative Effects by Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

Subjects: “…computer science - logic in computer science…”
Get full text

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder by Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Subjects: “…computer science - logic in computer science…”
Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces by Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Subjects: “…computer science - logic in computer science…”
Get full text

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries by Diego Figueira, Rémi Morvan

Subjects: “…computer science - logic in computer science…”
Get full text

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Long Pham, Jan Hoffmann

Subjects: Get full text

Playing Stochastically in Weighted Timed Games to Emulate Memory by Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Subjects: “…computer science - computer science and game theory…”
Get full text

Regular Model Checking Upside-Down: An Invariant-Based Approach by Javier Esparza, Michael Raskin, Christoph Welzel-Mohr

Subjects: Get full text

Proof complexity of positive branching programs by Anupam Das, Avgerinos Delkos

Subjects: Get full text

History-deterministic Timed Automata by Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Subjects: Get full text

Constant-delay enumeration for SLP-compressed documents by Martín Muñoz, Cristian Riveros

Subjects: Get full text

From Tutte to Floater and Gotsman: On the Resolution of Planar Straight-line Drawings and Morphs by Giuseppe Di Battista, Fabrizio Frati

Subjects: “…computer science - computational geometry…”
Get full text

Permutation Entropy for Signal Analysis by Bill Kay, Audun Myers, Thad Boydston, Emily Ellwein, Cameron Mackenzie, Iliana Alvarez, Erik Lentz

Subjects: “…computer science - information theory…”
Get full text

Annotating the microbial dark matter with HiFi-NN by Gavin Ayres, Geraldene Munsamy, Michael Heinzinger, Noelia Ferruz, Kevin Yang, Bastiaan Bergman, Philipp Lorenz

Subjects: Get full text

On the use of deep learning for computer-generated holography by Xuan Yu, Haomiao Zhang, Zhe Zhao, Xuhao Fan, Shaodong Hu, Zongjing Li, Wenbin Chen, Daqian Li, Shaoxi Shi, Wei Xiong, Hui Gao

Subjects: “…Computer science…”
Get full text

Imaginaire informatique et science-fiction, du cyberpunk à nos jours by Cédric Chauvin, Eric Villagordo

Subjects: Get full text