Bartek Klin
Person information
- affiliation: University of Warsaw, Poland
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [i4]Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Definable isomorphism problem. CoRR abs/1802.08500 (2018) - [i3]
- 2017
- [j16]Bartek Klin, Beata Nachyla:
Some undecidable properties of SOS specifications. J. Log. Algebr. Meth. Program. 87: 94-109 (2017) - [c22]
- [c21]Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of Probabilistic Modal Logics, Revisited. ICALP 2017: 105:1-105:12 - [c20]Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski:
Learning nominal automata. POPL 2017: 613-625 - 2016
- [j15]Bartek Klin, Jurriaan Rot:
Coalgebraic trace semantics via forgetful logics. Logical Methods in Computer Science 12(4) (2016) - [c19]Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Homomorphism Problems for First-Order Definable Structures. FSTTCS 2016: 14:1-14:15 - [c18]Bartek Klin, Michal Szynwelski:
SMT Solving for Functional Programming over Infinite Structures. MSFP 2016: 57-75 - [i2]Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski:
Learning Nominal Automata. CoRR abs/1607.06268 (2016) - 2015
- [c17]
- [c16]
- [c15]Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk:
Locally Finite Constraint Satisfaction Problems. LICS 2015: 475-486 - 2014
- [j14]Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota:
Automata theory in nominal sets. Logical Methods in Computer Science 10(3) (2014) - [c14]Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. CSL-LICS 2014: 58:1-58:10 - [c13]Bartek Klin, Beata Nachyla:
Distributive Laws and Decidable Properties of SOS Specifications. EXPRESS/SOS 2014: 79-93 - 2013
- [j13]Bartek Klin, Vladimiro Sassone:
Structural operational semantics for stochastic and weighted transition systems. Inf. Comput. 227: 58-83 (2013) - [c12]Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk:
Turing Machines with Atoms. LICS 2013: 183-192 - [i1]Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts:
Nominal Computation Theory (Dagstuhl Seminar 13422). Dagstuhl Reports 3(10): 58-71 (2013) - 2012
- [j12]Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin:
Preface to special issue: EXPRESS, ICE and SOS 2009. Mathematical Structures in Computer Science 22(2): 123-124 (2012) - [c11]Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota:
Towards nominal computation. POPL 2012: 401-412 - 2011
- [j11]Helle Hvid Hansen, Bartek Klin:
Pointwise extensions of GSOS-defined operations. Mathematical Structures in Computer Science 21(2): 321-361 (2011) - [j10]Bartek Klin:
Bialgebras for structural operational semantics: An introduction. Theor. Comput. Sci. 412(38): 5043-5069 (2011) - [c10]
- [e2]Andrea Corradini, Bartek Klin, Corina Cîrstea:
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6859, Springer 2011, ISBN 978-3-642-22943-5 [contents] - 2010
- [j9]Bartek Klin:
Structural Operational Semantics and Modal Logic, Revisited. Electr. Notes Theor. Comput. Sci. 264(2): 155-175 (2010)
2000 – 2009
- 2009
- [j8]
- [j7]Bartek Klin:
Bialgebraic methods and modal logic in structural operational semantics. Inf. Comput. 207(2): 237-257 (2009) - [c9]Bartek Klin:
Structural Operational Semantics for Weighted Transition Systems. Semantics and Algebraic Specification 2009: 121-139 - [e1]Bartek Klin, Pawel Sobocinski:
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. EPTCS 18, 2009 [contents] - 2008
- [c8]Bartek Klin, Vladimiro Sassone:
Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS 2008: 428-442 - 2007
- [j6]Bartek Klin:
Coalgebraic Modal Logic Beyond Sets. Electr. Notes Theor. Comput. Sci. 173: 177-201 (2007) - [j5]Bartek Klin:
Bialgebraic Methods in Structural Operational Semantics: Invited Talk. Electr. Notes Theor. Comput. Sci. 175(1): 33-43 (2007) - [c7]
- 2005
- [j4]Bartek Klin:
From Bialgebraic Semantics to Congruence Formats. Electr. Notes Theor. Comput. Sci. 128(1): 3-37 (2005) - [j3]Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Amalgamation in the semantics of CASL. Theor. Comput. Sci. 331(1): 215-247 (2005) - [c6]Bartek Klin, Vladimiro Sassone, Pawel Sobocinski:
Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50 - [c5]Bartek Klin:
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. CALCO 2005: 247-262 - 2004
- [j2]Bartek Klin:
A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. Electr. Notes Theor. Comput. Sci. 106: 201-218 (2004) - [j1]Bartek Klin:
Adding recursive constructs to bialgebraic semantics. J. Log. Algebr. Program. 60-61: 259-286 (2004) - 2003
- [c4]
- 2001
- [c3]Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Semantics of Architectural Specifications in CASL. FASE 2001: 253-268 - [c2]Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski:
Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463 - [c1]
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-12 22:25 CEST by the dblp team