| 2009 |
|---|
| 15 | EE | Bartek Klin:
Bialgebraic methods and modal logic in structural operational semantics.
Inf. Comput. 207(2): 237-257 (2009) |
| 2008 |
|---|
| 14 | EE | Bartek Klin,
Vladimiro Sassone:
Structural Operational Semantics for Stochastic Process Calculi.
FoSSaCS 2008: 428-442 |
| 2007 |
|---|
| 13 | EE | Bartek Klin:
Bialgebraic Operational Semantics and Modal Logic.
LICS 2007: 336-345 |
| 12 | EE | Bartek Klin:
Coalgebraic Modal Logic Beyond Sets.
Electr. Notes Theor. Comput. Sci. 173: 177-201 (2007) |
| 11 | EE | Bartek Klin:
Bialgebraic Methods in Structural Operational Semantics: Invited Talk.
Electr. Notes Theor. Comput. Sci. 175(1): 33-43 (2007) |
| 2005 |
|---|
| 10 | EE | Bartek Klin:
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.
CALCO 2005: 247-262 |
| 9 | EE | Bartek Klin,
Vladimiro Sassone,
Pawel Sobocinski:
Labels from Reductions: Towards a General Theory.
CALCO 2005: 30-50 |
| 8 | EE | Bartek Klin:
From Bialgebraic Semantics to Congruence Formats.
Electr. Notes Theor. Comput. Sci. 128(1): 3-37 (2005) |
| 7 | EE | 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) |
| 2004 |
|---|
| 6 | EE | Bartek Klin:
A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.
Electr. Notes Theor. Comput. Sci. 106: 201-218 (2004) |
| 5 | EE | Bartek Klin:
Adding recursive constructs to bialgebraic semantics.
J. Log. Algebr. Program. 60-61: 259-286 (2004) |
| 2003 |
|---|
| 4 | EE | Bartek Klin,
Pawel Sobocinski:
Syntactic Formats for Free.
CONCUR 2003: 72-86 |
| 2001 |
|---|
| 3 | EE | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
Piotr Hoffman:
Semantics of Architectural Specifications in CASL.
FASE 2001: 253-268 |
| 2 | EE | Bartek Klin,
Piotr Hoffman,
Andrzej Tarlecki,
Lutz Schröder,
Till Mossakowski:
Checking Amalgamability Conditions for C ASL Architectural Specifications.
MFCS 2001: 451-463 |
| 1 | EE | Till Mossakowski,
Bartek Klin:
Institution Independent Static Analysis for CASL.
WADT 2001: 221-237 |
