On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling (2004)


Download Links

by Falk Bartels
Citations:38 - 0 self

Active Bibliography

Cover design by Maja Sokolova, adaptation by Jan-Willem Luiten CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN – Typeset Using L Atex, Sokolova Ana, Coalgebraic Ana, Sokolova Eindhoven
geboren te Jiangsu, Chinapromotor: prof.dr. W.J. FokkinkFormal Verification of Distributed Systems – Academisch Proefschrift, De Boelelaan, Jun Pang - 2004
Validation of Stochastic Systems (VOSS,VOSS2).Reconciling Nondeterministic and Probabilistic Choices – Typeset L Atexe, Cover Jesse Hughes, Wiskunde En Informatica, Ling Cheung
geboren te Barcelonapromotor: prof.dr. W.J. Fokkink copromotor: dr. J.C. van de PolModal Abstraction and Replication of Processes with Data – Academisch Proefschrift, Miguel Ángel, Valero Espada, Miguel Valero, Miguel Valero
9 Data Mining using Genetic Programming Classification and Symbolic Regression J. EggermontData Mining using Genetic Programming Classification and Symbolic Regression – Jeroen Eggermont, Promotor Prof, Dr. J. N. Kok, Overige Prof, Dr. T. H. W. Bäck, Prof Dr, G. Rozenberg, Prof Dr, S. M. Verduyn Lunel
The Abroad – Functional Approach To, Daniel Johannes, Pieter Leijen
REAL-TIME AND COVERAGE – Graduation Committee, Prof Dr, H. Brinksma, Prof Dr, J. W. Fokkink, Prof Dr, P. H. Hartel, Prof Dr, K. G. Larsen, Dr. Ir, A. Rensink, Dr. M. I. A. Stoelinga, Dr. Ir, J. Tretmans, Dr. W. Visser, Laura Brandán Briones
EXPERIMENTS IN RIGHTS CONTROL EXPRESSION AND ENFORCEMENT CHEUN NGEN CHONGEXPERIMENTS IN RIGHTS CONTROL EXPRESSION AND ENFORCEMENT Cheun Ngen ChongMembers of the dissertation committee: – Dr. S. Etalle, Prof Dr. W. Jonker, Prof Ir. E. Michiels, Dr. Ir. W. B. Teeuw, Telematica Instituut, Studio Oude Vrielink, Jos Hendrix
1 Concepts of Adaptive Information Filtering – Daniel Remy Tauritz, Promotor Prof, J. N. Kok, Overige Dr, T. Bäck - 1996
9 Verification Techniques for Extensions of Equality Logic – Bahareh Badban - 2006
ROBUST COMPOSITION OF ASPECTS – Ir. Pascal, Eugène Alois, Dürr Ph. D, Dr. L. Ferreira Pires Msc, Ir. Pascal, Eugène Alois Dürr
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
Searching in encrypted data Richard BrinkmanComposition of the Graduation Committee: – Prof Dr, Ir. A. J. Mouthaan, Prof Dr, W. Jonker, Prof Dr, P. M. G. Apers, Dr. S. Etalle, Prof Dr, B. P. F. Jacobs, Richard Brinkman - 1978
door – Academisch Proefschrift, Tijs Van Der Storm - 2007
prof. dr. Eric R. VerheulFormal and Computational Cryptography: – Flavio Garcia, Copyright Flavio, D. Garcia, Flavio Dario Garcia, Flavio Dario Garcia
1 What to Do Next? Analysing and Optimising System Behaviour in Time ACADEMISCH PROEFSCHRIFT – Anton Wijs, Antonius Jacobus Wijs
THEORY AND APPLICATIONS – Prof Dr, P. H. Hartel, Dr. Ir, R. N. J. Veldhuis, Prof Dr, Ir. B. Haverkort, Prof Dr, Ir. R. L. Lagendijk, Prof Dr, Ir. A. J, Han Vinck, Dr. J. M. Doumen, Design S¸tefan Dulman, Ileana Buhan, Ileana Rozalia Buhan
Printed by Wöhrmann Print Service. – Ir. J. Scholten (ut