Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Boekredactie
2008

Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings

Hee, van, K. M. (redactie) & Valk, R. (redactie), 2008, Berlin: Springer. (Lecture notes in computer science; vol. 5062)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

93 Downloads (Pure)
Open Access
Bestand

Mini-Workshop Mathematics of Biological Membranes (Oberwolfach, Germany, August 31-September 6, 2008)

Garcke, H. (redactie), Niethammer, B. (redactie), Peletier, M. A. (redactie) & Röger, M. (redactie), 2008, Oberwolfach: EMS. (Oberwolfach Reports; vol. 3, nr. 3)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Biological membranes
Membranes
Computer simulation

Model order reduction : theory, research aspects and applications

Schilders, W. H. A. (redactie), Vorst, van der, H. A. (redactie) & Rommes, J. (redactie), 2008, Berlin: Springer. (Mathematics in industry; vol. 13)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the 2008 Workshop on Middleware security, Leuven, Belgium, December 2, 2008

Scandariato, R. (redactie) & Russello, G. (redactie), 2008, New York NY: Association for Computing Machinery, Inc.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the 21st IEEE international symposium on Computer-based medical systems CBMS 2008, Jyväskylä, Finland, June 17-19, 2008

Puuronen, S. (redactie), Pechenizkiy, M. (redactie), Tsymbal, A. (redactie) & Lee, D. J. (redactie), 2008, Los Alamitos: IEEE Computer Society.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Finland

Proceedings of the International Workshop on Applying Data Mining in e-Learning (ADML-2007, Sissi, Crete, Greece, September 18, 2007)

Romero, C. (redactie), Pechenizkiy, M. (redactie), Calders, T. G. K. (redactie), Beck, J. E. (redactie) & Van Assche, F. (redactie), 2008, Aachen: CEUR-WS.org.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Secure data management : 5th VLDB workshop, SDM 2008, Auckland, New Zealand, August 24, 2008 : proceedings

Jonker, W. (redactie) & Petkovic, M. (redactie), 2008, Berlin: Springer. (Lecture notes in computer science; vol. 5159)(SDM : secure data management : VLDB workshop; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Transactions on Petri nets and other models of concurrency I

Jensen, K. (redactie), Aalst, van der, W. M. P. (redactie) & Billington, J. (redactie), 2008, Berlin: Springer. 249 blz. (Lecture notes in computer science; vol. 5100)(ToPNoC : transactions on Petri nets and other models of concurrency; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

transaction
2007

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

Brim, L. (redactie), Haverkort, B. R. H. M. (redactie), Leucker, M. (redactie) & Pol, van de, J. C. (redactie), 2007, Berlin: Springer. 363 blz. (Lecture notes in computer science; vol. 4346)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Hypertext 2007 : proceedings of the 18th Conference on Hypertext and Hypermedia, Manchester, United Kingdom, September 10-12, 2007

Harper, S. (redactie), Ashman, H. (redactie), Bernstein, M. (redactie), Cristea, A. I. (redactie), Davis, H. C. (redactie), De Bra, P. M. E. (redactie), Hanson, V. (redactie) & Millard, D. E. (redactie), 2007, New York: Association for Computing Machinery, Inc. (HT : hypertext ... : ACM conference; vol. 18)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

295 Downloads (Pure)

Liber amicorum Jan de Graaf

Meer, van der, J. C. (redactie), 2007, Eindhoven: Technische Universiteit Eindhoven. 138 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

Bosnacki, D. (redactie) & Edelkamp, S. (redactie), 2007, Berlin: Springer. 300 blz. (Lecture notes in computer science; vol. 4595)(Model checking software : international SPIN workshop; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

software

Proceedings 2nd International Workshop on Adaptation and Evolution in Web Systems Engineering (AEWSE'07, Como, Italy, July 19, 2007)

Casteleyn, S. (redactie), Daniel, F. (redactie), Dolog, P. (redactie), Matera, M. (redactie), Houben, G. J. P. M. (redactie) & De Troyer, O. (redactie), 2007, s.n.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings 3rd International Workshop on Model-Driven Web Engineering (MDWE-2007, Como, Italy, July 17, 2007)

Koch, N. (redactie), Vallecillo, A. (redactie) & Houben, G. J. P. M. (redactie), 2007, s.n.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

59 Downloads (Pure)

Proceedings 3rd International Workshop on Web Information Systems Modeling (WISM'06; workshop at CAiSE'06, Luxemburg, June 5-9, 2006)

Frasincar, F. (redactie), Houben, G. J. P. M. (redactie) & Thiran, P. (redactie), 2007, s.n. (CEUR Workshop Proceedings; vol. 239)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Proceedings IEEE Visualization Conference and IEEE Information Visualization Conference (VIS'07 and INFOVIS'07, Sacramento CA, USA, October 28-November 1, 2007)

Chen, M. (redactie), Hansen, C. (redactie), North, C. (redactie), Pang, A. (redactie) & Wijk, van, J. J. (redactie), 2007, Los Alamitos CA: IEEE Computer Society. (IEEE Transactions on Visualization and Computer Graphics; vol. 13, nr. 6)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Visualization
Communication

Proceedings of the eighteenth annual ACM-SIAM Symposium on discrete algorithms, SODA'07, New Orleans LA, USA, January 7-9, 2007

Bansal, N. (redactie), Pruhs, K. R. (redactie) & Stein, C. (redactie), 2007, New York: Association for Computing Machinery, Inc.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

785 Downloads (Pure)

Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands

Groot, P. (redactie), Serebrenik, A. (redactie) & van Eekelen, M. (redactie), 2007, Eindhoven: Technische Universiteit Eindhoven. 304 blz. (Computer science reports; vol. 0704)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Reflections on type theory, lambda-calculus, and the mind : essays dedicated to Henk Barendregt on the occasion of his 60th birthday

Barendsen, E. (redactie), Capretta, V. (redactie), Geuvers, J. H. (redactie) & Niqui, M. (redactie), 2007, s.l.: s.n.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Secure data management : 4th VLDB workshop, SDM 2007, Vienna, Austria, September 23-24, 2007 : proceedings

Jonker, W. (redactie) & Petkovic, M. (redactie), 2007, Berlin: Springer. (Lecture notes in computer science; vol. 4721)(SDM : secure data management : VLDB workshop; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Security, privacy, and trust in modern data management

Petkovic, M. (redactie) & Jonker, W. (redactie), 2007, Berlin: Springer. (Data-centric systems and applications)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

71 Citaties (Scopus)

Security with noisy data : on private biometrics, secure key storage and anti-counterfeiting

Tuyls, P. T. (redactie), Skoric, B. (redactie) & Kevenaar, T. A. M. (redactie), 2007, New York: Springer. 339 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Biometrics

Trust management : proceedings of IFIPTM 2007: joint iTrust and PST conferences on privacy, trust management and security, July 30 - August 2, 2007, New Brunswick, Canada

Etalle, S. (redactie) & Marsh, S. (redactie), 2007, Berlin: Springer. 414 blz. (IFIP International Federation for Information Processing; vol. 238)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Virtual Environments 2007 : IPT-EGVE 2007 ; 13th Eurographics Symposium on Virtual Environments [and] 10th Immersive Projection Technology Workshop ; Weimar, Germany, July 15th-18th

Fröhlich, B. (redactie), Blach, R. (redactie) & Liere, van, R. (redactie), 2007, Aire-la-Ville (Switzerland): Eurographics Association. 116 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Web engineering : 7th international conference, ICWE 2007, Como, Italy, July 16-20, 2007 : proceedings

Baresi, L. (redactie), Fraternali, P. (redactie) & Houben, G. J. P. M. (redactie), 2007, Berlin: Springer. (Lecture notes in computer science; vol. 4607)(ICWE : international conference on web engineering : proceedings; vol. 7)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

68 Downloads (Pure)

WISM'07 : 4th international workshop on web information systems modeling

Frasincar, F. (redactie), Houben, G. J. P. M. (redactie) & Thiran, P. (redactie), 2007, Trondheim: s.n. 100 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
2006

AmIware : hardware technology drivers of ambient intelligence

Mukherjee, S. (redactie), Aarts, E. H. L. (redactie), Roovers, R. L. J. (redactie), Widdershoven, F. P. (redactie) & Ouwerkerk, M. (redactie), 2006, Dordrecht: Springer. 480 blz. (Philips research book series; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Exact algorithms and fixed-parameter tractability (Proceedings Dagstuhl Seminar, July 24-29, 2005)

Downey, R. G. (redactie), Grohe, M. (redactie) & Woeginger, G. J. (redactie), 2006, Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1 Citaat (Scopus)

Intelligent algorithms in ambient and biomedical computing

Verhaegh, W. F. J. (redactie), Aarts, E. H. L. (redactie) & Korst, J. H. M. (redactie), 2006, Dordrecht: Springer. 321 blz. (Philips research book series; vol. 7)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Logic programming : 22nd International Conference, ICLP 2006, Seattle WA, USA, August 17-20, 2006 : proceedings

Etalle, S. (redactie) & Truszczynski, M. (redactie), 2006, Berlin: Springer. (Lecture notes in computer science; vol. 4079)(ICLP : international conference on logic programming : proceedings; vol. 22)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

36 Downloads (Pure)

Mathematics in industry : scientific proceedings of the 55th European Study Group with Industry, January 30 to February 3, 2006, in Eindhoven

Fledderus, E. (redactie), Hofstad, van der, R. W. (redactie), Jochemsz, E. (redactie), Molenaar, J. (redactie), Mussche, T. (redactie), Peletier, M. A. (redactie) & Prokert, G. (redactie), 2006, Eindhoven: Technische Universiteit Eindhoven. 140 blz. (Mathematics with industry : European Study Group : proceedings (SWI); vol. 55)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
233 Downloads (Pure)

Proceedings of the 3rd Belgium Netherlands Workshop on Software Evolution (BENEVOL), Eindhoven, The Netherlands, May 26-27, 2005

Lange, C. F. J. (redactie), Chaudron, M. R. V. (redactie) & Tourwé, T. (redactie), 2006, Eindhoven: Technische Universiteit Eindhoven. 119 blz. (Computer science reports; vol. 0601)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand

Proceedings of the First International Workshop on Security and Trust Management (STM'05, Milan, Italy, September 15, 2005; in conjunction with ESORICS'05)

Mauw, S. (redactie), Issarny, V. (redactie) & Cremers, C. J. F. (redactie), 2006, s.n. 158 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Progress in cryptology - INDOCRYPT 2006 : 7th international conference on cryptology in India, Kolkata, India, December 11-13, 2006 : proceedings

Barua, R. (redactie) & Lange, T. (redactie), 2006, Berlin: Springer. 454 blz. (Lecture notes in computer science; vol. 4329)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Progress in industrial mathematics at ECMI 2004

Di Bucchianico, A. (redactie), Mattheij, R. M. M. (redactie) & Peletier, M. A. (redactie), 2006, Berlin: Springer. 679 blz. (Mathematics in industry; vol. 8)(European conference on mathematics in industry (ECMI) : conference; vol. 13)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Industry

Secure data management : third VLDB workshop, SDM 2006, Seoul, Korea, September 10-11, 2006 : proceedings

Jonker, W. (redactie) & Petkovic, M. (redactie), 2006, Berlin: Springer. (Lecture notes in computer science; vol. 4165)(SDM : secure data management : VLDB workshop; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Soil mechanics and transport in porous media : selected works of G. de Josselin de Jong

Schotting, R. J. (redactie), Duijn, van, C. J. (redactie) & Verruijt, A. (redactie), 2006, Dordrecht: Springer. 364 blz. (Theory and applications of transport in porous media. TATP; vol. 19)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Spatial Random Processes and Statistical Mechanics (Abstracts from the workshop, September 3-6, 2006)

Alexander, K. (redactie), Biskup, M. (redactie), Hofstad, van der, R. W. (redactie) & Sidoravicius, V. (redactie), 2006, Zürich: EMS Publishing House. 2447 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Special Issue in Honor of Jacobus H. van Lint

Tilborg, van, H. C. A. (redactie), Blokhuis, A. (redactie), Hollmann, H. D. L. (redactie) & Kantor, W. M. (redactie), 2006, Amsterdam: Elsevier. (Journal of Combinatorial Theory, Series A; vol. 113, nr. 8)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

The semantic web - ISWC 2006 : 5th international semantic web conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006 : proceedings

Cruz, I. F. (redactie), Decker, S. (redactie), Allemang, D. (redactie), Priest, C. (redactie), Schwabe, D. (redactie), Mika, P. (redactie), Uschold, M. (redactie) & Aroyo, L. M. (redactie), 2006, Berlin: Springer. 1001 blz. (Lecture notes in computer science; vol. 4273)(ISWC : international semantic web conference : proceedings; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

76 Citaties (Scopus)

True visions : the emergence of ambient intelligence

Aarts, E. H. L. (redactie) & Encarnaçao, J. L. (redactie), 2006, Berlin: Springer.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

55 Downloads (Pure)

Workshop proceedings of the 1st workshop on quality in modeling

Kuzniarz, L. (redactie), Sourrouille, J. L. (redactie), Straeten, Van Der, R. (redactie), Staron, M. (redactie), Chaudron, M. R. V. (redactie), Förster, A. (redactie) & Reggio, G. (redactie), 2006, Eindhoven: Technische Universiteit Eindhoven. 107 blz. (Computer science reports; vol. 0627)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Software engineering
Quality management
2005
473 Downloads (Pure)

Abstracts for the twentyfirst European workshop on Computational geometry, Technische Universiteit Eindhoven, The Netherlands, March 9-11, 2005

Berg, de, M. (redactie), Gudmundsson, J. (redactie), Oostrum, van, R. (redactie) & Speckmann, B. (redactie), 2005, Eindhoven: Technische Universiteit Eindhoven. 212 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Computational geometry

Ambient intelligence

Weber, W. (redactie), Rabaey, J. M. (redactie) & Aarts, E. H. L. (redactie), 2005, Berlin: Springer. 374 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Applications of Process Algebra (2nd ed)

Baeten, J. C. M. (redactie), 2005, Cambridge, UK: Cambridge University Press. 329 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Deep structure, singularities, and computer vision : first international workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005 : revised selected papers

Olsen, O. F. (redactie), Florack, L. M. J. (redactie) & Kuijper, A. (redactie), 2005, Berlin: Springer. 258 blz. (Lecture notes in computer science; vol. 3753)(DSSCV : deep structure, singularities, and computer vision : international workshop; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Discrete optimization

Aardal, K. I. (redactie), Nemhauser, G. L. (redactie) & Weismantel, R. (redactie), 2005, 1st ed. redactie Amsterdam: Elsevier. 620 blz. (Handbooks in operations research and management science; vol. 12)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Dynamic and robust streaming in and between connected consumer-electronic devices

Stok, van der, P. D. V. (redactie), 2005, Dordrecht: Springer. 239 blz. (Philips research book series; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Encyclopedia of cryptography and security

Tilborg, van, H. C. A. (redactie), 2005, Berlin: Springer. 684 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel