Journal: Fundamenta Informaticae

Volume 160, Issue 4

361 -- 384Arnaud Carayol, Christof Löding, Olivier Serre. Pure Strategies in Imperfect Information Stochastic Games
385 -- 408Qingzhao Kong, Weihua Xu. Operation Properties and Algebraic Application of Covering Rough Sets
409 -- 445Yang Ming, YuMin Wang. Certificateless Proxy Signature Scheme in the Standard Model
447 -- 463Mehdy Roayaei, Mohammadreza Razzazi. Minimum Cardinality Point-to-point Connectivity Augmentation Problem

Volume 160, Issue 3

255 -- 279Pascal Caron, Jean-Gabriel Luque, Bruno Patrou. State Complexity of Multiple Catenations
281 -- 301Samir Elouasbi, Andrzej Pelc. Deterministic Meeting of Sniffing Agents in the Plane
303 -- 341Jasminder Kaur Sandhu, Anil Kumar Verma, Prashant Singh Rana. A Novel Framework for Reliable Network Prediction of Small Scale Wireless Sensor Networks (SSWSNs)
343 -- 359Lin Wang, Zhi Hu. On Graph Algorithms for Degeneracy Test and Recursive Description of Stream Ciphers

Volume 160, Issue 1-2

0 -- 0Anna Gambin, Monika Heiner. Preface
1 -- 25Mathieu Pagé Fortin, Simon V. Hardy. A Hybrid Petri Net Model of the Akt-Wnt-mTOR-p70S6K Signalling Network in Neurons
27 -- 52Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni. Petri Nets for Modelling and Analysing Trophic Networks
53 -- 80Mostafa Herajy, Monika Heiner. Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation
81 -- 100Jure Bordon, Miha Moskon, Nikolaj Zimic, Miha Mraz. Semi-quantitative Modelling of Gene Regulatory Processes with Unknown Parameter Values Using Fuzzy Logic and Petri Nets
101 -- 118Fei Liu, Siyuan Chen. Colored Fuzzy Petri Nets for Dealing with Genetic Regulatory Networks
119 -- 142Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher. Activity Networks with Delays an Application to Toxicity Analysis
143 -- 165Dorota Formanowicz, Agnieszka Rybarczyk, Piotr Formanowicz. Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets
167 -- 179Rza Bashirov, Nimet Ilke Akçay. Stochastic Simulation-based Prediction of the Behavior of the p16-mediated Signaling Pathway
181 -- 198Christian Rohr. Discrete-Time Leap Method For Stochastic Simulation
199 -- 219Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej M. Kierzek. Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism
221 -- 254Mary Ann Blätke, Christian Rohr. BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models