|
|
DSpace at RU >
Search Results
Results 71-80 of 119.
Item hits:
| Full Text | Issue Date | Title | Author(s) | | 2007 | The Microcosm Principle and Concurrency in Coalgebra (Abstract) | Hasuo, I.; Jacobs, B.P.F.; Sokolova, A.; Haveraaen, Magne; Power, John; Seisenberger, Monika |
| 2007 | Semantics of grammars and attributes via initiality | Jacobs, B.P.F.; Uustalu, T.; Barendsen, E.; Geuvers, Herman; Capretta, Venanzio; Niqui, Milad |
| 2007 | Categorical Views on Computations on Trees (Extended Abstract) | Hasuo, Ichiro; Jacobs, Bart; Uustalu, Tarmo; Arge, Lars |
| 2007 | Computer security through correctness and transparancy | Meijer, Hans; Hoepman, Jaap-Henk; Jacobs, Bart; Poll, Erik; Leeuw, Karl De; Bergstra, Jan |
| 2007 | Increased security through open source | Hoepman, J.H.; Jacobs, B.P.F. |
| 2007 | IT in bedrijf : DigiD & Privacy : aanvraag- en activeringsprocedures zijn te zwak | Jacobs, B.P.F.; Jochems, M. |
| 2007 | Generic trace semantics via coinduction | Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana |
| 2007 | AHA : Amortized Heap Space Usage Analysis | Eekelen, Marko van; Shkaravska, Olha; Kesteren, Ron van; Jacobs, Bart; Poll, Erik; Smetsers, Sjaak; Morazan, Marco T.; Nilsson, Henrik |
| 2006 | Biometrische gegevens horen niet in Databank | Jacobs, B.P.F. |
| 2006 | Distributive laws for the coinductive solution of recursive equations | Jacobs, B.P.F. |
previous
1
2
3
4
5
6
7
8
9
10
11
12
next
|