Concepedia

Maciej Koutny

MK

52

Publications

1.9K

Citations

24

H-Index

1986

Active since

Affiliations

Newcastle University(Current)

Leiden University

McMaster University

University of Newcastle Australia

Université Libre de Bruxelles

Maciej Koutny is an author at Newcastle University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningSystems EngineeringVerificationSemanticsProgram AnalysisComputer Engineering

Publications per year

1986–2019

52

Publications

52

Opacity generalised to transition systems

Jeremy Bryans, Maciej Koutny, Laurent Mazaré et al. · International Journal of Information Security · 2008 · 276 citations

Optical Properties, Discrete Dynamical System, Transition Systems +1

Modelling Opacity Using Petri Nets

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan · Electronic Notes in Theoretical Computer Science · 2005 · 178 citations · Full text

Semantics of Inhibitor Nets

Ryszard Janicki, Maciej Koutny · Information and Computation · 1995 · 142 citations

Formal Semantics, Engineering, Automated Reasoning +8

Framed temporal logic programming

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny · Science of Computer Programming · 2007 · 93 citations

Engineering, Automated Reasoning, Dynamic Logic +7

Structure of concurrency

Ryszard Janicki, Maciej Koutny · Theoretical Computer Science · 1993 · 86 citations

Engineering, Formal Methods, Parallel Programming +5

Rows per page

1–5 of 52