DSpace at RU >

Search Results

Results 1-50 of 134.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2012	Analyzing Isoefficiency of Partition Local Algorithms	Lamers, A.; Eekelen, M. van
	2012	A higher-order size system for a higher-order functional language	Gobi, A.; Shkaravska, O.; Eekelen, M. van
	2012	A Proof Framework for Concurrent Programs	Lensink, L.; Smetsers, S.; Eekelen, M. van
	2012	A new method for sustainable development of Open Educational Resources, September 9-12, 2012, Wroclaw, Poland	Stuurman, S.; Eekelen, M. van; Heeren, B.
	2012	Basic Cybercriminal Techniques and Techniques to Cause Damage	Leukfeldt, R.; Eekelen, M. van; Jong, E. de; Vranken, H.
	2012	The Internet: Historical and Technical Background	Eekelen, M. van; Vranken, H.
	2012	A Virtual Computer Security Lab As Learning Environment For Networking and Security Courses	Haag, J.; Karsch, S.; Vranken, H.; Eekelen, M. van
	2012	Making resource analysis practical for real-time Java	Kersten, R.; Shkaravska, O.; Gastel, B. van; Montenegro, M.; Eekelen, M. van
	2012	CSERC '12 : Proceedings of Second Computer Science Education Research Conference, Wroclaw, Poland - september 09-12, 2012	Veer, G. van der; Sikorski, M.; Sloep, P.; Eekelen, M. van
	2012	A Proof Framework for Concurrent Programs	Lensink, L.; Smetsers, S.; Eekelen, M. van
	2012	Foundational and Practical Aspects of Resource Analysis, Second International Workshop, FOPARA 2011 : Madrid, Spain, May 19, 2011, Revised Selected Papers	Pena, R.; Eekelen, M. van; Shkaravska, O.
	2012	FedCSIS : Preprints of the 2nd Computer Science Education Research Conference, September 9-12, 2012, Wroclaw, Poland	Sikorski, M.; Vrie, E. van de; Veer, G. van der; Sloep, P.; Eekelen, M. van
	2012	Generating Verifiable Java Code from Verified PVS Specifications	Lensink, L.; Smetsers, S.; Eekelen, M. van
	2012	Interpolation-based height analysis for improving a recurrence solver	Montenegro, M.; Shkaravska, O.; Eekelen, M. van; Pena, R.
	2012	Preface : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	Peña, R.; Eekelen, M. van; Shkaravska, O.
	2011	CSERC'11 : Computer Science Educaiton Research Conference, 7 - 8 April 2011 Heerlen, the Netherlands	Veer, G. van der; Sloep, P.; Eekelen, M.C.J.D. van
	2011	Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings	Eekelen, M.C.J.D. van; Geuvers, H.; Schmaltz, J.; Wiedijk, F.
	2011	Trends in Trends in Functional Programming 1999/2000 versus 2007/2008	Achten, P.; Eekelen, M.C.J.D. van; Koopman, P.; Morazán, M.T.; Johann, P.
	2011	Size Analysis of Higher-Order Functions	Gobi, A.; Shkaravska, O.; Eekelen, M. van
	2011	Mogelijke opzet voor een cursus duurzaamheid van ICT	Counotte, A.; Thiadens, T.; Eekelen, M. van
	2011	Interpolation-based height analysis for improving a recrurrence solver	Montenegro, M.; Shkaravska, O.; Eekelen, M. van
	2011	Formal Component-Based Semantics	Madlener, K.; Smetsers, S.; Eekelen, M. van
	2011	Modularisering van sterk afhankelijke cursussusen	Eekelen, M. van
	2011	TFP 2011 : Draft Proceedings of the 12th International Symposium on Trends in Functional Programming	Pena, R.; Eekelen, M. van
	2011	Ranking Functions for Loops with Disjunctive Exit-Conditions	Kersten, R.W.J.; Eekelen, M. van
	2011	Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving	Gastel, B.E. van; Lensink, L.; Smetsers, S.; Eekelen, M. van
	2011	Preface	Geuvers, H.; Wiedijk, F.; Eekelen, M.C.J.D. van; Schmaltz, J.
	2011	Noonan syndrome gain-of-function mutations in NRAS cause zebrafish gastrulation defects	Runtuwene, V.; Eekelen, M. van; Overvoorde, J.; Rehmann, H.; Yntema, H.G.; Nillesen, W.M.; Haeringen, A. van; Burgt, I. van der; Burgering, B.; Hertog, J.F. den
	2010	Leven Lang Computeren, Leven Lang Foeteren? Er valt nog veel te leren!	Eekelen, M. van
	2010	Het belang van software-analyse	Eekelen, M. van
	2010	A software product certification model	Heck, P.; Klabbers, M.; Eekelen, M. van
	2010	Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations	Shkaravska, O.; Eekelen, M. van
	2010	Preface	Eekelen, M. van; Shkaravska, O.
	2010	Software en energiegebruik	Eekelen, M. van; Kersten, R.W.J.; Gastel, B. van
	2010	Duurzaamheid van ICT-intensieve organisaties	Eekelen, M. van; Counotte-Potman, A.
	2010	Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers	Eekelen, M. van
	2010	Collected Size Semantics for Functional Programs over Lists	Eekelen, M. van; Shkaravska, O.; Tamalet, A.N.
	2010	Test-based inference of polynomial loop-bound functions	Shkaravska, O.; Kersten, R.W.J.; Eekelen, M. van
	2010	Analyse moet softwarekwaliteit verbeteren	Heur, R. van; Eekelen, M. van
	2010	Hoogleraar: 'leven lang computeren. leven lang foeteren?'	Schop, E.; Eekelen, M. van
	2010	Efficient and formally proven reduction of large integers by small moduli	Rutten, L.; Eekelen, M. van
	2010	A Formal Verification Study on the Rotterdam Storm Surge Barrier	Madlener, K.; Smetsers, S.; Eekelen, M. van
	2009	Collected Size Semantics for Functional Programs over Polymorphic Nested Lists	Shkaravska, Olha; Eekelen, Marko van; Tamalet, Alejandro
	2009	Collected Size Semantics for Functional Programs over Polymorphic Nested Lists	Shkaravska, Olha; Eekelen, Marko van; Tamalet, Alejandro
	2009	International Workshop on Foundational and Practical Aspects of Resource Analysis FOPARA '09 3rd of November Eindhoven, The Netherlands of the 16th International Symposium on Formal Methods	Eekelen, Marko van; Shkaravska, Olha
	2009	Polynomial Size Analysis of First-Order Shapely Functions	Shkaravska, Olha; Eekelen, Marko van; Kesteren, Ron van
	2009	Size Analysis of Algebraic Data Types	Tamalet, Alejandro; Shkaravska, Olha; Eekelen, Marko van; Achten, Peter; Koopman, Pieter; Morazán, {Marco T.}
	2009	Preemption Abstraction: A Lightweight Approach to Modelling Concurrency	Schierboom, Erik; Tamalet, Alejandro; Tews, H.; Eekelen, Marko van; Smetsers, Sjaak; Alpuente, M.; Cook, B.
	2009	Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving.	Gastel, Bernard van; Lensink, Leonard; Smetsers, Sjaak; Eekelen, Marko van; Cofer, D.; Fantechi, A.
	2008	Efficient and Formally Proven Reduction of Large Integers by Small Moduli	Eekelen, Marko van; Rutten, Luc

1 2 3 next