default search action
Fundamenta Informaticae, Volume 160
Volume 160, Numbers 1-2, 2018
- Anna Gambin, Monika Heiner:
Preface. v-vii
- Mathieu Pagé Fortin, Simon V. Hardy:
A Hybrid Petri Net Model of the Akt-Wnt-mTOR-p70S6K Signalling Network in Neurons. 1-25 - Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni:
Petri Nets for Modelling and Analysing Trophic Networks. 27-52 - Mostafa Herajy, Monika Heiner:
Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation. 53-80 - Jure Bordon, Miha Moskon, Nikolaj Zimic, Miha Mraz:
Semi-quantitative Modelling of Gene Regulatory Processes with Unknown Parameter Values Using Fuzzy Logic and Petri Nets. 81-100 - Fei Liu, Siyuan Chen:
Colored Fuzzy Petri Nets for Dealing with Genetic Regulatory Networks. 101-118 - Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher:
Activity Networks with Delays an Application to Toxicity Analysis. 119-142 - Dorota Formanowicz, Agnieszka Rybarczyk, Piotr Formanowicz:
Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets. 143-165 - Rza Bashirov, Nimet Ilke Akçay:
Stochastic Simulation-based Prediction of the Behavior of the p16-mediated Signaling Pathway. 167-179 - Christian Rohr:
Discrete-Time Leap Method For Stochastic Simulation. 181-198 - Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej M. Kierzek:
Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. 199-219 - Mary Ann Blätke, Christian Rohr:
BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models. 221-254
Volume 160, Number 3, 2018
- Pascal Caron, Jean-Gabriel Luque, Bruno Patrou:
State Complexity of Multiple Catenations. 255-279 - Samir Elouasbi, Andrzej Pelc:
Deterministic Meeting of Sniffing Agents in the Plane. 281-301 - Jasminder Kaur Sandhu, Anil Kumar Verma, Prashant Singh Rana:
A Novel Framework for Reliable Network Prediction of Small Scale Wireless Sensor Networks (SSWSNs). 303-341 - Lin Wang, Zhi Hu:
On Graph Algorithms for Degeneracy Test and Recursive Description of Stream Ciphers. 343-359
Volume 160, Number 4, 2018
- Arnaud Carayol, Christof Löding, Olivier Serre:
Pure Strategies in Imperfect Information Stochastic Games. 361-384 - Qingzhao Kong, Weihua Xu:
Operation Properties and Algebraic Application of Covering Rough Sets. 385-408 - Yang Ming, Yumin Wang:
Certificateless Proxy Signature Scheme in the Standard Model. 409-445 - Mehdy Roayaei, Mohammadreza Razzazi:
Minimum Cardinality Point-to-point Connectivity Augmentation Problem. 447-463
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.