受强制性开放获取政策约束的文章 - David Purser了解详情
可在其他位置公开访问的文章：17 篇
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022
强制性开放获取政策： German Research Foundation, UK Engineering and Physical Sciences Research …
On the Skolem Problem and the Skolem Conjecture
RJ Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
强制性开放获取政策： German Research Foundation
Asymmetric distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
Schloss Dagstuhl–Leibniz-Zentrum für Informatik 140, 1-17, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Royal Society UK
Twitter usage across industry: A spatiotemporal analysis
N Gupta, H Crosby, D Purser, S Javis, W Guo
2018 IEEE Fourth International Conference on Big Data Computing Service and …, 2018
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
强制性开放获取政策： German Research Foundation, UK Engineering and Physical Sciences Research …
Bisimilarity distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
International Symposium on Automated Technology for Verification and …, 2018
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Royal Society UK
The Big-O Problem for Labelled Markov Chains and Weighted Automata
D Chistikov, S Kiefer, AS Murawski, D Purser
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Royal Society UK
Structural liveness of Petri nets is ExpSpace-hard and decidable
P Jančar, D Purser
Acta Informatica 56, 537-552, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
The big-O problem
D Chistikov, S Kiefer, AS Murawski, D Purser
Logical Methods in Computer Science 18, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Royal Society UK
Determinisation and unambiguisation of polynomially-ambiguous rational weighted automata
I Jecker, F Mazowiecki, D Purser
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
强制性开放获取政策： European Commission, Agence Nationale de la Recherche, Narodowe Centrum Nauki
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
W Czerwiński, E Lefaucheux, F Mazowiecki, D Purser, M Whiteland
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
强制性开放获取政策： European Commission
Porous invariants for linear systems
E Lefaucheux, J Ouaknine, D Purser, J Worrell
Formal Methods in System Design, 1-37, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
33rd International Conference on Concurrency Theory (CONCUR 2022), 2022
强制性开放获取政策： German Research Foundation
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
L Daviaud, D Purser
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Model Checking Linear Dynamical Systems under Floating-point Rounding
E Lefaucheux, J Ouaknine, D Purser, M Sharifi
International Conference on Tools and Algorithms for the Construction and …, 2023
强制性开放获取政策： German Research Foundation, European Commission
Organising a multidisciplinary postgraduate colloquium
GA Watson, L Steadman, D Purser, R Kirk, M Kenny, MS Bradbury
Exchanges: The Interdisciplinary Research Journal 6 (2), 86-101, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Organising a Multidisciplinary Postgraduate Colloquium: A Critical Reflection
M Bradbury, M Kenny, R Kirk, D Purser, L Steadman, G Watson
Exchanges: The Interdisciplinary Research Journal 6 (2), 86-101, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定