Search the dblp DataBase
Bartek Klin :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bartek Klin The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:247-262 [Conf ] Bartek Klin , Vladimiro Sassone , Pawel Sobocinski Labels from Reductions: Towards a General Theory. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:30-50 [Conf ] Bartek Klin , Pawel Sobocinski Syntactic Formats for Free. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:72-86 [Conf ] Lutz Schröder , Till Mossakowski , Andrzej Tarlecki , Bartek Klin , Piotr Hoffman Semantics of Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP ] FASE, 2001, pp:253-268 [Conf ] Bartek Klin , Piotr Hoffman , Andrzej Tarlecki , Lutz Schröder , Till Mossakowski Checking Amalgamability Conditions for C ASL Architectural Specifications. [Citation Graph (0, 0)][DBLP ] MFCS, 2001, pp:451-463 [Conf ] Till Mossakowski , Bartek Klin Institution Independent Static Analysis for CASL. [Citation Graph (0, 0)][DBLP ] WADT, 2001, pp:221-237 [Conf ] Bartek Klin A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:201-218 [Journal ] Bartek Klin From Bialgebraic Semantics to Congruence Formats. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:3-37 [Journal ] Bartek Klin Bialgebraic Methods in Structural Operational Semantics: Invited Talk. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:33-43 [Journal ] Bartek Klin Coalgebraic Modal Logic Beyond Sets. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:177-201 [Journal ] Bartek Klin Adding recursive constructs to bialgebraic semantics. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2004, v:60, n:, pp:259-286 [Journal ] Lutz Schröder , Till Mossakowski , Andrzej Tarlecki , Bartek Klin , Piotr Hoffman Amalgamation in the semantics of CASL. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:331, n:1, pp:215-247 [Journal ] Bartek Klin Bialgebraic Operational Semantics and Modal Logic. [Citation Graph (0, 0)][DBLP ] LICS, 2007, pp:336-345 [Conf ] Structural Operational Semantics for Weighted Transition Systems. [Citation Graph (, )][DBLP ] Structural Operational Semantics for Stochastic Process Calculi. [Citation Graph (, )][DBLP ] Proceedings Sixth Workshop on Structural Operational Semantics [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs