ℹ️
🇬🇧
Search
Search for people relevant for "PROCESS"
PROCESS
Person
Class
Person
Publication
Programmes
prof. RNDr. Roman Barták Ph.D.
Academic staff at Faculty of Mathematics and Physics, Faculty of Education
3 study programmes
15 classes
589 publications
Study programmes
programme
Theoretical Computer Science and Artificial Intelligence
+1
🇨🇿 PhD. |
Faculty of Mathematics and Physics
programme
Computer Science - Artificial Intelligence
🇨🇿 NMgr. |
Faculty of Mathematics and Physics
Classes
class
Artificial Intelligence 2
NAIL070 |
Faculty of Mathematics and Physics
class
Introduction to Artificial Intelligence
+1
NAIL113 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence 1
NAIL004 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence 2
NAIL052 |
Faculty of Mathematics and Physics
class
Artificial Intelligence 1
NAIL069 |
Faculty of Mathematics and Physics
class
Planning and Scheduling
NAIL071 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence I
NAIX004 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence II
NAIX052 |
Faculty of Mathematics and Physics
class
Artificial Intelligence I
NAIX069 |
Faculty of Mathematics and Physics
class
Constraint Programming
+1
NOPT042 |
Faculty of Mathematics and Physics
Load more classes (5)
Publications
publication
Automated Verification of Constraints in Nested Workflows
2012 |
Faculty of Mathematics and Physics
publication
One click dataset transfer: toward efficient coupling of distributed storage resources and CPUs
2012 |
Faculty of Mathematics and Physics
publication
On Complexity of Verifying Nested Workflows with Extra Constraints
+1
2011 |
Faculty of Mathematics and Physics
publication
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
2023 |
Faculty of Mathematics and Physics
publication
On the Impact of Grounding on HTN Plan Verification via Parsing
2023 |
Faculty of Mathematics and Physics