Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bartek Klin" ( http://dblp.L3S.de/Authors/Bartek_Klin )

URL (Homepage):  http://www.mimuw.edu.pl/~klin/  Author page on DBLP  Author page in RDF  Community of Bartek Klin in ASPL-2

Publication years (Num. hits)
2001-2009 (18) 2010-2012 (6)
Publication types (Num. hits)
article(11) inproceedings(11) proceedings(2)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(6) CALCO(3) LICS(2) Theor. Comput. Sci.(2) CONCUR(1) FASE(1) FoSSaCS(1) Inf. Comput.(1) J. Log. Algebr. Program.(1) Mathematical Structures in Com...(1) MFCS(1) POPL(1) Semantics and Algebraic Specif...(1) SOS(1) WADT(1)
Authors
Bartek Klin(24) Till Mossakowski(4) Andrzej Tarlecki(3) Lutz Schröder(3) Pawel Sobocinski(3) Piotr Hoffman(3) Mikolaj Bojanczyk(2) Slawomir Lasota(2) Vladimiro Sassone(2) Andrea Corradini(1) Corina Cîrstea(1) Helle Hvid Hansen(1) Laurent Braud(1) Matthew Hennessy(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota Towards nominal computation. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bartek Klin Bialgebras for structural operational semantics: An introduction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Bartek Klin Pointwise extensions of GSOS-defined operations. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota Automata with Group Actions. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrea 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 Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bartek Klin Structural Operational Semantics and Modal Logic, Revisited. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bartek Klin Bialgebraic methods and modal logic in structural operational semantics. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthew Hennessy, Bartek Klin Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Pawel Sobocinski (eds.) Proceedings Sixth Workshop on Structural Operational Semantics Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bartek Klin Structural Operational Semantics for Weighted Transition Systems. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Vladimiro Sassone Structural Operational Semantics for Stochastic Process Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bartek Klin Coalgebraic Modal Logic Beyond Sets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bartek Klin Bialgebraic Methods in Structural Operational Semantics: Invited Talk. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bartek Klin Bialgebraic Operational Semantics and Modal Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman Amalgamation in the semantics of CASL. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bartek Klin From Bialgebraic Semantics to Congruence Formats. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bartek Klin The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Vladimiro Sassone, Pawel Sobocinski Labels from Reductions: Towards a General Theory. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bartek Klin Adding recursive constructs to bialgebraic semantics. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bartek Klin A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Pawel Sobocinski Syntactic Formats for Free. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski Checking Amalgamability Conditions for C ASL Architectural Specifications. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation
1Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman Semantics of Architectural Specifications in CASL. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Bartek Klin Institution Independent Static Analysis for CASL. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.