default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScientific Annals of Computer Science, Volume 26
Volume 26, Number 1, 2016
- Jan A. Bergstra, Cornelis A. Middelburg
:
On Instruction Sets for Boolean Registers in Program Algebra. 1-26 - Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano:
Formal Analysis of Android's Permission-Based Security Model, . 27-68 - Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David:
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. 69-122 - Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten:
Errata to "Formations of Monoids, Congruences, and Formal Languages". 123-124
Volume 26, Number 2, 2016
- Jan A. Bergstra, Cornelis A. Middelburg:
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences. 125-156 - Allyx Fontaine, Akka Zemmari:
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model. 157-186 - Diego Marmsoler, Mario Gleirscher:
On Activation, Connection, and Behavior in Dynamic Architectures. 187-248 - Sasan Saqaeeyan, Esmaiel Mollaahamdi:
Dynamic Chromatic Number of Bipartite Graphs. 249-261
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 2026-04-17 23:11 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:
