GUBS, a Behaviour-Based Language for Design in Synthetic Biology

JOURNAL ARTICLE published 2013 in Scientific Annals of Computer Science

Authors: Adrien Basso-Blandin | Franck Delaplace

Semidegenerate Congruence-modular Algebras Admitting a Reticulation

JOURNAL ARTICLE published 29 May 2023 in Scientific Annals of Computer Science

Authors: George Georgescu | Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania

Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values

JOURNAL ARTICLE published 20 December 2023 in Scientific Annals of Computer Science

Authors: Cornelis A. Middelburg | Informatics Institute, Faculty of Science, University of Amsterdam, Science Park 900, 1098 XH Amsterdam, the Netherlands

Four Notions of Fault for Program Specifications

JOURNAL ARTICLE published 7 December 2022 in Scientific Annals of Computer Science

Authors: Jan Bergstra | Informatics Institute, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands

JOURNAL ISSUE published 10 September 2019 in Scientific Annals of Computer Science

Program Algebra for Random Access Machine Programs

JOURNAL ARTICLE published 7 December 2022 in Scientific Annals of Computer Science

Authors: Cornelis Middelburg | Informatics Institute, Faculty of Science, University of Amsterdam, Science Park 900, 1098 XH Amsterdam, the Netherlands

Adams Conditioning and Likelihood Ratio Transfer Mediated Inference

JOURNAL ARTICLE published 10 September 2019 in Scientific Annals of Computer Science

Authors: Jan Bergstra | Informatics Institute, University of Amsterdam

Generalising KAT to Verify Weighted Computations

JOURNAL ARTICLE published 30 December 2019 in Scientific Annals of Computer Science

Authors: Leandro Gomes | HASLab INESC TEC, Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal | Alexandre Madeira | Luis Soares Barbosa | CIDMA, Universidade de Aveiro, Campus Universitario de Santiago, 3810-193 Aveiro, Portugal | Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal & Quantum Software Engineering Group, INL

A Precise Characterisation of Step Traces and Their Concurrent Histories

JOURNAL ARTICLE published 25 September 2018 in Scientific Annals of Computer Science

Authors: Ryszard Janicki | Department of Computing and Software, McMaster University, Hamilton, ON, L8S 4K1, Canada | Jetty Kleijn | Lukasz Mikulski | LIACS, Leiden University, P.O.Box 9512, NL-2300 RA Leiden, The Netherlands | Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toru´n, Chopina 12/18, Poland

Simultaneous Petri Net Synthesis

JOURNAL ARTICLE published 25 September 2018 in Scientific Annals of Computer Science

Authors: Eike Best | Department of Computing Science, Carl von Ossietzky Universität Oldenburg, Germany | Raymond Devillers | Uli Schlachter | Harro Wimmel | Departement d’Informatique, Universite Libre de Bruxelles, Belgium | Department of Computing Science, Carl von Ossietzky Universität Oldenburg, Germany | Department of Computing Science, Carl von Ossietzky Universität Oldenburg, Germany

A Complete Axiomatisation for Probabilistic Trace Equivalence

JOURNAL ARTICLE published 31 August 2020 in Scientific Annals of Computer Science

Authors: Ferry Timmers | Department of Mathematics and Computer Science, Eindhoven University of Technology | Jan Friso Groote | Department of Mathematics and Computer Science, Eindhoven University of Technology

Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs

JOURNAL ARTICLE published 2014 in Scientific Annals of Computer Science

Authors: Rodrigo De Castro | Andres Ramirez | Jose Ramirez

Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers

JOURNAL ARTICLE published 2014 in Scientific Annals of Computer Science

Authors: Paul Tarau

Boolean Lifting Properties for Bounded Distributive Lattices

JOURNAL ARTICLE published 2015 in Scientific Annals of Computer Science

Authors: Daniela Cheptea | George Georgescu | Claudia Muresan

JOURNAL ISSUE published 2016 in Scientific Annals of Computer Science

JOURNAL ISSUE published 9 August 2021 in Scientific Annals of Computer Science

On Quantum-MV Algebras - Part I: The Orthomodular Algebras

JOURNAL ARTICLE published 20 December 2021 in Scientific Annals of Computer Science

Authors: Afrodita Iorgulescu | Department of Informatics and Economic Cybernetics, Bucharest University of Economic Studies, Bucharest, Romania

Verification and Validation of Formal Data-Centric Business Models

JOURNAL ARTICLE published 2015 in Scientific Annals of Computer Science

Authors: Timur Umarov

The Consistency and Complexity of Multiplicative Additive System Virtual

JOURNAL ARTICLE published 2015 in Scientific Annals of Computer Science

Authors: Ross Horne

Formal Analysis of Android's Permission-Based Security Model

JOURNAL ARTICLE published 2016 in Scientific Annals of Computer Science

Authors: Gustavo Betarte | Juan Campo | Carlos Luna | Agustin Romano