ℹ️
🇬🇧
Search
Search for people relevant for "workflow"
workflow
Person
Class
Person
Publication
Programmes
Export current view
doc. RNDr. Tomáš Dvořák CSc.
Academic staff at Faculty of Mathematics and Physics
1 study programme
11 classes
65 publications
Study programme
programme
Computer Science - Visual Computing and Game Development
🇨🇿 NMgr. |
Faculty of Mathematics and Physics
Classes
class
Non-procedural Programming
+1
NPRG005 |
Faculty of Mathematics and Physics
class
Introduction to Algorithms
NPRG062 |
Faculty of Mathematics and Physics
class
Software Project II
NPRG078 |
Faculty of Mathematics and Physics
class
Research Project II
NPRG079 |
Faculty of Mathematics and Physics
class
Company Project II
NPRG080 |
Faculty of Mathematics and Physics
class
Data Compression Algorithms
NSWI072 |
Faculty of Mathematics and Physics
class
Seminar on Stringology and Data Compression
NSWI100 |
Faculty of Mathematics and Physics
class
String Algorithms
NTIN087 |
Faculty of Mathematics and Physics
class
Information Technologies
NUIN014 |
Faculty of Mathematics and Physics
class
Special Seminar
NUIN017 |
Faculty of Mathematics and Physics
Load more classes (1)
Publications
publication
On verification of workflow and planning domain models using attribute grammars
2017 |
Faculty of Mathematics and Physics
publication
Paired 2-disjoint path covers of burnt pancake graphs with faulty elements
2024 |
Faculty of Mathematics and Physics
publication
Neighbor connectivity of k-ary n-cubes
2020 |
Faculty of Mathematics and Physics
publication
Gray codes extending quadratic matchings
2019 |
Faculty of Mathematics and Physics
publication
Generalized Gray codes with prescribed ends
2017 |
Faculty of Mathematics and Physics
publication
Towards a problem of Ruskey and Savage on matching extendability
2017 |
Faculty of Mathematics and Physics
publication
Matchings of quadratic size extend to long cycles in hypercubes
2016 |
Faculty of Mathematics and Physics
publication
Linear time construction of a compressed Gray code
2013 |
Faculty of Mathematics and Physics
publication
Gray codes with bounded weights
2012 |
Faculty of Mathematics and Physics
publication
Testing connectivity of faulty networks in sublinear time
2012 |
Faculty of Mathematics and Physics
Load more publications (55)
Loading network view...