Jirí Adámek

Publication Activity (10 Years)

Years Active: 1975-2023
Publications (10 Years): 36

Top Venues

CoRR

CALCO

CMCS

Log. Methods Comput. Sci.

Publications

Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). CALCO (2023)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Kripke, Vietoris and Hausdorff Polynomial Functors. CoRR (2023)
Jirí Adámek, Matej Dostál, Jirí Velebil
Strongly Finitary Monads for Varieties of Quantitative Algebras. CALCO (2023)
Jirí Adámek
Varieties of Quantitative Algebras and Their Monads. LICS (2022)
Jirí Adámek, Matej Dostál, Jiri Velebil
A categorical view of varieties of ordered algebras. Math. Struct. Comput. Sci. 32 (4) (2022)
Jirí Adámek, Stefan Milius, Henning Urbat
On the behaviour of coalgebras with side effects and algebras with effectful iteration. J. Log. Comput. 31 (6) (2021)
Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder
Finitary monads on the category of posets. Math. Struct. Comput. Sci. 31 (7) (2021)
Jirí Adámek, Jirí Rosický
Which Categories Are Varieties? ((Co)algebraic pearls). CALCO (2021)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras Without Iteration ((Co)algebraic pearls). CALCO (2021)
Jirí Adámek
Algebraic cocompleteness and finitary functors. Log. Methods Comput. Sci. 17 (2) (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. CoRR (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. ACM Trans. Comput. Log. 22 (4) (2021)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
An Initial Algebra Theorem Without Iteration. CoRR (2021)
Jirí Adámek
Algebraic cocompleteness and finitary functors. CoRR (2021)
Jirí Adámek
On Free Completely Iterative Algebras. CSL (2020)
Jirí Adámek
Approximate Coalgebra Homomorphisms and Approximate Solutions. CMCS (2020)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Well-Founded and Recursive Coalgebras. FoSSaCS (2020)
Jirí Adámek
On Terminal Coalgebras Derived from Initial Algebras. CALCO (2019)
Jirí Adámek
On free completely iterative algebras. CoRR (2019)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem: Varieties of Languages in a Category. ACM Trans. Comput. Log. 20 (1) (2019)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Well-Founded and Recursive Coalgebras. CoRR (2019)
Stefan Milius, Jirí Adámek, Henning Urbat
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration. CoRR (2019)
Jirí Adámek, Stefan Milius
On functors preserving coproducts and algebras with iterativity. Theor. Comput. Sci. 763 (2019)
Jirí Adámek
On free completely iterative algebras. CoRR (2019)
Jirí Adámek, Lurdes Sousa
A Formula for Codensity Monads and Density Comonads. Appl. Categorical Struct. 26 (5) (2018)
Stefan Milius, Jirí Adámek, Henning Urbat
On Algebras with Effectful Iteration. CMCS (2018)
Jirí Adámek, Stefan Milius, Henning Urbat
A Categorical Approach to Syntactic Monoids. Log. Methods Comput. Sci. 14 (2) (2018)
Jirí Adámek, Stefan Milius, Henning Urbat
A Categorical Approach to Syntactic Monoids. CoRR (2018)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
Fixed points of functors. J. Log. Algebraic Methods Program. 95 (2018)
Jirí Adámek, Stefan Milius
On Corecursive Algebras for Functors Preserving Coproducts. CoRR (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
Eilenberg Theorems for Free. MFCS (2017)
Jirí Adámek, Stefan Milius
On Corecursive Algebras for Functors Preserving Coproducts. CALCO (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
One Eilenberg Theorem to Rule Them All. CoRR (2016)
Jirí Adámek, Václav Koubek, Thorsten Palm
Fixed Points of Set Functors: How Many Iterations are Needed? Appl. Categorical Struct. 24 (5) (2016)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations, and Reiterman's Theorem. FoSSaCS (2016)
Jirí Adámek
Fixed Points of Functors - A Short Abstract. CMCS (2016)
Jirí Adámek, Stefan Milius, Henning Urbat
Syntactic Monoids in a Category. CoRR (2015)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations and Reiterman's Theorem. CoRR (2015)
Jirí Adámek, Stefan Milius, Henning Urbat
Syntactic Monoids in a Category. CALCO (2015)
Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday. Appl. Categorical Struct. 23 (4) (2015)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat
On finitary functors and their presentations. J. Comput. Syst. Sci. 81 (5) (2015)
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
Coalgebraic constructions of canonical nondeterministic automata. Theor. Comput. Sci. 604 (2015)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem I: Local Varieties of Languages. CoRR (2015)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Varieties of Languages in a Category. CoRR (2015)
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
Varieties of Languages in a Category. LICS (2015)
Jirí Adámek, Lurdes Sousa, Jiri Velebil
Kan injectivity in order-enriched categories. Math. Struct. Comput. Sci. 25 (1) (2015)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem I: Local Varieties of Languages. FoSSaCS (2014)
Jirí Adámek, Stefan Milius, Jiri Velebil
Base modules for parametrized iterativity. Theor. Comput. Sci. 523 (2014)
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
On Continuous Nondeterminism and State Minimality. MFPS (2014)
Jirí Adámek, Mahdieh Haddadi, Stefan Milius
Corecursive Algebras, Corecursive Monads and Bloom Monads. Log. Methods Comput. Sci. 10 (3) (2014)
Jirí Adámek, Nathan J. Bowler, Paul Blain Levy, Stefan Milius
Coproducts of Monads on Set. CoRR (2014)
Jirí Adámek
Colimits of Monads. CoRR (2014)
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
Canonical Nondeterministic Automata. CMCS (2014)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Well-Pointed Coalgebras Log. Methods Comput. Sci. 9 (3) (2013)
Jirí Adámek, Stefan Milius, Jiri Velebil
How iterative reflections of monads are constructed. Inf. Comput. 225 (2013)
Jirí Adámek, Lurdes Sousa, Jiri Velebil
Kan injectivity in order-enriched categories. CoRR (2013)
Jirí Adámek, Roland Vollmar, Dietmar Wätjen
Theoretische Informatik. 40 Jahre Informatik @ Braunschweig (2012)
Jirí Adámek, Stefan Milius, Nathan J. Bowler, Paul Blain Levy
Coproducts of Monads on Set. LICS (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Finitary Functors and Their Presentations. CMCS (2012)
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Well-Pointed Coalgebras (Extended Abstract). FoSSaCS (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Power-Set Functors and Saturated Trees. CSL (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
Semantics of Higher-Order Recursion Schemes Log. Methods Comput. Sci. 7 (1) (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
On second-order iterative monads. Theor. Comput. Sci. 412 (38) (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot theories: a new perspective on the equational properties of iteration. Math. Struct. Comput. Sci. 21 (2) (2011)
Jirí Adámek, Vera Trnková
Initial algebras and terminal coalgebras in many-sorted sets. Math. Struct. Comput. Sci. 21 (2) (2011)
Jirí Adámek, Mahdieh Haddadi, Stefan Milius
From Corecursive Algebras to Corecursive Monads. CALCO (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
Iterative reflections of monads. Math. Struct. Comput. Sci. 20 (3) (2010)
Jirí Adámek, Stefan Milius, Jiri Velebil
Recursive Program Schemes and Context-Free Monads. CMCS (2010)
Jirí Adámek, H. Peter Gumm, Vera Trnková
Presentation of Set Functors: A Coalgebraic Perspective. J. Log. Comput. 20 (5) (2010)
Jirí Adámek, Clemens Kupke
Preface. Inf. Comput. 208 (12) (2010)
Jirí Adámek, Stefan Milius, Jiri Velebil
Equational properties of iterative monads. Inf. Comput. 208 (12) (2010)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). MFPS (2009)
Pavel Parízek, Jirí Adámek, Tomas Kalibera
Automated Construction of Reasonable Environment for Java Components. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Jirí Adámek, Michel Hébert, Lurdes Sousa
The Orthogonal Subcategory Problem and the Small Object Argument. Appl. Categorical Struct. 17 (3) (2009)
Jirí Adámek, Stefan Milius, Jiri Velebil
A Description of Iterative Reflections of Monads (Extended Abstract). FoSSaCS (2009)
Jirí Adámek, Stefan Milius, Jiri Velebil
Semantics of Higher-Order Recursion Schemes. CALCO (2009)
Jirí Adámek, Stephen L. Bloom, Stefan Milius
On Algebras with Iteration. J. Log. Comput. 18 (6) (2008)
Jirí Adámek, Petr Hnetynka
Perspectives in component-based software engineering. SEESE@ICSE (2008)
Jirí Adámek, Stefan Milius, Jiri Velebil
Bases for parametrized iterativity. Inf. Comput. 206 (8) (2008)
Ales Plsek, Jirí Adámek
Carmen: Software Component Model Checker. QoSA (2008)
Pavel Parízek, Jirí Adámek
Checking Session-Oriented Interactions between Web Services. EUROMICRO-SEAA (2008)
Jirí Adámek, Clemens Kupke
Preface. CMCS (2008)
Jirí Adámek, Stefan Milius, Jiri Velebil
Algebras with parametrized iterativity. Theor. Comput. Sci. 388 (1-3) (2007)
Jirí Adámek, Stefan Milius, Jiri Velebil
What Are Iteration Theories? MFCS (2007)
Jirí Adámek, Dominik Lücke, Stefan Milius
Recursive coalgebras of finitary functors. RAIRO Theor. Informatics Appl. 41 (4) (2007)
Jirí Adámek, Stefan Milius, Jiri Velebil
How Iterative are Iterative Algebras? CMCS (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
Iterative algebras at work. Math. Struct. Comput. Sci. 16 (6) (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras. Log. Methods Comput. Sci. 2 (5) (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras CoRR (2006)
Jirí Adámek
Addressing Unbounded Parallelism in Verification of Software Components. SNPD (2006)
Jirí Adámek, Stefan Milius
Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004. Inf. Comput. 204 (4) (2006)
Jirí Adámek, Stefan Milius
Terminal coalgebras and free iterative theories. Inf. Comput. 204 (7) (2006)
Jirí Adámek
The intersection of algebra and coalgebra. Theor. Comput. Sci. 366 (1-2) (2006)
Jirí Adámek, Frantisek Plasil
Component composition errors and update atomicity: static analysis. J. Softw. Maintenance Res. Pract. 17 (5) (2005)
Jirí Adámek, Stefan Milius, Jiri Velebil
A general final coalgebra theorem. Math. Struct. Comput. Sci. 15 (3) (2005)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras: (Extended Abstract). MFPS (2005)
Vladimir Mencl, Frantisek Plasil, Jirí Adámek
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. IASTED Conf. on Software Engineering (2005)
Jirí Adámek
A Logic of Coequations. CSL (2005)
Jirí Adámek
Algebra 'cap' Coalgebra = Presheaves. CALCO (2005)

Jirí Adámek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jirí Adámek