default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICTAC 2017: Hanoi, Vietnam
- Dang Van Hung, Deepak Kapur:
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science 10580, Springer 2017, ISBN 978-3-319-67728-6
Logics
- Adrián Riesco
, Kazuhiro Ogata:
A Formal Proof Generator from Semi-formal Proof Documents. 3-12 - Rolf Hennicker, Alexandre Madeira:
Institutions for Behavioural Dynamic Logic with Binders. 13-31 - Tarmo Uustalu, Niccolò Veltri:
The Delay Monad and Restriction Categories. 32-50 - Divyanshu Bagga, S. Arun-Kumar:
Logical Characterisation of Parameterised Bisimulations. 51-69 - Alessandra Di Pierro:
A Probabilistic Semantics for the Pure \lambda -Calculus. 70-76
Software Components and Concurrency
- Diego Marmsoler:
Towards a Calculus for Dynamic Architectures. 79-99 - Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler:
Class-Diagrams for Abstract Data Types. 100-117 - Jürgen König, Heike Wehrheim:
Value-Based or Conflict-Based? Opacity Definitions for STMs. 118-135 - Hiroshi Umeo, Keisuke Kubo, Akira Nomura:
Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments. 136-152
Automata
- Akim Demaille, Thibaud Michaud:
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. 155-173 - Abhisek Midya, D. Gnanaraj Thomas, Saleem Malik, Alok Kumar Pani:
Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors. 174-191 - Arpit Sharma:
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes. 192-209
SMT Solvers and Algorithms
- Bertram Felgenhauer, Aart Middeldorp:
Constructing Cycles in the Simplex Method for DPLL(T). 213-228 - Agathoklis Kritsimallis:
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. 229-247 - Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. 248-265
Security
- Quoc Huy Do, Richard Bubel, Reiner Hähnle:
Inferring Secrets by Guided Experiments. 269-287 - Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li:
ECBC: A High Performance Educational Certificate Blockchain with Efficient Query. 288-304
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.
last updated on 2024-09-19 23:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
