Bartek Klin - RankMe

69 papers A* 10B 18Journal 28Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Karp's NP-Complete Problems over First-Order Definable Structures. FoSSaCS Aidan Healy, Bartek Klin
2025	J	`jnl`	Categories for Automata and Language Theory (Dagstuhl Seminar 25141). Dagstuhl Reports Achim Blumensath, Mikolaj Bojanczyk, Bartek Klin, Daniela Petrisan
2024	J	`jnl`	Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. TheoretiCS Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman
2024	J	`jnl`	Polyregular Functions on Unordered Trees of Bounded Height. Proc. ACM Program. Lang. Mikolaj Bojanczyk, Bartek Klin
2023	B	`ed.`	31st EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, Poland, February 13-16, 2023 CSL Bartek Klin, Elaine Pimentel
2023	J	`jnl`	Polyregular functions on unordered trees of bounded height. CoRR Mikolaj Bojanczyk, Bartek Klin
2022	B	`ed.`	33rd International Conference on Concurrency Theory, CONCUR 2022, Warsaw, Poland, September 12-16, 2022 CONCUR Bartek Klin, Slawomir Lasota, Anca Muscholl
2022	J	`jnl`	Codensity Games for Bisimilarity. New Gener. Comput. Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
2022	B	`conf`	Countdown μ-Calculus. MFCS Jedrzej Kolodziejski, Bartek Klin
2022	J	`jnl`	Countdown μ-calculus. CoRR Jedrzej Kolodziejski, Bartek Klin
2022	J	`jnl`	Monadic Monadic Second Order Logic. CoRR Mikolaj Bojanczyk, Bartek Klin, Julian Salamanca
2021	B	`conf`	Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages. FoSSaCS Bartek Klin, Slawomir Lasota, Szymon Torunczyk
2021	A*	`conf`	Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. LICS Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
2021	J	`jnl`	Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. CoRR Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
2021	B	`conf`	μ-Calculi with Atoms (Invited Talk). CSL Bartek Klin
2019	J	`jnl`	A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra. Log. Methods Comput. Sci. Mikolaj Bojanczyk, Bartek Klin
2019	A*	`conf`	Codensity Games for Bisimilarity. LICS Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
2019	J	`jnl`	Codensity Games for Bisimilarity. CoRR Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
2019	J	`jnl`	Definable isomorphism problem. Log. Methods Comput. Sci. Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2019	J	`jnl`	Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
2019	A*	`conf`	History-Dependent Nominal μ-Calculus. LICS Clovis Eberhart, Bartek Klin
2019	J	`jnl`	Scalar and Vectorial mu-calculus with Atoms. Log. Methods Comput. Sci. Bartek Klin, Mateusz Lelyk
2018	J	`jnl`	A non-regular language of infinite trees that is recognizable by a finite algebra. CoRR Mikolaj Bojanczyk, Bartek Klin
2018	J	`jnl`	Definable isomorphism problem. CoRR Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2018	B	`conf`	Iterated Covariant Powerset is not a Monad. MFPS Bartek Klin, Julian Salamanca
2018	J	`jnl`	Scalar and Vectorial mu-calculus with Atoms. CoRR Bartek Klin, Mateusz Lelyk
2017	A*	`conf`	Expressiveness of Probabilistic Modal Logics, Revisited. ICALP Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
2017	A*	`conf`	Learning nominal automata. POPL Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
2017	B	`conf`	Modal mu-Calculus with Atoms. CSL Bartek Klin, Mateusz Lelyk
2017	J	`jnl`	Some undecidable properties of SOS specifications. J. Log. Algebraic Methods Program. Bartek Klin, Beata Nachyla
2016	J	`jnl`	Coalgebraic trace semantics via forgetful logics. Log. Methods Comput. Sci. Bartek Klin, Jurriaan Rot
2016	—	`conf`	Homomorphism Problems for First-Order Definable Structures. FSTTCS Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2016	J	`jnl`	Learning Nominal Automata. CoRR Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
2016	—	`conf`	SMT Solving for Functional Programming over Infinite Structures. MSFP Bartek Klin, Michal Szynwelski
2015	B	`conf`	Coalgebraic Trace Semantics via Forgetful Logics. FoSSaCS Bartek Klin, Jurriaan Rot
2015	A*	`conf`	Locally Finite Constraint Satisfaction Problems. LICS Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk
2015	B	`conf`	Presenting Morphisms of Distributive Laws. CALCO Bartek Klin, Beata Nachyla
2014	J	`jnl`	Automata theory in nominal sets. Log. Methods Comput. Sci. Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota
2014	—	`conf`	Distributive Laws and Decidable Properties of SOS Specifications. EXPRESS/SOS Bartek Klin, Beata Nachyla
2014	—	`conf`	Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. CSL-LICS Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2013	J	`jnl`	Nominal Computation Theory (Dagstuhl Seminar 13422). Dagstuhl Reports Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts
2013	J	`jnl`	Structural operational semantics for stochastic and weighted transition systems. Inf. Comput. Bartek Klin, Vladimiro Sassone
2013	A*	`conf`	Turing Machines with Atoms. LICS Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk
2012	J	`jnl`	Preface to special issue: EXPRESS, ICE and SOS 2009. Math. Struct. Comput. Sci. Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin
2012	A*	`conf`	Towards nominal computation. POPL Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota
2011	B	`ed.`	Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings CALCO Andrea Corradini, Bartek Klin, Corina Cîrstea
2011	A*	`conf`	Automata with Group Actions. LICS Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota
2011	J	`jnl`	Bialgebras for structural operational semantics: An introduction. Theor. Comput. Sci. Bartek Klin
2011	J	`jnl`	Pointwise extensions of GSOS-defined operations. Math. Struct. Comput. Sci. Helle Hvid Hansen, Bartek Klin
2010	—	`conf`	Structural Operational Semantics and Modal Logic, Revisited. CMCS@ETAPS Bartek Klin
2009	J	`jnl`	Bialgebraic methods and modal logic in structural operational semantics. Inf. Comput. Bartek Klin
2009	—	`ed.`	Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. SOS Bartek Klin, Pawel Sobocinski
2009	—	`ed.`	Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008 SOS@ICALP Matthew Hennessy, Bartek Klin
2009	—	`conf`	Structural Operational Semantics for Weighted Transition Systems. Semantics and Algebraic Specification Bartek Klin
2008	—	`conf`	Preface. SOS@ICALP Matthew Hennessy, Bartek Klin
2008	B	`conf`	Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS Bartek Klin, Vladimiro Sassone
2007	A*	`conf`	Bialgebraic Operational Semantics and Modal Logic. LICS Bartek Klin
2007	B	`conf`	Coalgebraic Modal Logic Beyond Sets. MFPS Bartek Klin
2006	—	`conf`	Bialgebraic Methods in Structural Operational Semantics: Invited Talk. SOS@CONCUR Bartek Klin
2005	J	`jnl`	Amalgamation in the semantics of CASL. Theor. Comput. Sci. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2005	B	`conf`	Labels from Reductions: Towards a General Theory. CALCO Bartek Klin, Vladimiro Sassone, Pawel Sobocinski
2005	B	`conf`	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. CALCO Bartek Klin
2004	—	`conf`	A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. CMCS Bartek Klin
2004	J	`jnl`	Adding recursive constructs to bialgebraic semantics. J. Log. Algebraic Methods Program. Bartek Klin
2004	—	`conf`	From Bialgebraic Semantics to Congruence Formats. SOS@CONCUR Bartek Klin
2003	B	`conf`	Syntactic Formats for Free. CONCUR Bartek Klin, Pawel Sobocinski
2001	B	`conf`	Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
2001	—	`conf`	Institution Independent Static Analysis for CASL. WADT Till Mossakowski, Bartek Klin
2001	B	`conf`	Semantics of Architectural Specifications in CASL. FASE Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman