| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 3,61 | 21,68 | On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
|
| 14,45 | 72,24 | VHDL Design Verification Tools
|
| 0,00 | 0,00 | From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
|
| 24,08 | 72,24 | GeNeSim: Genetic Network Simulator GUI
|
| 0,00 | 0,00 | VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
|
| 7,22 | 14,45 | VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
|
| 0,00 | 0,00 | Formal Verification of the CRC Algorithm Properties
|
| 0,00 | 0,00 | Formal Verification of the CRC Algorithm Properties
|
| 4,82 | 14,45 | Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
|
| 0,00 | 0,00 | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
| 24,08 | 72,24 | BIOMS: Biological Models Specification Tool
|
| 10,32 | 72,24 | BioDiVinE
|
| 0,00 | 0,00 | BioDiVinE: A Framework for Parallel Analysis of Biological Models
|
| 2,41 | 14,45 | Computational Analysis of Large-Scale Multi-Affine ODE Models
|
| 0,00 | 0,00 | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
| 2,89 | 14,45 | Verifying VHDL Designs with Multiple Clocks in SMV
|
| 0,00 | 0,00 | Architectural Interoperability Checking in Visual Coordination Networks
|
Back
(c) Michal Bulant, 2011