Search results

Query parameters
Author:Bartosz Klin


Publication in a journal

1. Preface to special issue: EXPRESS, ICE and SOS 2009
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Vol. 22 Nr 2 yr. 2012, pp. 123-124 (Article)
Filippo Bonchi (Foreword author), Sibylle Fröschle (Foreword author), Daniele Gorla (Foreword author), Bartosz Klin (Foreword author)
2. Bialgebras for structural operational semantics: an introduction
THEORETICAL COMPUTER SCIENCE Vol. 412 Nr 38 yr. 2011, pp. 5043-5069 (Article)
Bartosz Klin
3. Pointwise extensions of GSOS-defined operations
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Vol. 21 Nr 2 yr. 2011, pp. 321-361 (Article)
H. Hansen, Bartosz Klin
4. Bialgebraic methods and modal logic in structural operational semantics
INFORMATION AND COMPUTATION Vol. 207 Nr 2 yr. 2009, pp. 237-257 (Article)
Bartosz Klin
5. Preface
Electronic Notes in Theoretical Computer Science Vol. 229 Nr 4 yr. 2009, pp. 1-2 (Other)
Matthew Hennessy (Foreword author), Bartosz Klin (Foreword author)
6. Structural operational semantics for weighted transition systems
LECTURE NOTES IN COMPUTER SCIENCE Vol. 5700 yr. 2009, pp. 121-139 (Conference article)
Bartosz Klin
7. Careful With That Computer: On Creating Maps by Multidimensional Scaling of Papyri in Katja Mueller's Recent Studies on the Topography of the Fayum
THE JOURNAL OF JURISTIC PAPIROLOGY Vol. XXXVI yr. 2006, pp. 67-90 (Article)
Piotr Hoffman, Bartosz Klin
8. Amalgamation in the semantics of CASL
THEORETICAL COMPUTER SCIENCE Vol. 331 yr. 2005, pp. 215-247 (Article)
Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartosz Klin
9. From bialgebraic semantics to congruence formats
Electronic Notes in Theoretical Computer Science Vol. 128 Nr 1 yr. 2005, pp. 3-37 (Article)
Bartosz Klin
10. Labels from reductions, towards a general theory
LECTURE NOTES IN COMPUTER SCIENCE Vol. 3629 yr. 2005, pp. 30-50 (Conference article)
Bartosz Klin, Vladimiro Sassone, Pawel Sobocinski
11. The least fibred lifting and the expressivity of coalgebraic modal logic
LECTURE NOTES IN COMPUTER SCIENCE Vol. 3629 yr. 2005, pp. 247-262 (Conference article)
Bartosz Klin


12. Proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)
Springer, r. 2011 (Book)
Andrea Corradini (Editor), Bartosz Klin (Editor), Corina Cirstea (Editor)
13. Proc. 6th Int. Workshop on Structural Operational Semantics
EPTCS, r. 2010 (Source editing)
Bartosz Klin (Editor), Paweł Sobociński (Editor)

Publication in a book

14. Towards nominal computation
in: POPL, pp. 401-412, r. 2012 (Conference article)
Mikołaj Bojańczyk, Laurent Braud, Bartosz Klin, Sławomir Lasota
15. Automata with group actions
in: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), pp. 355-364, IEEE Computer Society, r. 2011 (Conference article)
Mikołaj Bojańczyk, Bartosz Klin, Sławomir Lasota
16. Structural operational semantics and modal logic, revisited
in: CMCS, pp. 155-175, r. 2010 (Conference article)
Bartosz Klin