Roman Barták - Publications, H-index & Citations

Back

Roman Barták

Charles University Prague

22H-index

288Paper Count

2.2KCitation Count

Published Papers 9

Publication Date

Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach

artificial intelligence review

IF4.6

2023-11-01

PREAI

Natan, Avraham; Kalech, Meir; Bartak, Roman

Save

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

2022-09-01

PREAI

Chrpa, Lukas; Bartak, Roman; Vodrazka, Jindrich; Vomlelova, Marta

Save

On verification of nested workflows with extra constraints: From theory to practice

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2014-02-01

PREAI

Bartak, Roman; Rovensky, Vladimir

Save

Logic programming for combinatorial problems

ARTIFICIAL INTELLIGENCE REVIEW

IF13.9

2009-11-25

PREAI

Munakata, Toshinori; Bartak, Roman

Save

Discovering implied constraints in precedence graphs with alternatives

ANNALS OF OPERATIONS RESEARCH

IF4.5

2008-12-13

PREAI

Bartak, Roman; Cepek, Ondrej; Surynek, Pavel

Save

Constraint satisfaction techniques in planning and scheduling

JOURNAL OF INTELLIGENT MANUFACTURING

IF7.4

2008-11-20

OAAI

Bartak, Roman; Salido, Miguel A.; Rossi, Francesca

Save

From enterprise models to scheduling models: bridging the gap

JOURNAL OF INTELLIGENT MANUFACTURING

IF7.4

2008-11-07

PREAI

Bartak, Roman; Little, James; Manzano, Oscar; Sheahan, Con

Save

Constraint processing

artificial intelligence review

IF4.6

2005-12-01

PREAI

Barták, R

Save

Dynamic global constraints in backtracking based environments

ANNALS OF OPERATIONS RESEARCH

IF4.5

2003-01-01

PREAI

Barták, R

Save

Research Directions