( en | de | ru )

 

Disambiguation of "Ceska, Milan"

Author of the publication

copydeleteadd this publication to your clipboard
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components.

, , , , and . Euro-Par Workshops, volume 10104 of Lecture Notes in Computer Science, page 519-531. Springer, (2016)

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.

Vaclav Ceska

Marco Milan

Gabriele Milanovic

Alessandra Milandri

Thomas L Milani

 

Other publications of authors with the same name

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters., , and . EUROCAST (2), volume 10672 of Lecture Notes in Computer Science, page 38-46. Springer, (2017)Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error., , , , and . EUROCAST (1), volume 12013 of Lecture Notes in Computer Science, page 482-490. Springer, (2019)Generating and using state spaces of object-oriented Petri nets., , and . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection., , , , and . CoRR, (2017)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 265-278. Springer, (2003)Approximate reduction of finite automata for high-speed network intrusion detection., , , , and . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components., , , , and . Euro-Par Workshops, volume 10104 of Lecture Notes in Computer Science, page 519-531. Springer, (2016)Model Checking of Biological Systems., , and . SFM, volume 7938 of Lecture Notes in Computer Science, page 63-112. Springer, (2013)Abstraction-Based Segmental Simulation of Chemical Reaction Networks., , , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 41-60. Springer, (2022)PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling., , and . EUROCAST, volume 1333 of Lecture Notes in Computer Science, page 591-610. Springer, (1997)