( en | de | ru )

 

Disambiguation of "Markovski, Jasen"

Author of the publication

copydeleteadd this publication to your clipboard
Extending Timed Process Algebra with Discrete Stochastic Time.

, and . AMAST, volume 5140 of Lecture Notes in Computer Science, page 268-283. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Markovski

Zuzana Jasen áková

Anne-Katherine Jasensky

Axel Jasenek

 

Other publications of authors with the same name

Controllability for Nondeterministic Discrete-Event Systems with Data.. ICSOFT (Selected Papers), volume 457 of Communications in Computer and Information Science, page 199-214. Springer, (2013)Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems.. CASE, page 1075-1082. IEEE, (2013)Scalable Minimization Algorithm for Partial Bisimulation. WS-FMDS, volume 86 of EPTCS, page 9-16. (2012)The role of supervisory controller synthesis in automatic control software development., and . Sci. Comput. Program., (2015)Coarsest controllability-preserving plant minimization.. WODES, page 251-258. International Federation of Automatic Control, (2012)Coordination of resources using generalized state-based requirements., , , , and . WODES, page 287-292. International Federation of Automatic Control, (2010)Employing behavioral preorders to define controllability for nondeterministic discrete-event systems.. Discrete Event Dynamic Systems, 25 (1-2): 227-250 (2015)Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions., and . MMB, page 93-108. VDE Verlag, (2008)Supervisory Coordination of Timed Communicating Processes.. ICT Innovations, volume 231 of Advances in Intelligent Systems and Computing, page 209-218. Springer, (2013)Partially-Supervised Plants: Embedding Control Requirements in Plant Components., , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 253-267. Springer, (2012)