BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Greece
1 × Ireland
1 × Poland
1 × USA
2 × Hungary
2 × Spain
3 × France
Collaborated with:
V.Khomenko G.Ciobanu R.Janicki Z.Duan A.Yakovlev E.Best H.Klaudel L.J.Steggles X.Yang W.Vogler A.V.Bystrov K.Heljanko J.Burton G.Pappalardo J.Kleijn L.Mikulski
Talks about:
net (4) semant (3) petri (3) time (3) interact (2) program (2) unfold (2) tempor (2) migrat (2) order (2)

Person: Maciej Koutny

DBLP DBLP: Koutny:Maciej

Contributed to:

LATA 20152015
LATA 20142014
SEFM 20122012
FM 20112011
FASE 20082008
ICLP 20052005
TACAS 20032003
CAV 20022002
DATE 20022002
TACAS 20022002
FME 20012001
ICALP 19951995
CAV 19901990

Wrote 14 papers:

LATA-2015-JanickiKKM #order #subclass
Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
LATA-2014-KlaudelKD #algebra #logic #semantics
Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
SEFM-2012-CiobanuKS #semantics
A Timed Mobility Semantics Based on Rewriting Strategies (GC, MK, LJS), pp. 141–155.
FM-2011-CiobanuK #interactive #migration
Timed Migration and Interaction with Access Permissions (GC, MK), pp. 293–307.
FASE-2008-CiobanuK #interactive #migration #modelling #verification
Modelling and Verification of Timed Interaction and Migration (GC, MK), pp. 215–229.
ICLP-2005-DuanYK #logic programming #semantics #source code
Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.
TACAS-2003-KhomenkoK #branch #petri net #process
Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.
CAV-2002-KhomenkoKV #canonical #petri net
Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
DATE-2002-BystrovKY #design #modelling #partial order #visualisation
Visualization of Partial Order Models in VLSI Design Flow (AVB, MK, AY), p. 1089.
DATE-2002-KhomenkoKY #detection #integer #programming #using
Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.
TACAS-2002-HeljankoKK #algorithm #parallel #petri net
Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.
FME-2001-BurtonKP #implementation #verification
Verifying Implementation Relations (JB, MK, GP), pp. 364–383.
ICALP-1995-BestK #equation #recursion
Solving Recursive Net Equations (EB, MK), pp. 605–623.
CAV-1990-JanickiK #graph #reachability #simulation #using
Using Optimal Simulations to Reduce Reachability Graphs (RJ, MK), pp. 166–175.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.