Bartek Klin (food for search engines: aka Bartosz Klin)
E-mail: klin at mimuw.edu.pl

I am:

Scientific Interests

Upcoming Events

Publications

  • Bartek Klin, Vladimiro Sassone: Structural operational semantics for stochastic systems.
    FOSSACS 2008, LNCS 2964 (final draft pdf).

  • Bartek Klin: Bialgebraic operational semantics and modal logic.
    Procs. LiCS 2007 (final draft pdf).

  • Bartek Klin: Coalgebraic modal logic beyond sets.
    MFPS 2007, ENTCS 173 (final draft pdf).

  • Bartek Klin: The least fibred lifting and the expressivity of coalgebraic modal logic.
    CALCO 2005, LNCS 3269 (pdf, BibTEX).

  • Bartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory.
    CALCO 2005, LNCS 3269 (pdf, BibTEX).

  • Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Amalgamation in the semantics of CASL.
    Theoretical Computer Science 331, pp. 215-247, 2005 (BibTEX).

  • Bartek Klin: Adding recursive constructs to bialgebraic semantics.
    Journal of Logic and Algebraic Programming 60-61, pp. 259-286, 2004 (BibTEX).

  • Bartek Klin: From Bialgebraic Semantics to Congruence Formats.
    SOS 2004, ENTCS 128(1) (pdf, BibTEX).

  • Bartek Klin: A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.
    CMCS 2004, ENTCS 106 (ps, BibTEX).

  • Bartosz Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics.
    PhD dissertation, Aarhus University, February 2004 (pdf, BibTEX).

  • Bartek Klin, Pawel Sobocinski: Syntactic Formats for Free: An Abstract Approach to Process Equivalence.
    Extended abstract: CONCUR 2003, LNCS 2716. (c) Springer-Verlag (BibTEX).
    Full version: BRICS Report RS-03-18, April 2003 (ps.gz, pdf, BibTEX).

  • Till Mossakowski, Bartek Klin: Institution Independent Static Analysis for CASL.
    WADT 2001, LNCS 2267, pp. 221-237. (c) Springer-Verlag (BibTEX).

  • Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions in CASL Architectural Specifications.
    MFCS 2001, LNCS 2136, pp. 451-463. (c) Springer-Verlag (BibTEX).

  • Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL.
    FASE 2001, LNCS 2029, pp. 253-268. (c) Springer-Verlag (BibTEX).