Artikelen met mandaten voor openbare toegang - Maciej KoutnyMeer informatie
Nergens beschikbaar: 10
Step traces
R Janicki, J Kleijn, M Koutny, Ł Mikulski
Acta Informatica 53, 35-65, 2016
Mandaten: Natural Sciences and Engineering Research Council of Canada, UK Engineering …
An efficient characterization of Petri net solvable binary words
D de Frutos Escrig, M Koutny, Ł Mikulski
Application and Theory of Petri Nets and Concurrency: 39th International …, 2018
Mandaten: European Commission
Verifying secure information flow in federated clouds
W Zeng, M Koutny, P Watson
2014 IEEE 6th International Conference on Cloud Computing Technology and …, 2014
Mandaten: National Natural Science Foundation of China, UK Engineering and Physical …
Folded Hasse diagrams of combined traces
Ł Mikulski, M Koutny
Information Processing Letters 114 (4), 208-216, 2014
Mandaten: UK Engineering and Physical Sciences Research Council
Generalising traces
R Janicki, J Kleijn, M Koutny, L Mikulski
School of Computing Science Technical Report Series, 2014
Mandaten: UK Engineering and Physical Sciences Research Council
Asynchrony and persistence in reaction systems
M Koutny, M Pietkiewicz-Koutny, A Yakovlev
Theoretical Computer Science 881, 97-110, 2021
Mandaten: UK Engineering and Physical Sciences Research Council, Polish National …
Tissue systems and petri net synthesis
J Kleijn, M Koutny, M Pietkiewicz-Koutny
Transactions on Petri Nets and Other Models of Concurrency IX, 124-146, 2014
Mandaten: National Natural Science Foundation of China, UK Engineering and Physical …
Interval Temporal Logic Semantics of Box Algebra
H Klaudel, M Koutny, Z Duan
Language and Automata Theory and Applications: 8th International Conference …, 2014
Mandaten: UK Engineering and Physical Sciences Research Council
Performance modelling and evaluation of enterprise information security technologies
W Zeng, M Koutny, A Van Moorsel
2014 IEEE International Conference on Computer and Information Technology …, 2014
Mandaten: National Natural Science Foundation of China, UK Engineering and Physical …
Interval Traces with Mutex Relation
R Janicki, M Koutny, Ł Mikulski
International Conference on Applications and Theory of Petri Nets and …, 2023
Mandaten: Natural Sciences and Engineering Research Council of Canada
Ergens beschikbaar: 24
Reversible computation vs. reversibility in Petri nets
K Barylska, M Koutny, Ł Mikulski, M Piątkowski
Science of Computer Programming 151, 48-60, 2018
Mandaten: European Commission
Formal verification of secure information flow in cloud computing
W Zeng, M Koutny, P Watson, V Germanos
Journal of Information Security and Applications 27, 103-116, 2016
Mandaten: National Natural Science Foundation of China, UK Engineering and Physical …
Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies
W Zeng, M Koutny
Journal of Information Security and Applications 49, 102385, 2019
Mandaten: UK Engineering and Physical Sciences Research Council
Reversing transitions in bounded Petri nets
K Barylska, E Erofeev, M Koutny, Ł Mikulski, M Piątkowski
Fundamenta Informaticae 157 (4), 341-357, 2018
Mandaten: German Research Foundation
Operational semantics, interval orders and sequences of antichains
R Janicki, M Koutny
Fundamenta Informaticae 169 (1-2), 31-55, 2019
Mandaten: Natural Sciences and Engineering Research Council of Canada
Characterising concurrent histories
R Janicki, J Kleijn, M Koutny, Ł Mikulski
Fundamenta Informaticae 139 (1), 21-42, 2015
Mandaten: Natural Sciences and Engineering Research Council of Canada, UK Engineering …
Classifying invariant structures of step traces
R Janicki, J Kleijn, M Koutny, Ł Mikulski
Journal of Computer and System Sciences 104, 297-322, 2019
Mandaten: Natural Sciences and Engineering Research Council of Canada, UK Engineering …
Reversing steps in Petri nets
D de Frutos Escrig, M Koutny, Ł Mikulski
Application and Theory of Petri Nets and Concurrency: 40th International …, 2019
Mandaten: European Commission, Government of Spain
Opacity in internet of things with cloud computing (short paper)
W Zeng, M Koutny, P Watson
2015 IEEE 8th International Conference on Service-Oriented Computing and …, 2015
Mandaten: National Natural Science Foundation of China, UK Engineering and Physical …
Applying regions
J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg
Theoretical Computer Science 658, 205-215, 2017
Mandaten: UK Engineering and Physical Sciences Research Council
Publicatie- en financieringsgegevens worden automatisch vastgesteld door een computerprogramma