Research Output 1972 2019

Filter
Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
2009
3 Downloads (Pure)

Coalgebraic modelling: Applications in automata theory and modal logic

Hansen, H. H., 2009, Amsterdam: Vrije Universiteit Amsterdam. 194 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Automata Theory
Modal Logic
Specification
Transducer
Coalgebra
2007

Flexible heterogeneous software systems

Jong, de, H. A., 2007, Amsterdam: Universiteit van Amsterdam. 176 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Software
World Wide Web
Huns
2004

On distributed verification and verified distribution

Orzan, S. M., 2004, Amsterdam: Vrije Universiteit Amsterdam.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
2002

Probabilistic extensions of semantical models

Hartog, den, J. I., 2002, Amsterdam: Vrije Universiteit Amsterdam. 304 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
1993

Logics and type systems

Geuvers, J. H., 1993, Nijmegen: Radboud Universiteit Nijmegen. 209 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

1987

Two-photon and radiative production of muon pairs

Luit, E. J., 1987, Amsterdam: Universiteit van Amsterdam. 145 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

muons
photons
1983

Integer valued polynomials in algebraic number theory

Zantema, H., 1983, Amsterdam: Universiteit van Amsterdam. 119 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)