Technical Reports 2013

Number of items: 8.

Amighi, A. and Blom, S.C.C. and Huisman, M. (2013) Resource Protection using Atomics: Patterns and Verifications. Technical Report TR-CTIT-13-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking (extended version). Technical Report TR-CTIT-13-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Junger, M. and Montoya Morales, A.L. and Hartel, P.H. and Karemaker, M. (2013) Modus operandi onderzoek naar door informatie en communicatie technologie (ICT) gefaciliteerde criminaliteit. Technical Report TR-CTIT-13-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Keijl, E. and Klaassen, R. and op den Akker, H.J.A. (2013) The influence of locative media on social information sharing: a review. Technical Report TR-CTIT-13-05, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Skutella, M. and Sviridenko, M. and Uetz, M.J. (2013) Stochastic scheduling on unrelated machines. Technical Report TR-CTIT-13-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Wevers, L. and Huisman, M. and de Keijzer, A. (2013) Parallel transaction processing in functional languages, towards practical functional databases. Technical Report TR-CTIT-13-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Zhu, Zhemin and Hiemstra, D. and Apers, P.M.G. and Wombacher, A. (2013) Closed form maximum likelihood estimator of conditional random fields. Technical Report TR-CTIT-13-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

This list was generated on Thu May 9 11:45:37 CEST 2013.

	CTIT Home > ... > CTIT Technical Reports > Technical Reports 2013
Home CTIT symposium 2013 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated May 3, 2013) Library and Videos Knowledge Transfer Links Sitemap Search	Technical Reports 2013 Number of items: 8. Amighi, A. and Blom, S.C.C. and Huisman, M. (2013) Resource Protection using Atomics: Patterns and Verifications. Technical Report TR-CTIT-13-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking (extended version). Technical Report TR-CTIT-13-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Junger, M. and Montoya Morales, A.L. and Hartel, P.H. and Karemaker, M. (2013) Modus operandi onderzoek naar door informatie en communicatie technologie (ICT) gefaciliteerde criminaliteit. Technical Report TR-CTIT-13-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Keijl, E. and Klaassen, R. and op den Akker, H.J.A. (2013) The influence of locative media on social information sharing: a review. Technical Report TR-CTIT-13-05, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Skutella, M. and Sviridenko, M. and Uetz, M.J. (2013) Stochastic scheduling on unrelated machines. Technical Report TR-CTIT-13-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Wevers, L. and Huisman, M. and de Keijzer, A. (2013) Parallel transaction processing in functional languages, towards practical functional databases. Technical Report TR-CTIT-13-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 Zhu, Zhemin and Hiemstra, D. and Apers, P.M.G. and Wombacher, A. (2013) Closed form maximum likelihood estimator of conditional random fields. Technical Report TR-CTIT-13-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 This list was generated on Thu May 9 11:45:37 CEST 2013.