Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters
Report

Verification of a timestamp-based sliding-window protocol

Oláh, A. L., 1994, Enschede: University of Twente. 35 p. (Memoranda informatica; no. 94-42)(Memorandum TIOS; no. 94-12)

Research output: Book/ReportReportProfessional

Verification of Compensation Requirements for the SEPIA Cooperative Authoring System

Even, S. J. & Spelt, D., 1998, Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. 98-25)

Research output: Book/ReportReportAcademic

Verification of Modal Properties Using Infinite Boolean Equation Systems

Mader, A. H., 1997, Nijmegen: Computing Science Institute, University of Nijmegen. (ICIS Technical Reports; no. CSI-R9)

Research output: Book/ReportReportOther research output

File
22 Downloads (Pure)

Verifying Class Invariants in Concurrent Programs

Zaharieva, M. & Huisman, M., 17 Jan 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 20 p. (CTIT Technical Report Series; no. TR-CTIT-14-01)

Research output: Book/ReportReportProfessional

File
3 Citations (Scopus)
62 Downloads (Pure)

Verifying the distributed real-time network protocol RTnet using Uppaal

Hanssen, F. T. Y., Mader, A. H. & Jansen, P. G., Jan 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT Technical Report Series; no. 06-19)

Research output: Book/ReportReportProfessional

Open Access
File
3 Citations (Scopus)
67 Downloads (Pure)

VerifyThis 2016: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P. & Poll, E., Jun 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. TR-CTIT-16-07)

Research output: Book/ReportReportProfessional

File
58 Downloads (Pure)

VerifyThis 2017: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Mostowski, W. & Ulbrich, M., 2017, Karlsruhe: Karlsruhe Institute of Technology. (Karlsruhe Reports in Informatics; no. 2017-10)

Research output: Book/ReportReportProfessional

Open Access
File
76 Downloads (Pure)

VerifyThis2018: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

Verkenning automatische metadataprocessen

Pannekeet, K., Strijker, A., Brouns, F. & van der Vegt, W., 2006, Utrecht: Digitale Universiteit. 17 p.

Research output: Book/ReportReportProfessional

Verkenning data-gedreven onderwijsonderzoek in Nederland

Translated title of the contribution: Exploration of big data in educationVeldkamp, B. P., Schildkamp, K., Keijsers, M., Visscher, A. J. & de Jong, T., 2017, Universiteit Twente. 64 p.

Research output: Book/ReportReportProfessional

Open Access
File
550 Downloads (Pure)

Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland

van der Molen, I., Berendsen, J., Gerardts, R., Haverkort, B. R. H. M., Meijerink, B. J., Misana-Ter Huurne, E. F. J., Rojer, G., Schoop, R. & Torenvlied, R., 2017, University of Twente. 96 p.

Research output: Book/ReportReportProfessional

Open Access
File
97 Downloads (Pure)

Verkenningen duurzame ontwikkelingen Verkeer en Waterstaat (deelonderzoek)

Achterhuis, H., 1993, Den Haag: Ministerie van Verkeer en Waterstaat. 32 p.

Research output: Book/ReportReportProfessional

Verkenningen hoogwaterbeheer Maas: Een studie naar besluitvorming als verweving van expertise en belangen

Wesselink, A., 2006, Enschede: University of Twente. 153 p. (Civil Engineering & Management reports; no. 2006R-003/WEM.-004)

Research output: Book/ReportReportProfessional

Verkenning kennisdomein & praktijk Technostart

Groen, A. J., Jenniskens, C. G. M. & van der Sijde, P., 2003, Enschede: Netherlands Institute for Knowledge Intensive Entrepreneurship (NIKOS). 87 p. (BBT research report)

Research output: Book/ReportReportProfessional

Verkenning marktpositie van de Open Universiteit Nederland

Faber, M. & Vossensteyn, J. J., 2009, Enschede: Center for Higher Education Policy Studies (CHEPS). 80 p.

Research output: Book/ReportReportProfessional

Verkenning onderdelen veiligheidsmanagement - systeem voor gasdistributie

Arentsen, M. J. & Wolters, M., 2006, Enschede: Center for Clean Technology and Environmental Policy. 42 p. (CSTM-reeks; no. 269)

Research output: Book/ReportReportProfessional

Verkenning onderzoeksgebied verkeersbouwkunde

ter Huerne, H. L., 1993, Universiteit Twente, Enschede: Universiteit Twente, Enschede. 21 p.

Research output: Book/ReportReportProfessional

Verkenningscommissies tussen veld en overheid : evaluatie-onderzoek verkenningscommissies

van der Meulen, B., Westerheijden, D. F., Rip, A. & van Vught, F. A., 1991, Zoetermeer: Ministerie van Onderwijs en Wetenschappen. 311 p. (Achtergrondstudies hoger onderwijs en wetenschappelijk onderzoek; no. 8)

Research output: Book/ReportReportProfessional

Verkenning van de mogelijkheden van ICT voor leerplanontwikkeling en kennismanagement

Voogt, J., Zocca, M., Fisser, P. & Strijker, A., 2006, Enschede: Stichting Leerplan Ontwikkeling (SLO). 22 p.

Research output: Book/ReportReportProfessional

Vermogens- en bundelmetingen van een 2,8kW CO2-lasersysteem van Metaveld Wijchen BV

Husslage, W., 1999, Geen adressering: Geen opgaven.

Research output: Book/ReportReportProfessional

Vernieuwend onderwijs met ICT.

Eichhorn, K., Pronk, H., Thijs, A. & Voogt, J., 2000, Dordrecht: Ichthus Hogeschool. 28 p.

Research output: Book/ReportReportProfessional

Verontreiniging drinkwater Leidscherijn. Raad voor de Transportveiligheid.

Visser, J. P., van Berkom, M. L. J. J., Spiekhout, J., Suurenbroek, Y., Wessels, J. F. M., Smolders, B. P. & Pietersen, C. M., 2003, Den Haag: SDU. 39 p. (CB-3-03.015)

Research output: Book/ReportReportProfessional

Versal deformation of the Lie algebra $L_2$

Fialowski, A. & Post, G. F., 1999, Enschede: University of Twente, Department of Applied Mathematics. (Memorandum / Department of Applied Mathematics; no. 1490)

Research output: Book/ReportReportOther research output

File
102 Downloads (Pure)

Versal deformation of the Lie algebra L_2

Fialowski, A. & Post, G. F., 1999, Geen adressering: Universiteit Twente. 14 p.

Research output: Book/ReportReportProfessional

Versatile Markovian models for networks with asymmetric TCP sources

van Foreest, N. D., Haverkort, B. R. H. M., Mandjes, M. R. H. & Scheinhardt, W. R. W., 2004, Enschede: University of Twente, Department of Applied Mathematics. 28 p. (Memorandum Faculty of Mathematical Sciences; no. 1734)

Research output: Book/ReportReportProfessional

File
18 Downloads (Pure)

Verschijningsvormen van en succesfactoren voor het afstandsonderwijs. Een internationaal vergelijkend onderzoek

Beverwijk, J. M. R., Boezerooy, P., Huisman, J. & van de Maat, L. J. F., 1999, Enschede: Center for Higher Education Policy Studies (CHEPS). 74 p.

Research output: Book/ReportReportProfessional

Verschijningsvormen van en succesfactoren voor het afstandsonderwijs. Een internationaal vergelijkend onderzoek

Beverwijk, J. M. R., Boezerooy, P., Huisman, J. & van de Maat, L. J. F., 1999, Enschede: Center for Higher Education Policy Studies (CHEPS). 74 p.

Research output: Book/ReportReportProfessional

Verschijningsvormen van verzorging, deel A: Survey-onderzoek

Doornekamp, B. G., 1995, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 166 p.

Research output: Book/ReportReportProfessional

Verschijningsvormen van verzorging, deel B: dieptestudie-onderzoek

Doornekamp, B. G., 1995, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 157 p.

Research output: Book/ReportReportProfessional

Verschillen in examencijfers. De rol van initiele vaardigheden en de bijdrage van scholen. Een onderzoek naar de examenresultaten 1998 en 1999 van VOCL-93 leerlingen.

Rekers-Mombarg, L. T. M., Lodewick, J. G. M. H. & Bosker, R., 2000, Enschede: OCTO, Universiteit Twente. 75 p.

Research output: Book/ReportReportProfessional

Verschillen in leercultuur tussen sectoren

Gielen, P. M., Nieuwenhuis, L., Woudstra, L. S. E. & Kirschner, P. A., 2009, Tilburg: IVA. 85 p.

Research output: Book/ReportReportProfessional

File
34 Downloads (Pure)

Verschillen in nieuwsframing en nieuwsconsumptie bij een gedrukte en een online versie van de Gelderlander en de Telegraaf.

Heuvelman, A., Kokhuis, M., Van summeren, C., Jankowski, N. & d'Haens, I., 2000, Nijmegen: Katholieke Universiteit Nijmegen. 46 p.

Research output: Book/ReportReportProfessional

Verslag eerste jaar ECO-onderzoek

van Riemsdijk, M. & Verburg, C. A., 1 Feb 1990, Amsterdam/Weesp: Onbekend.

Research output: Book/ReportReportProfessional

Verslag haalbaarheidsonderzoek PHIL-project

Doornekamp, B. G. & Streumer, J., 1993, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 55 p.

Research output: Book/ReportReportProfessional

Verslag van de algmene onderzoeksresultaten

Huisman, J. A. B., Nijhof, W. J., Peppel, T. B. & Schrik, H. M., 1995, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 18 p.

Research output: Book/ReportReportProfessional

Verslag van de First International Conference on Artificial Intelligence in Design '91, Edinburgh

Wognum, P. M. & Alberts, L. K., 1992, Enschede: CIAD. 1 p.

Research output: Book/ReportReportProfessional

Verslag van de Proefscholen Oost-Nederland over het schooljaar 1990/1991

Dekker, P. J., ten Hoonte, J., Schothans, J. M., ter Ellen, G. A. & Zwaga, L. H. M., 1993, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 105 p. (PRONTO-rapporten)

Research output: Book/ReportReportProfessional

Verslag van de Second International Conference on Artificial Intelligence in Design '92, Pittsburgh

Wognum, P. M., Alberts, L. K. & Mars, N., 1992, Enschede: CIAD. 2 p.

Research output: Book/ReportReportProfessional

Verslag van de studiedag "Effectieve nascholing op het gebied van informatietechnologie" op 30 november en 6 december 1989

Thijsen, J. A. & van der Sijde, P., 1 Jan 1990, Enschede: OCTO, Universiteit Twente.

Research output: Book/ReportReportProfessional

Verslag van de 'Workshop on Historical and Social Study of the Human Genome Initiative'

Stemerding, D., 1990, Enschede: Universiteit Twente. 12 p.

Research output: Book/ReportReportProfessional

Verslag van het CIAD-symposium 'Kennistechnologie ten behoeve van het ontwerpen van technische produkten', 2 april 1992

Wognum, P. M., 1992, Enschede: CIAD. 1 p.

Research output: Book/ReportReportProfessional

Verslag van het project 'Auditieve Courseware voor Blinden'

Jaspers, F. & Koelma, R., 1993, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 37 p.

Research output: Book/ReportReportProfessional

Versterking van de 'gammabenadering' in het programma warmtevoorziening

Arentsen, M. J. & von Raesfeld Meijer, A. M., 1998, Enschede: Center for Clean Technology and Environmental Policy. 76 p. (CSTM Studies en Rapporten; no. 104)

Research output: Book/ReportReportProfessional

Open Access
File
10 Downloads (Pure)