Semantics of Architectural Specifications in CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (FASE, 2001)

Checking Amalgamability Conditions for C ASL Architectural Specifications. - Bartek Klin; Piotr Hoffman; Andrzej Tarlecki; Lutz Schröder; Till Mossakowski (MFCS, 2001)

Institution Independent Static Analysis for CASL. - Till Mossakowski; Bartek Klin (WADT, 2001)

Syntactic Formats for Free. - Bartek Klin; Pawel Sobocinski 001 (CONCUR, 2003)

A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. - Bartek Klin (CMCS, 2004)

From Bialgebraic Semantics to Congruence Formats. - Bartek Klin (SOS@CONCUR, 2004)

Adding recursive constructs to bialgebraic semantics. - Bartek Klin (J. Log. Algebraic Methods Program., 2004)

The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. - Bartek Klin (CALCO, 2005)

Labels from Reductions: Towards a General Theory. - Bartek Klin; Vladimiro Sassone; Pawel Sobocinski 001 (CALCO, 2005)

Amalgamation in the semantics of CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (Theor. Comput. Sci., 2005)

Bialgebraic Methods in Structural Operational Semantics: Invited Talk. - Bartek Klin (SOS@CONCUR, 2006)

Bialgebraic Operational Semantics and Modal Logic. - Bartek Klin (LICS, 2007)

Coalgebraic Modal Logic Beyond Sets. - Bartek Klin (MFPS, 2007)

Structural Operational Semantics for Stochastic Process Calculi. - Bartek Klin; Vladimiro Sassone (FoSSaCS, 2008)

Preface. - Matthew Hennessy; Bartek Klin (SOS@ICALP, 2008)

Structural Operational Semantics for Weighted Transition Systems. - Bartek Klin (Semantics and Algebraic Specification, 2009)

Bialgebraic methods and modal logic in structural operational semantics. - Bartek Klin (Inf. Comput., 2009)

Structural Operational Semantics and Modal Logic, Revisited. - Bartek Klin (CMCS@ETAPS, 2010)

Automata with Group Actions. - Mikolaj Bojanczyk; Bartek Klin; Slawomir Lasota 001 (LICS, 2011)

Pointwise extensions of GSOS-defined operations. - Helle Hvid Hansen; Bartek Klin (Math. Struct. Comput. Sci., 2011)

Bialgebras for structural operational semantics: An introduction. - Bartek Klin (Theor. Comput. Sci., 2011)

Towards nominal computation. - Mikolaj Bojanczyk; Laurent Braud; Bartek Klin; Slawomir Lasota 001 (POPL, 2012)

Preface to special issue: EXPRESS, ICE and SOS 2009. - Filippo Bonchi; Sibylle B. Fröschle; Daniele Gorla; Bartek Klin (Math. Struct. Comput. Sci., 2012)

Turing Machines with Atoms. - Mikolaj Bojanczyk; Bartek Klin; Slawomir Lasota 001; Szymon Torunczyk (LICS, 2013)

Nominal Computation Theory (Dagstuhl Seminar 13422). - Mikolaj Bojanczyk; Bartek Klin; Alexander Kurz 001; Andrew M. Pitts (Dagstuhl Reports, 2013)

Structural operational semantics for stochastic and weighted transition systems. - Bartek Klin; Vladimiro Sassone (Inf. Comput., 2013)

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. - Bartek Klin; Slawomir Lasota 001; Joanna Ochremiak; Szymon Torunczyk (CSL-LICS, 2014)

Automata theory in nominal sets. - Mikolaj Bojanczyk; Bartek Klin; Slawomir Lasota 001 (Log. Methods Comput. Sci., 2014)

Distributive Laws and Decidable Properties of SOS Specifications. - Bartek Klin; Beata Nachyla (EXPRESS/SOS, 2014)

Presenting Morphisms of Distributive Laws. - Bartek Klin; Beata Nachyla (CALCO, 2015)

Locally Finite Constraint Satisfaction Problems. - Bartek Klin; Eryk Kopczynski; Joanna Ochremiak; Szymon Torunczyk (LICS, 2015)

Homomorphism Problems for First-Order Definable Structures. - Bartek Klin; Slawomir Lasota 001; Joanna Ochremiak; Szymon Torunczyk (FSTTCS, 2016)

Coalgebraic trace semantics via forgetful logics. - Bartek Klin; Jurriaan Rot (Log. Methods Comput. Sci., 2016)

SMT Solving for Functional Programming over Infinite Structures. - Bartek Klin; Michal Szynwelski (MSFP, 2016)

Modal mu-Calculus with Atoms. - Bartek Klin; Mateusz Lelyk (CSL, 2017)

Expressiveness of Probabilistic Modal Logics, Revisited. - Nathanaël Fijalkow; Bartek Klin; Prakash Panangaden (ICALP, 2017)

Learning nominal automata. - Joshua Moerman; Matteo Sammartino; Alexandra Silva 001; Bartek Klin; Michal Szynwelski (POPL, 2017)

Some undecidable properties of SOS specifications. - Bartek Klin; Beata Nachyla (J. Log. Algebraic Methods Program., 2017)

A non-regular language of infinite trees that is recognizable by a finite algebra. - Mikolaj Bojanczyk; Bartek Klin (CoRR, 2018)

Iterated Covariant Powerset is not a Monad. - Bartek Klin; Julian Salamanca (MFPS, 2018)

History-Dependent Nominal μ-Calculus. - Clovis Eberhart; Bartek Klin (LICS, 2019)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Ichiro Hasuo (LICS, 2019)

Expressiveness of probabilistic modal logics: A gradual approach. - Florence Clerc; Nathanaël Fijalkow; Bartek Klin; Prakash Panangaden (Inf. Comput., 2019)

A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra. - Mikolaj Bojanczyk; Bartek Klin (Log. Methods Comput. Sci., 2019)

Definable isomorphism problem. - Khadijeh Keshvardoost; Bartek Klin; Slawomir Lasota 001; Joanna Ochremiak; Szymon Torunczyk (Log. Methods Comput. Sci., 2019)

Scalar and Vectorial mu-calculus with Atoms. - Bartek Klin; Mateusz Lelyk (Log. Methods Comput. Sci., 2019)

μ-Calculi with Atoms (Invited Talk). - Bartek Klin (CSL, 2021)

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages. - Bartek Klin; Slawomir Lasota 001; Szymon Torunczyk (FoSSaCS, 2021)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. - Mikolaj Bojanczyk; Bartek Klin; Joshua Moerman (LICS, 2021)

Countdown μ-Calculus. - Jedrzej Kolodziejski; Bartek Klin (MFCS, 2022)

Monadic Monadic Second Order Logic. - Mikolaj Bojanczyk; Bartek Klin; Julian Salamanca (CoRR, 2022)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. - Mikolaj Bojanczyk; Joanna Fijalkow; Bartek Klin; Joshua Moerman (TheoretiCS, 2024)

Polyregular Functions on Unordered Trees of Bounded Height. - Mikolaj Bojanczyk; Bartek Klin (Proc. ACM Program. Lang., 2024)