Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAThe paper "Probabilistic Model Checking of Complex Biological Pathways" by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn, was recently awarded the Top Cited Article award in the journal Theoretical Computer Science, for the period 2005-2010.
Posted: 2nd September 2010
Top cited paper in Theoretical Computer Science journal
The paper "Probabilistic Model Checking of Complex Biological Pathways" by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn, was recently awarded the Top Cited Article award in the journal Theoretical Computer Science, for the period 2005-2010.
The paper is available here: http://www.prismmodelchecker.org/bibitem.php?key=HKN+08
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Researchers win CAV 2025 Paper Award for work on model checking | 0 | 11.72 | 04-08-2025 |
| 2 | Top cited papers in Artificial Intelligence and International Journal of Approximate Reasoning | 0 | 7.14 | 15-11-2011 |
| 3 | Best Paper Award received at CONCUR 2011 | 0 | 11.71 | 09-09-2011 |
| 4 | Best paper win at International Colloquium on Automata, Languages and Programming | 0 | 10 | 10-05-2017 |
| 5 | Best paper at CONCUR 2015 | 0 | 13.96 | 03-09-2015 |
| 6 | Top cited papers in Journal of Web Semantics and Artificial Intelligence | 0 | 5.75 | 29-03-2013 |
| 7 | Best Paper Award at ICALP'14 | 0 | 9.88 | 21-05-2014 |
| 8 | Oxford Led Team win Best Paper Prize at 19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2023) | 0 | 10 | 18-07-2023 |
| 9 | Computer Science student awarded EPSRC Doctoral Prize | 0 | 7.66 | 12-06-2012 |
| 10 | From Computers to Ubiquitous Computing | 0 | 13.96 | 15-10-2008 |