External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 23, Issue 2

    169 -- 190Jan A. Bergstra, Cornelis A. Middelburg. Timed Tuplix Calculus and the Wesseling and van den Bergh Equation
    191 -- 228Ioana Boureanu, Serge Vaudenay. UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence
    229 -- 249Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski. Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended)
    251 -- 284Viorica Sofronie-Stokkermans. Locality and Applications to Subsumption Testing in EL and Some of its Extensions

    Volume 23, Issue 1

    1 -- 38Adrien Basso-Blandin, Franck Delaplace. GUBS, a Behaviour-Based Language for Design in Synthetic Biology
    39 -- 73Erik P. de Vink, Hans Zantema, Dragan Bosnacki. RNA-Editing with Combined Insertion and Deletion Preserves Regularity
    75 -- 117Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. Modular Verification of Qualitative Pathway Models with Fairness
    119 -- 167Anna Philippou, Mauricio Toro, Margarita Antonaki. Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
    runs on