default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScientific Annals of Computer Science, Volume 23
Volume 23, Number 1, 2013
- Adrien Basso-Blandin, Franck Delaplace:
GUBS, a Behaviour-Based Language for Design in Synthetic Biology. 1-38 - Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. 39-73 - Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
Modular Verification of Qualitative Pathway Models with Fairness. 75-117 - Anna Philippou, Mauricio Toro
, Margarita Antonaki:
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. 119-167
Volume 23, Number 2, 2013
- Jan A. Bergstra, Cornelis A. Middelburg:
Timed Tuplix Calculus and the Wesseling and van den Bergh Equation. 169-190 - Ioana Boureanu, Serge Vaudenay:
UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence. 191-228 - Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski:
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended). 229-249 - Viorica Sofronie-Stokkermans:
Locality and Applications to Subsumption Testing in EL and Some of its Extensions. 251-284
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 2025-01-06 23:25 CET 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:
