Logic in Computer Science

Authors and titles for July 2016

[1] arXiv:1607.00141 [pdf, other]

Title: A Fully Abstract Semantics for Value-passing CCS for Trees

Shichao Liu, Thomas Ehrhard, Ying Jiang

Comments: arXiv admin note: substantial text overlap with arXiv:1512.00550

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1607.00431 [pdf, other]

Title: Uniqueness of Normal Forms for Shallow Term Rewrite Systems

Nicholas Radcliffe, Luis Moraes, Rakesh Verma

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[3] arXiv:1607.00633 [pdf, other]

Title: Priority, Cut, If-Then-Else and Exception Handling in Logic Programming

Keehang Kwon

Comments: 3 pages. a unified solution to priority, default reasoning, mutual exclusion, If-then-else, cut, exception handling is discussed. We modify the previous version to use prioritized version instead of original sequential disjunctive operators

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1607.00678 [pdf, other]

Title: Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

Tomáš Brázdil, Antonín Kučera, Petr Novotný

Comments: Full version of a paper published in proceedings of ATVA'16

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1607.01146 [pdf, other]

Title: On a new convergence class in k-bounded sober spaces

Hadrian Andradi, Weng Kin Ho

Comments: 10 pages, Domains XII Workshop

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1607.01164 [pdf, other]

Title: Domains via approximation operators

Zhiwei Zou, Qingguo Li, Weng Kin Ho

Comments: 17 pages; 1figure, Domains XII Workshop

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 2 (April 27, 2018) lmcs:1525

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1607.01474 [pdf, other]

Title: Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[8] arXiv:1607.01539 [pdf, other]

Title: Translating Scala Programs to Isabelle/HOL

Lars Hupel, Viktor Kuncak

Comments: International Joint Conference on Automated Reasoning, 2016

Journal-ref: IJCAR 2016: Automated Reasoning Volume 9706 of the series Lecture Notes in Computer Science pp 568-577, Springer

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1607.01686 [pdf, other]

Title: Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability

Armando B. Matos

Comments: Original research work. 46 pages. 12 figures

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1607.01886 [pdf, other]

Title: Join-continuity + Hypercontinuity = Prime continuity

Weng Kin Ho, Achim Jung, Dongsheng Zhao

Comments: 7 pages, Domains XII Workshop

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1607.01993 [pdf, other]

Title: Biabduction (and Related Problems) in Array Separation Logic

James Brotherston, Nikos Gorogiannis, Max Kanovich

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL); Logic (math.LO)

[12] arXiv:1607.02001 [pdf, other]

Title: Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Michele Loreti (University of Florence, Italy)

Journal-ref: EPTCS 217, 2016

Subjects: Logic in Computer Science (cs.LO); Performance (cs.PF); Software Engineering (cs.SE)

[13] arXiv:1607.02189 [pdf, other]

Title: Models of the Chisholm set

Bjørn Kjos-Hanssen

Comments: Paper for Filosofi hovedfag spesialområde 1 exam, University of Oslo, Fall 1996. First cited in Carmo and Jones, Deontic logic and contrary-to-duties, Handbook of Philosophical Logic, 2002, footnote 28

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[14] arXiv:1607.02232 [pdf, other]

Title: A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems

Alessandro Aldini (University of Urbino, Italy)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 19-30

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[15] arXiv:1607.02233 [pdf, other]

Title: On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract

Diego Latella (CNR-ISTI)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 53-61

Subjects: Logic in Computer Science (cs.LO); Performance (cs.PF); Software Engineering (cs.SE)

[16] arXiv:1607.02234 [pdf, other]

Title: Stochastic and Spatial Equivalences for PALOMA

Paul Piho (School of Informatics, University of Edinburgh), Jane Hillston (School of Informatics, University of Edinburgh)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 69-80

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1607.02235 [pdf, other]

Title: From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

Gina Belmonte (Azienda Ospedaliera Universitaria Senese), Vincenzo Ciancia (Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche), Diego Latella (Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche), Mieke Massink (Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 81-92

Subjects: Logic in Computer Science (cs.LO); Computer Vision and Pattern Recognition (cs.CV)

[18] arXiv:1607.02466 [pdf, other]

Title: Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$

Milan Banković (University of Belgrade)

Comments: 28 pages, 2 figures

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2016

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[19] arXiv:1607.02694 [pdf, other]

Title: Proceedings of the 4th International Workshop on Strategic Reasoning

Alessio Lomuscio (Imperial College London), Moshe Y. Vardi (Rice University)

Journal-ref: EPTCS 218, 2016

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1607.02790 [pdf, other]

Title: Hyper Normalisation and Conditioning for Discrete Probability Distributions

Bart Jacobs

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (August 29, 2017) lmcs:2009

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1607.02970 [pdf, other]

Title: The sequential functionals of type $(ι\rightarrow ι)^n \rightarrow ι$ form a dcpo for all $n \in \Bbb N$

Dag Normann

Comments: 10 pages

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (March 20, 2018) lmcs:1542

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[22] arXiv:1607.02988 [pdf, other]

Title: The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)

Luigi Santocanale (LIF)

Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Category Theory (math.CT); Logic (math.LO)

[23] arXiv:1607.03286 [pdf, other]

Title: The Ho-Zhao Problem

Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi

Comments: 19 pages, 4 figures

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (January 17, 2018) lmcs:1529

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1607.03355 [pdf, other]

Title: Representing Strategies

Hein Duijf (Utrecht University), Jan Broersen (Utrecht University)

Comments: In Proceedings SR 2016, arXiv:1607.02694

Journal-ref: EPTCS 218, 2016, pp. 15-26

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1607.03618 [pdf, other]

Title: The Lax-Milgram Theorem. A detailed proof to be formalized in Coq

François Clément (SERENA), Vincent Martin (LMAC)

Subjects: Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)

[26] arXiv:1607.03747 [pdf, other]

Title: Strategies with Parallel Causes

Marc de Visme, Glynn Winskel

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1607.03760 [pdf, other]

Title: Distributed Games and Strategies

Glynn Winskel

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[28] arXiv:1607.03819 [pdf, other]

Title: On the Chen Conjecture regarding the complexity of QCSPs

Barnaby Martin

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1607.03877 [pdf, other]

Title: Compactification of *-autonomous categories

Sergey Slavnov

Comments: Withdrawn. The author found a stupid diverging loophole in a proof, and the announced result is false anyway

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)

[30] arXiv:1607.04033 [pdf, other]

Title: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis

John P. Gallagher (Roskilde University), Philipp Rümmer (Uppsala University)

Journal-ref: EPTCS 219, 2016

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[31] arXiv:1607.04128 [pdf, other]

Title: Two Counterexamples Concerning the Scott Topology on a Partial Order

Peter Hertling

Subjects: Logic in Computer Science (cs.LO); General Topology (math.GN)

[32] arXiv:1607.04156 [pdf, other]

Title: Canonicity for Cubical Type Theory

Simon Huber

Comments: 34 pages. v2: Added section on propositional truncation; fixed typos. To appear in the Journal of Automated Reasoning

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1607.04162 [pdf, other]

Title: Strong completions of spaces

Hadrian Andradi, Weng Kin Ho

Comments: 11 pages

Subjects: Logic in Computer Science (cs.LO); General Topology (math.GN)

[34] arXiv:1607.04332 [pdf, other]

Title: Convexity and Order in Probabilistic Call-by-Name FPC

Mathys Rennela

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (November 12, 2020) lmcs:1533

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[35] arXiv:1607.04456 [pdf, other]

Title: Efficient CTL Verification via Horn Constraints Solving

Tewodros A. Beyene (fortiss GmbH, Munich, Germany), Corneliu Popeea (CQSE GmbH, Munich, Germany), Andrey Rybalchenko (Microsoft Research, Cambridge, UK)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 1-14

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1607.04457 [pdf, other]

Title: Hierarchical State Machines as Modular Horn Clauses

Pierre-Loïc Garoche (DTIM, UFT, Onera - The French Aerospace Lab), Temesghen Kahsai (Nasa Ames / CMU), Xavier Thirioux (IRIT/ENSEEIHT, UFT, CNRS)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 15-28

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[37] arXiv:1607.04458 [pdf, other]

Title: Challenges in Decomposing Encodings of Verification Problems

Peter Schrammel (University of Oxford)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 29-32

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[38] arXiv:1607.04460 [pdf, other]

Title: Removing Unnecessary Variables from Horn Clause Verification Conditions

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 49-55

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[39] arXiv:1607.04500 [pdf, other]

Title: Number representations and term rewriting

Boas Kluiving, Wijnand van Woerkom

Comments: 17 pages, 7 tables. For the automatic proofs, see this https URL

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)

[40] arXiv:1607.04611 [pdf, other]

Title: The recursion hierarchy for PCF is strict

John Longley

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3 (August 21, 2018) lmcs:1543

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1607.04690 [pdf, other]

Title: Probabilistic call by push value

Thomas Ehrhard, Christine Tasson

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (January 9, 2019) lmcs:1537

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:1607.04721 [pdf, other]

Title: Core spaces, sector spaces and fan spaces: a topological approach to domain theory

Marcel Erné

Comments: 30 pages, 1 figure, 10 diagrams, conference on domain theory

Subjects: Logic in Computer Science (cs.LO); General Topology (math.GN)

[43] arXiv:1607.04908 [pdf, other]

Title: On the likelihood of normalisation in combinatory logic

Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1607.05120 [pdf, other]

Title: Gödel Logic: from Natural Deduction to Parallel Computation

Federico Aschieri, Agata Ciabattoni, Francesco A. Genco

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1607.05671 [pdf, other]

Title: Stochastic Timed Games Revisited

S Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:1607.05956 [pdf, other]

Title: Occam's Razor Applied to the Petri Net Coverability Problem

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1607.07286 [pdf, other]

Title: Session Types for Link Failures (Technical Report)

Manuel Adameit, Kirstin Peters, Uwe Nestmann

Comments: This paper is an extended version of Adameit et al. 2017

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1607.07698 [pdf, other]

Title: Domains and Random Variables

Michael W. Mislove

Comments: This revision corrects the original, faulty proof of Corollary 3.5

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[49] arXiv:1607.07828 [pdf, other]

Title: Regular Behaviours with Names

Stefan Milius, Lutz Schröder, Thorsten Wißmann

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1607.08363 [pdf, other]

Title: Automata for Specifying and Orchestrating Service Contracts

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari (Università di Pisa, Italy)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2614

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[51] arXiv:1607.08484 [pdf, other]

Title: Compositional Reasoning for Interval Markov Decision Processes

Vahid Hashemi, Holger Hermanns, Andrea Turrini

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:1607.00372 (cross-list from cs.PF) [pdf, other]

Title: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration

Ľuboš Korenčiak, Antonín Kučera, Vojtěch Řehák

Comments: This article is a full version of a paper published at Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS) 2016 conference

Subjects: Performance (cs.PF); Logic in Computer Science (cs.LO)

[53] arXiv:1607.00443 (cross-list from cs.CC) [pdf, other]

Title: Algebraic Proof Complexity: Progress, Frontiers and Challenges

Tonnian Pitassi, Iddo Tzameret

Comments: Complexity Column of the ACM SIGLOG News, ACM New York, NY, USA, July 2016

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[54] arXiv:1607.00813 (cross-list from cs.DB) [pdf, other]

Title: Query Answering with Transitive and Linear-Ordered Data

Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Comments: 36 pages. To appear in IJCAI 2016. Extended version with proofs

Journal-ref: A journal version of this conference article was published in JAIR (Volume 63, 2018): https://www.jair.org/index.php/jair/article/view/11240

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

[55] arXiv:1607.02227 (cross-list from cs.SE) [pdf, other]

Title: Generating Counterexamples for Model Checking by Transformation

G. W. Hamilton (School of Computing, Dublin City University, Republic of Ireland)

Comments: In Proceedings VPT 2016, arXiv:1607.01835. arXiv admin note: substantial text overlap with arXiv:1512.03860

Journal-ref: EPTCS 216, 2016, pp. 65-82

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[56] arXiv:1607.02230 (cross-list from cs.PL) [pdf, other]

Title: Turchin's Relation for Call-by-Name Computations: A Formal Approach

Antonina Nepeivoda

Comments: In Proceedings VPT 2016, arXiv:1607.01835

Journal-ref: EPTCS 216, 2016, pp. 137-159

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[57] arXiv:1607.02549 (cross-list from cs.SY) [pdf, other]

Title: Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[58] arXiv:1607.02966 (cross-list from cs.SY) [pdf, other]

Title: Challenges in Quantitative Abstractions for Collective Adaptive Systems

Mirco Tribastone (IMT School for Advanced Studies Lucca, Italy)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 62-68

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Performance (cs.PF)

[59] arXiv:1607.03354 (cross-list from cs.GT) [pdf, other]

Title: Extended Graded Modalities in Strategy Logic

Benjamin Aminof (Technische Universitat Wien, Austria), Vadim Malvone (Università degli Studi di Napoli Federico II, Italy), Aniello Murano (Università degli Studi di Napoli Federico II, Italy), Sasha Rubin (Università degli Studi di Napoli Federico II, Italy)

Comments: In Proceedings SR 2016, arXiv:1607.02694

Journal-ref: EPTCS 218, 2016, pp. 1-14

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[60] arXiv:1607.03356 (cross-list from cs.GT) [pdf, other]

Title: Extending Finite Memory Determinacy to Multiplayer Games

Stéphane Le Roux (Université Libre de Bruxelles), Arno Pauly (Université Libre de Bruxelles)

Comments: In Proceedings SR 2016, arXiv:1607.02694

Journal-ref: EPTCS 218, 2016, pp. 27-40

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[61] arXiv:1607.03455 (cross-list from cs.PL) [pdf, other]

Title: Coupling proofs are probabilistic product programs

Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[62] arXiv:1607.04090 (cross-list from math.LO) [pdf, other]

Title: Kripke Semantics for Fuzzy Logics

Parvin Safari, Saeed Salehi

Comments: Soft Computing (2016)

Journal-ref: Soft Computing 22:3 (2018) 839--844

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[63] arXiv:1607.04287 (cross-list from cs.CC) [pdf, other]

Title: Linear Diophantine Equations, Group CSPs, and Graph Isomorphism

Christoph Berkholz, Martin Grohe

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[64] arXiv:1607.04459 (cross-list from cs.PL) [pdf, other]

Title: Solving non-linear Horn clauses using a linear Horn clause solver

Bishoksan Kafle (Roskilde University), John P. Gallagher (Roskilde University and IMDEA Software Institute), Pierre Ganty (IMDEA Software Institute, Spain)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 33-48

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[65] arXiv:1607.04787 (cross-list from cs.DS) [pdf, other]

Title: Robust algorithms with polynomial loss for near-unanimity CSPs

Víctor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Opršal

Comments: A preliminary version of this paper appeared in SODA 2017. Journal referees' comments are incorporated

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[66] arXiv:1607.04822 (cross-list from cs.PL) [pdf, other]

Title: HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Subjects: Programming Languages (cs.PL); Databases (cs.DB); Logic in Computer Science (cs.LO)

[67] arXiv:1607.04910 (cross-list from cs.FL) [pdf, other]

Title: FO-definable transformations of infinite strings

Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[68] arXiv:1607.05850 (cross-list from cs.DS) [pdf, other]

Title: Conditionally Optimal Algorithms for Generalized Büchi Games

Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Veronika Loitzenbauer

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[69] arXiv:1607.06023 (cross-list from cs.NI) [pdf, other]

Title: Modeling wireless network routing using sheaves

Michael Robinson

Comments: arXiv admin note: text overlap with arXiv:1311.1532, arXiv:1607.06022

Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)

[70] arXiv:1607.06945 (cross-list from cs.SC) [pdf, other]

Title: Satisfiability Checking and Symbolic Computation

E. Abraham, J. Abbott, B. Becker, A.M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W.M. Seiler, T. Sturm

Comments: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at this http URL

Journal-ref: ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[71] arXiv:1607.07183 (cross-list from cs.NI) [pdf, other]

Title: On the Hourglass Model

Micah Beck

Journal-ref: Commun ACM 62 7 (2019) 48-57

Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)

[72] arXiv:1607.07291 (cross-list from math.GN) [pdf, other]

Title: Noetherian Quasi-Polish Spaces

Matthew de Brecht, Arno Pauly

Subjects: General Topology (math.GN); Logic in Computer Science (cs.LO)

[73] arXiv:1607.07720 (cross-list from cs.CR) [pdf, other]

Title: Discovering, quantifying, and displaying attacks

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson (Technical University of Denmark, Lyngby)

Comments: LMCS SPECIAL ISSUE FORTE 2014

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2178

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[74] arXiv:1607.08028 (cross-list from cs.SC) [pdf, other]

Title: Satisfiability Checking meets Symbolic Computation (Project Paper)

E. Abraham, J. Abbott, B. Becker, A.M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W.M. Seiler, T. Sturm

Journal-ref: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[75] arXiv:1607.08067 (cross-list from cs.CC) [pdf, other]

Title: The Descriptive Complexity of Subgraph Isomorphism without Numerics

Oleg Verbitsky, Maksim Zhukovskii

Comments: 20 pages, 2 figures, 1 table. Sections 6 and 7.1 are new. The result of Section 6 in the preceding version is removed and will appear in an accompanying paper

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[76] arXiv:1607.08480 (cross-list from cs.GT) [pdf, other]

Title: Mean-Payoff Games on Timed Automata

Shibashis Guha, Marcin Jurdzinski, Krishna S., Ashutosh Trivedi

Comments: 29 pages, unpublished manuscript, submitted to FSTTCS

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)