Petr Stepánek

25 papers B 8Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2020 — conf
Smart City Through Design: Preparation of a New Wayfinding System in Prague.
HCI (41)
Petr Stepánek
2019 J jnl
Towards a systems thinking based view for the governance of a smart city's ecosystem.
Kybernetes
Francesco Caputo, Leonard Walletzký, Petr Stepánek
2018 — conf
Validation and Extension of the Smart City Ontology.
ICEIS (2)
Petr Stepánek, Mouzhi Ge
2017 — conf
IT-Enabled Digital Service Design Principles - Lessons Learned from Digital Cities.
EMCIS
Petr Stepánek, Mouzhi Ge, Leonard Walletzký
2015 J jnl
Origin-independent sum over states simulations of magnetic and electronic circular dichroism spectra via the localized orbital/local origin method.
J. Comput. Chem.
Petr Stepánek, Petr Bour
2013 J jnl
Computation of magnetic circular dichroism by sum-over-states summations.
J. Comput. Chem.
Petr Stepánek, Petr Bour
2012 — conf
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.
Description Logics
Jaromir Malenko, Petr Stepánek
2011 B conf
MaLeCoP Machine Learning Connection Prover.
TABLEAUX
Josef Urban, Jirí Vyskocil, Petr Stepánek
2007 — conf
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.
MICAI
Jirí Vyskocil, Petr Stepánek
2004 J jnl
Speedup of Logic Programs by Binarization and Partial Deduction.
Theory Pract. Log. Program.
Jan Hruza, Petr Stepánek
2003 J jnl
Speedup of Logic Programs by Binarization and Partial Deduction
CoRR
Jan Hruza, Petr Stepánek
2002 B conf
Schema-Based Transformations of Logic Programs in lambda-Prolog.
ICLP
Petr Olmer, Petr Stepánek
2000 — conf
Binary Speed Up for Logic Programs.
Computational Logic
Jan Hruza, Petr Stepánek
1997 J jnl
Extendible meta-interpreters.
Kybernetika
Roman Barták, Petr Stepánek
1992 — conf
Prolog: A Step towards the Future of Programming.
Advanced Topics in Artificial Intelligence
Olga Stepánková, Petr Stepánek
1989 — conf
AI Education and Logic.
Artificial Intelligence in Higher Education
Olga Stepánková, Petr Stepánek
1989 B conf
Stratification of Definite Clause Programs and of General Logic Programs.
CSL
Olga Stepánková, Petr Stepánek
1988 B conf
Normal Forms and the Complexity of Computations of Logic Programs.
CSL
Vít Ochozka, Olga Stepánková, Petr Stepánek
1987 B conf
Developing Logic Programs: Computing Through Normalizing.
CSL
Olga Stepánková, Petr Stepánek
1986 B conf
Logic Programs and Alternation.
ICLP
Petr Stepánek, Olga Stepánková
1984 B conf
Computation Trees and Transformations of Logic Programs.
ICLP
Olga Stepánková, Petr Stepánek
1984 J jnl
Transformations of Logic Programs.
J. Log. Program.
Olga Stepánková, Petr Stepánek
1982 B conf
Graphs as Data in Prolog Programs.
ICLP
Jan Sebelík, Petr Stepánek
1978 J jnl
Cardinal Collapsing and Ordinal Definability.
J. Symb. Log.
Petr Stepánek
1977 J jnl
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.
J. Symb. Log.
Petr Stepánek, Bohuslav Balcar