71![Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School](https://www.pdfsearch.io/img/609546118f32cd2964e7e16ce79ffff3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-12-19 10:53:34
|
---|
72![w 9 d s : i te ur cred ho Ac w 9 d s : i te ur cred ho Ac](https://www.pdfsearch.io/img/5d8053529353da46f09ebd6732d54b4b.jpg) | Add to Reading ListSource URL: mfia.org.mtLanguage: English - Date: 2015-02-25 15:16:11
|
---|
73![Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California](https://www.pdfsearch.io/img/6d701ab709d198909890cabb4fe37f69.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2015-02-12 10:29:36
|
---|
74![](https://www.pdfsearch.io/img/9c493a409cb1baf7b55fe3806d73b01c.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2016-11-17 12:53:02
|
---|
75![Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract](https://www.pdfsearch.io/img/dc49513a066d549ada553cbddd9755c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-05-12 04:35:43
|
---|
76![Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic.](https://www.pdfsearch.io/img/93c248430638db372127e953cc438293.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:48:09
|
---|
77![Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson](https://www.pdfsearch.io/img/9dd8d62003a423c4264d3ee0fa945a78.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2018-10-16 07:48:38
|
---|
78![Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12 Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12](https://www.pdfsearch.io/img/e6030b2f1c75cbeadeb321dda73db4ef.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2017-08-13 07:49:11
|
---|
79![Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner](https://www.pdfsearch.io/img/9025b8ee8a87ca8d4fbd54b2f1ea1fb4.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
80![Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona](https://www.pdfsearch.io/img/c8bade022e37071a19d148d945619a93.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:31
|
---|