Bartek Klin
(food for search engines: aka Bartosz Klin)
E-mail:
klin at mimuw.edu.pl
I am:
an "adiunkt" in the
Faculty of Mathematics, Informatics and Mechanics
of the
Warsaw University
(currently on leave), and
an
EPSRC
postdoctoral research fellow at the
Computer Laboratory
,
University of Cambridge
.
Scientific Interests
Operational semantics of process algebras and programming languages,
Coalgebraic and bialgebraic methods,
Algebraic specifications.
Upcoming Events
CALCO 2009
: 3rd Conference on Algebra and Coalgebra in Computer Science, September 6-10, 2009, Udine, Italy
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
).
