| ||
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) | |
| ||
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 |