Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bartek Klin
2010 – today
- 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
- 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 (Eds.): 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
- 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 (Eds.): Proceedings Sixth Workshop on Structural Operational Semantics. EPTCS 18, 2009
- 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 2013-10-02 11:17 CEST by the dblp team