Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Boekredactie
2005
54 Downloads (Pure)

IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005

Romijn, J. M. T. (redactie), Smith, G. (redactie) & Pol, van de, J. C. (redactie), 2005, Eindhoven: Technische Universiteit Eindhoven. 80 blz. (Computer science reports; vol. 0529)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005

Romijn, J. M. T. (redactie), Smith, G. (redactie) & Pol, van de, J. C. (redactie), 2005, Berlin: Springer. 407 blz. (Lecture notes in computer science; vol. 3771)(IFM : integrated formal methods : international conference : proceedings; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Etalle, S. (redactie), 2005, Berlin: Springer. (Lecture notes in computer science; vol. 3573)(LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Numerical methods in electromagnetics

Schilders, W. H. A. (redactie) & Maten, ter, E. J. W. (redactie), 2005, Amsterdam: Elsevier. 912 blz. (Handbook of numerical analysis; vol. 13)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Perspectives of model-based testing

Brinksma, E. (redactie), Grieskamp, W. (redactie) & Tretmans, J. (redactie), 2005, Schloss Dagstuhl: IBFI. (Dagstuhl seminar proceedings; nr. 04371)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005, San Francisco CA, USA, August 27, 2005)

Baeten, J. C. M. (redactie) & Phillips, I. C. C. (redactie), 2005, Amsterdam: Elsevier. 124 blz. (Electronic Notes in Theoretical Computer Science; vol. 154, nr. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Proceedings of the 15th Workshop on Logic-based methods in programming environments, WLPE'05, Sitges (Barcelona), Spain, October 5, 2005

Serebrenik, A. (redactie) & Muñoz-Hernández, S. (redactie), 2005, s.l.: s.n. 109 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, Banff, AB, Canada - June 06 - 10, 2005

Eager, D. L. (redactie), Williamson, C. L. (redactie), Borst, S. C. (redactie) & Lui, J. C. S. (redactie), 2005, New York: Association for Computing Machinery, Inc. (Measurement and modeling of computer systems : proceedings of the ... ACM SIGMETRICS conference; vol. 2005)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

303 Downloads (Pure)

Proceedings of VVSS2005 - verification and validation of software systems : 24th November 2005, Eindhoven, The Netherlands

Punter, H. T. (redactie) & van Eekelen, M. (redactie), 2005, Eindhoven: Technische Universiteit Eindhoven. 249 blz. (Computer science reports; vol. 0530)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Reactive flow and transport through complex systems

Duijn, van, C. J. (redactie), Mikelic, A. (redactie) & Schwab, C. (redactie), 2005, Zürich: EMS Publishing House. 2761 blz. (Oberwolfach Reports; vol. 2(4))

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

fluid mechanics
reactive transport
upscaling
modeling
method

Secure data management : second VLDB workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005 : proceedings

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

57 Downloads (Pure)

SW-EL'05 : applications of semantic web technologies for E-learning : AIED'05 workshop, July 18th, 2005, Amsterdam

Aroyo, L. M. (redactie) & Dicheva, D. (redactie), 2005, Amsterdam: s.n. 84 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
semantics
engineering
learning
73 Downloads (Pure)

Third international workshop on Authoring of adaptive and adaptable educational hypermedia (A3EH), Amsterdam, 18-22 July, 2005

Cristea, A. I. (redactie), Carro, R. M. (redactie) & Garzotto, F. (redactie), 2005, Amsterdam: Universiteit van Amsterdam. 99 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
evaluation
32 Downloads (Pure)

WISM 2005 : web information systems modeling

Frasincar, F. (redactie), Houben, G. J. P. M. (redactie) & Vdovják, R. (redactie), 2005, Wollongong, NSW, Australia: University of Wollongong, School of IT and Computer Science. 49 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
Information systems
Computer simulation
Data integration
Specifications
Systems analysis
2004

Adaptive hypermedia and adaptive web-based systems: third international conference, AH 2004, Eindhoven, The Netherlands, August 23-26, 2004 : proceedings

De Bra, P. M. E. (redactie) & Nejdl, W. (redactie), 2004, Berlin: Springer. 440 blz. (Lecture notes in computer science; vol. 3137)(AH : Adaptive hypermedia and adaptive web-based systems : international conference; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

154 Citaties (Scopus)

Advances in business process management

Weske, M. H. (redactie), Aalst, van der, W. M. P. (redactie) & Verbeek, H. M. W. (redactie), 2004, Amsterdam: Elsevier. 115 blz. (Data and knowledge engineering; vol. 50, nr. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

82 Downloads (Pure)

AH 2004: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems : Industry Session

Göker, M. H. (redactie) & Houben, G. J. P. M. (redactie), 2004, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer science reports; vol. 0421)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
470 Downloads (Pure)

AH 2004 : 3rd international conference on adaptive hypermedia and adaptive web-based systems : workshop proceedings part 1

Aroyo, L. M. (redactie) & Tasso, C. (redactie), 2004, Eindhoven: Technische Universiteit Eindhoven. 225 blz. (Computer science reports; vol. 0418)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
269 Downloads (Pure)

AH 2004 : 3rd international conference on adaptive hypermedia and adaptive web-based systems : workshop proceedings part 2

Aroyo, L. M. (redactie) & Tasso, C. (redactie), 2004, Eindhoven: Technische Universiteit Eindhoven. 226 blz. (Computer science reports; vol. 0419)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Algorithms in ambient intelligence

Verhaegh, W. F. J. (redactie), Aarts, E. H. L. (redactie) & Korst, J. H. M. (redactie), 2004, Dordrecht: Kluwer Academic Publishers. 341 blz. (Philips research book series; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Ambient intelligence : second European symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004 : proceedings

Markopoulos, P. (redactie), Eggen, J. H. (redactie), Aarts, E. H. L. (redactie) & Crowley, J. L. (redactie), 2004, Berlin: Springer. 388 blz. (Lecture notes in computer science; vol. 3295)(EUSAI : European symposium on ambient intelligence : proceedings; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

66 Downloads (Pure)

Applications of semantic web technologies for web-based ITS, ITS'04 workshop, August 30th, 2004, Maceió-Alagoas, Brazil

Aroyo, L. M. (redactie) & Dicheva, D. (redactie), 2004, Amsterdam: s.n. 49 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand

ASCI 2004 : proceedings of the tenth annual conference of the Advanced School for Computing and Imaging, Port Zélande, Ouddorp, The Netherlands, June 2-4, 2004

Wijk, van, J. J. (redactie), Heijnsdijk, J. W. J. (redactie), Langendoen, K. G. (redactie) & Veltkamp, R. C. (redactie), 2004, Delft: Advanced School for Computing and Imaging (ASCI). 388 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

IEEE visualization 2004, October 10-15, 2004, Austin, Texas : proceedings

Rushmeier, H. (redactie), Turk, G. (redactie) & Wijk, van, J. J. (redactie), 2004, Washington, D.C.: IEEE Computer Society. 597 blz. (VIS : IEEE visualization conference; vol. 15)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

MODA 7 - advances in model-oriented design and analysis : proceedings of the 7th international workshop on Model-oriented design and analysis, held in Heeze, The Netherlands, June 14-18, 2004

Di Bucchianico, A. (redactie), Läuter, H. (redactie) & Wynn, H. P. (redactie), 2004, Heidelberg: Physica-Verlag. 240 blz. (MODA : model-oriented data analysis : international workshop; vol. 7)(Contributions to statistics)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Novel methods in soft matter simulations

Karttunen, M. E. J. (redactie), Vattulainen, I. (redactie) & Lukkarinen, A. (redactie), 2004, Berlin: Springer. 393 blz. (Lecture Notes in Physics; vol. 640)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Biological systems
Students
Fluids

On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE : OTM confederated international conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings (part I)

Meersman, R. A. (redactie), Tari, Z. (redactie), Aalst, van der, W. M. P. (redactie), Bussler, C. (redactie) & Gal, A. (redactie), 2004, Berlin: Springer. 822 blz. (On the move to meaningful Internet systems : OTM confederated international conferences : proceedings; vol. 2004)(Lecture notes in computer science; vol. 3290)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE : OTM confederated international conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings (part II)

Meersman, R. A. (redactie), Tari, Z. (redactie), Aalst, van der, W. M. P. (redactie), Bussler, C. (redactie) & Gal, A. (redactie), 2004, Berlin: Springer. 823 blz. (On the move to meaningful Internet systems : OTM confederated international conferences : proceedings; vol. 2004)(Lecture notes in computer science; vol. 3291)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the 25th symposium on Information theory in the Benelux : June 2-4, 2004, Kerkrade, the Netherlands

Pellikaan, G. R. (redactie), 2004, Eindhoven: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC). 264 blz. (Information theory in the Benelux : ... symposium; vol. 25)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

243 Downloads (Pure)

Proceedings of the Eindhoven FASTAR Days 2004 : Eindhoven, The Netherlands, September 3-4, 2004

Cleophas, L. G. W. A. (redactie) & Watson, B. W. (redactie), 2004, Eindhoven: Technische Universiteit Eindhoven. 214 blz. (Computer science reports; vol. 0440)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Netherlands
Group
research facility
Czech Republic
computer science

Scientific computing in electrical engineering : proceedings of the SCEE-2002 conference held in Eindhoven

Schilders, W. H. A. (redactie), Maten, ter, E. J. W. (redactie) & Houben, S. H. M. J. (redactie), 2004, Berlin: Springer. 417 blz. (Mathematics in industry; vol. 4)(SCEE, scientific computing in electrical engineering : international conference; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Secure data management : VLDB 2004 workshop, SDM 2004, Toronto, Canada, August 30, 2004 : proceedings

Jonker, W. (redactie) & Petkovic, M. (redactie), 2004, Berlin: Springer. 218 blz. (Lecture notes in computer science; vol. 3178)(SDM : secure data management : VLDB workshop; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

85 Downloads (Pure)

SW-EL'04 : semantic web for E-learning : applications of semantic web technologies for E-learning, ISWC'04 workshop, 8th November 2004, Hiroshima

Aroyo, L. M. (redactie) & Dicheva, D. (redactie), 2004, S.l.: s.n. 110 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
253 Downloads (Pure)

Workshop on real-time for multimedia (RTMM), Catania, Italy, June 29, 2004

Stok, van der, P. D. V. (redactie), Lukkien, J. J. (redactie) & Verhoeven, P. H. F. M. (redactie), 2004, Eindhoven: Technische Universiteit Eindhoven. 74 blz. (Computer science reports; vol. 0436)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
85 Downloads (Pure)
Open Access
Bestand
2003
139 Downloads (Pure)

AH 2003 : workshop on adaptive hypermedia and adaptive web-based systems

De Bra, P. M. E. (redactie), Davis, H. (redactie), Kay, J. (redactie) & Schraefel, M. (redactie), 2003, Eindhoven: Technische Universiteit Eindhoven. 234 blz. (Computer science reports; vol. 0304)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Ambient intelligence : first European symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3-4, 2003 : proceedings

Aarts, E. H. L. (redactie), Collier, R. P. G. (redactie), Loenen, van, E. J. (redactie) & Ruyter, de, B. E. R. (redactie), 2003, Berlin: Springer. (Lecture notes in computer science; vol. 2875)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Applications and theory of Petri nets 2003 : 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings

Aalst, van der, W. M. P. (redactie) & Best, E. (redactie), 2003, Berlin: Springer. 508 blz. (Lecture notes in computer science; vol. 2679)(ICATPN : international conference on applications and theory of Petri nets and other models of concurrency : proceedings; vol. 24)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Automata, languages and programming: 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 : proceedings

Baeten, J. C. M. (redactie), Lenstra, J. K. (redactie), Parrow, J. (redactie) & Woeginger, G. J. (redactie), 2003, Berlin: Springer. 1199 blz. (Lecture notes in computer science; vol. 2719)(ICALP : international colloquium on automata, languages and programming : proceedings; vol. 30)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

13 Citaties (Scopus)

Business process management : international conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003 : proceedings

Aalst, van der, W. M. P. (redactie), Hofstede, ter, A. H. M. (redactie) & Weske, M. H. (redactie), 2003, Berlin: Springer. 389 blz. (Lecture notes in computer science; vol. 2678)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computer analysis of images and patterns : 10th international conference CAIP 2003, Groningen, The Netherlands, August 25-27, 2003 : proceedings

Petkov, N. (redactie) & Westenberg, M. A. (redactie), 2003, Berlin: Springer. 781 blz. (Lecture notes in computer science; vol. 2756)(CAIP : computer analysis of images and patterns : international conference : proceedings; vol. 10)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

93 Downloads (Pure)

Conferentie informatiewetenschap 2003, Technische Universiteit Eindhoven, 20 november 2003 : proceedings

De Bra, P. M. E. (redactie), 2003, Eindhoven: Technische Universiteit Eindhoven. 105 blz. (Computer science reports; vol. 0311)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Environmental policy in an international perspective

Marsiliani, L. (redactie), Rauscher, M. (redactie) & Withagen, C. A. A. M. (redactie), 2003, Dordrecht: Kluwer Academic Publishers. 336 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

IEEE Visualization : Seattle, Washington, October 19-24, 2003 : proceedings

Turk, G. (redactie), Wijk, van, J. J. (redactie) & Moorhead II, R. J. (redactie), 2003, Piscataway: IEEE Press. 642 blz. (VIS : IEEE visualization conference; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Local search in combinatorial optimization

Aarts, E. H. L. (redactie) & Lenstra, J. K. (redactie), 2003, 2nd redactie Princeton: Princeton University Press. 512 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

The new everyday : views on ambient intelligence

Aarts, E. H. L. (redactie) & Marzano, S. (redactie), 2003, Rotterdam: Uitgeverij 010. 352 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

Geuvers, J. H. (redactie) & Wiedijk, F. (redactie), 2003, Berlin: Springer. 330 blz. (Lecture notes in computer science; vol. 2646)(TYPES : types for proofs and programs : international conference; vol. 2002)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2002

Adaptive hypermedia and adaptive web-based systems : 2nd international conference, Malaga, Spain, May 29-31, 2002 : proceedings

De Bra, P. M. E. (redactie), Brusilovsky, P. (redactie) & Conejo, R. (redactie), 2002, Berlin: Springer. 615 blz. (Lecture notes in computer science; vol. 2347)(AH : Adaptive hypermedia and adaptive web-based systems : international conference; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Ambient intelligence in HomeLab

Aarts, E. H. L. (redactie) & Eggen, J. H. (redactie), 2002, Eindhoven: Koninklijke Philips Electronics.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

intelligence