io-port.net

io-port 50157835 Safránek, David; Cervený, Jan; Klement, Matej; Pospísilová, Jana; Brim, Lubos; Lazar, Dusan; Nedbal, Ladislav

E-photosynthesis: web-based platform for modeling of complex photosynthetic processes (English)

Biosystems 103, No. 2, 115-124 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70000278 Brim, Lubos; Fabriková, Jana; Drazan, Sven; Safránek, David

Reachability in biochemical dynamical systems by quantitative discrete approximation (extended abstract) (English)

CompMod, 97-112 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50337348 Barnat, Jiri; Brim, Lubos; Safránek, David

High-performance analysis of biological systems dynamics with the divine model checker (English)

Briefings in Bioinformatics 11, No. 3, 301-312 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05752424 Barnat, Jiri; Brim, Lubos; Cerná, Ivana; Drazan, Sven; Fabriková, Jana; Láník, Jan; Safránek, David; Ma, Hongwu

Biodivine: A framework for parallel analysis of biological models. (English)

Comput. Res. Repos. 2009, Article No. 0910.0928 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05591382 Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Fabriková, J.; Šafránek, D.

On algorithmic analysis of transcriptional regulation by LTL model checking. (English)

Theor. Comput. Sci. 410, No. 33-34, 3128-3148 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05418183 Barnat, Jiri; Brim, Lubos; Cerná, Ivana; Drazan, S.; Safránek, David

Parallel model checking large-scale genetic regulatory networks with divine. (English)

Electron. Notes Theor. Comput. Sci. 194, No. 3, 35-50 (2008).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417709 Safránek, David

Architectural interoperability checking in visual coordination networks. (English)

Electron. Notes Theor. Comput. Sci. 181, 81-96 (2007).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417696 Safránek, David

Visual specification of systems with heterogeneous coordination models. (English)

Electron. Notes Theor. Comput. Sci. 180, No. 2, 107-121 (2007).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70316462 Smrcka, Ales; Rehák, Vojtech; Vojnar, Tomás; Safránek, David; Matousek, Petr; Rehák, Z.

Verifying VHDL designs with multiple clocks in SMV (English)

FMICS/PDMC, 148-164 (2006).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02236069 Šafránek, David; Šimša, Jiřı

VCD: A visual formalism for specification of heterogeneous software architectures. (English)

Vojtáš, Peter (ed.) et al., SOFSEM 2005: Theory and practice of computer science. 31st conference on current trends in theory and practice of computer science, Liptovský Ján, Slovakia, January 22‒28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24302-X/pbk). Lecture Notes in Computer Science 3381, 320-329 (2005).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70880016 Safránek, David; Simsa, Jirí

VCD: A visual formalism for specification of heterogeneous software architectures (English)

SOFSEM, 320-329 (2005).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05416757 Safránek, David

SGCCS: A graphical language for real-time coordination. (English)

Electron. Notes Theor. Comput. Sci. 68, No. 3 (2003).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70201480 Safránek, David

Visual specification of concurrent systems (English)

ASE, 369-372 (2003).

13

PDF XML AMS-TeX TEXT BIBTeX URL