Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Boekredactie
2002

Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Brinksma, E. (redactie) & Larsen, K. G. (redactie), 2002, Berlin: Springer. 623 blz. (Lecture notes in computer science; vol. 2404)(CAV : computer-aided verification : international conference : proceedings; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

51 Downloads (Pure)

Concepts and ontologies in web-based educational systems : workshop, Auckland, New Zealand

Aroyo, L. M. (redactie) & Dicheva, D. (redactie), 2002, Eindhoven: Technische Universiteit Eindhoven. 62 blz. (Computer science reports; vol. 0215)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand

Environmental economics and the international economy

Marsiliani, L. (redactie), Rauscher, M. (redactie) & Withagen, C. A. A. M. (redactie), 2002, Dordrecht: Kluwer Academic Publishers. (Economy and environment; vol. 25)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

International economy
Environmental economics

Equilibrium, markets and dynamics : essays in honour of Claus Weddepohl

Hommes, C. H. (redactie), Ramer, R. (redactie) & Withagen, C. A. A. M. (redactie), 2002, Berlin: Springer. 344 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

Watson, B. W. (redactie) & Wood, D. (redactie), 2002, Berlin: Springer. 288 blz. (Lecture notes in computer science; vol. 2494)(CIAA : international conference on implementation and application of automata; vol. 6)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Information, coding and mathematics : proceedings of workshop honoring Prof. Bob McEliece on his 60th birthday

Blaum, M. (redactie), Farrell, P. G. (redactie) & Tilborg, van, H. C. A. (redactie), 2002, Boston: Kluwer Academic Publishers. 392 blz. (The Kluwer international series in engineering and computer science. SECS; vol. 687)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Mathematical software : proceedings of the 1st international congress of mathematical software, Beijing 17-19 August 2002

Cohen, A. M. (redactie), Gao, X. S. (redactie) & Takayama, N. (redactie), 2002, Singapore: World Scientific. 514 blz. (ICMS : international congress on mathematical software; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

Bosnacki, D. (redactie) & Leue, S. (redactie), 2002, Berlin: Springer. 257 blz. (Lecture notes in computer science; vol. 2318)(Model checking software : international SPIN workshop; vol. 9)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

France
Software
Education

Multiscale problems in science and technology : challenges to mathematical analysis and perspectives

Antonic, N. (redactie), Duijn, van, C. J. (redactie), Jäger, W. (redactie) & Mikelic, A. (redactie), 2002, Berlin: Springer. 306 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Multiscale Problems
Mathematical Analysis
Materials Science
Petroleum
Nonlinear Partial Differential Equations

Trust in electronic commerce : the role of trust from a legal, an organizational and a technical point of view

Prins, J. E. J. (redactie), Ribbers, P. M. A. (redactie), Tilborg, van, H. C. A. (redactie), Veth, A. F. L. (redactie) & Wees, van der, J. G. L. (redactie), 2002, The Hague: Kluwer law International. 309 blz. (Law and electronic commerce; vol. 15)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

2001
101 Downloads (Pure)

7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings

Feijs, L. M. G. (redactie), Mauw, S. (redactie), Goga, N. (redactie) & Willemse, T. A. C. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 110 blz. (Computer science reports; vol. 0110)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
902 Downloads (Pure)

Adaptive hypertext and hypermedia : workshop : proceedings, 3rd, Sonthofen, Germany, July 14, 2001 and Aarhus, Denmark, August 15, 2001

De Bra, P. M. E. (redactie), Brusilovsky, P. (redactie) & Kobsa, A. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 223 blz. (Computer science reports; vol. 0111)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Human computer interaction
Software engineering

Finite Geometries : proceedings of the fourth Isle of Thorns Conference, July 16-21, 2000

Blokhuis, A. (redactie), Hirschfeld, J. W. P. (redactie), Jungnickel, D. (redactie) & Thas, J. A. (redactie), 2001, Dordrecht: Kluwer Academic Publishers. 376 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Integer programming and combinatorial optimization : 8th international IPCO conference, Utrecht, The Netherlands, June 13-15, 2001 : proceedings

Aardal, K. I. (redactie) & Gerards, A. M. H. (redactie), 2001, Berlin: Springer. 421 blz. (Lecture notes in computer science; vol. 2081)(IPCO : integer programming and combinatorial optimization : international conference : proceedings; vol. 8)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

Brinksma, E. (redactie), Hermanns, H. (redactie) & Katoen, J. P. (redactie), 2001, Berlin: Springer. 429 blz. (Lecture notes in computer science; vol. 2090)(EEF/Euro summer school on trends in computer science; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

370 Downloads (Pure)

Liber amicorum Jos Jansen

Anthonissen, M. J. H. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 132 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
50 Downloads (Pure)

Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings

Baeten, J. C. M. (redactie), Bosnacki, D. (redactie), Voeten, J. P. M. (redactie) & Holenderski, L. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 91 blz. (Computer science reports; vol. 0114)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Model checking
Computer science
Telecommunication industry
Sequential circuits
Formal methods
2000

Business process management : models, techniques, and empirical studies

Aalst, van der, W. M. P. (redactie), Desel, J. (redactie) & Oberweis, A. (redactie), 2000, Berlin: Springer. 391 blz. (Lecture notes in computer science; vol. 1806)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

140 Downloads (Pure)

Conferentie informatiewetenschap 2000, de Doelen, Utrecht, 5 april 2000

Vet, van der, P. (redactie) & De Bra, P. M. E. (redactie), 2000, Eindhoven: Technische Universiteit Eindhoven. 98 blz. (Computing science reports; vol. 0020)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Constraint databases

Kuper, G. M. (redactie), Libkin, L. (redactie) & Paredaens, J. (redactie), 2000, Berlin: Springer.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Infinite dimensional stochastic analysis

Clément, P. P. J. E. (redactie), Hollander, den, W. T. F. (redactie), Neerven, van, J. (redactie) & Pagter, de, B. (redactie), 2000, Amsterdam: Koninklijke Nederlandse Akademie van Wetenschappen (KNAW). 282 blz. (Koninklijke Nederlandse Akademie van Wetenschappen : verhandelingen, afd. natuurkunde, eerste reeks; vol. 52)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Model-based decision support methodology with environmental applications

Wierzbicki, A. P. (redactie), Makowski, M. (redactie) & Wessels, J. (redactie), 2000, Dordrecht: Kluwer Academic Publishers. 475 blz. (Mathematical modelling : theory and applications. MMTA; vol. 9)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

59 Downloads (Pure)

Proceedings of the thirty-sixth European Study Group with Industry (ESGI36) : Eindhoven, The Netherlands, 15-19 November 1999

Molenaar, J. (redactie), 2000, Eindhoven: Technische Universiteit Eindhoven. 76 blz. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 00-WSK-01)(Mathematics with industry : European Study Group : proceedings (SWI); vol. 36)(Studiegroep Wiskunde met de Industrie (SWI) : verslag; vol. 1999)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
1999

CONCUR'99 : concurrency theory: 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 : proceedings

Baeten, J. C. M. (redactie) & Mauw, S. (redactie), 1999, Berlin: Springer. 573 blz. (Lecture notes in computer science; vol. 1664)(CONCUR, international conference on concurrency theory : proceedings; vol. 10)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

133 Downloads (Pure)

Conferentie informatiewetenschap 1999 : Centrum voor Wiskunde en Informatica, 12 november 1999 : proceedings

De Bra, P. M. E. (redactie) & Hardman, H. L. (redactie), 1999, Eindhoven: Technische Universiteit Eindhoven. 98 blz. (Computing science reports; vol. 9920)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
11 Citaties (Scopus)

Hybrid systems : computation and control: second international workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings

Vaandrager, F. W. (redactie) & Schuppen, van, J. H. (redactie), 1999, Berlin: Springer. 270 blz. (Lecture notes in computer science; vol. 1569)(HSCC : hybrid systems : computation and control : international conference; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

281 Downloads (Pure)

Second workshop on adaptive systems and user modeling on the World Wide Web

Brusilovsky, P. (redactie) & De Bra, P. M. E. (redactie), 1999, Eindhoven: Technische Universiteit Eindhoven. 119 blz. (Computing science reports; vol. 9907)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Selected publications of Eugene L. Lawler

Aardal, K. I. (redactie), Lenstra, J. K. (redactie), Maffioli, F. (redactie) & Shmoys, D. B. (redactie), 1999, Amsterdam: Centrum voor Wiskunde en Informatica. 318 blz. (CWI tracts; vol. 126)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

58 Downloads (Pure)

The proceedings of the first international symposium on Visual Formal Methods VFM'99, Eindhoven, August 23rd, 1989

Bosnacki, D. (redactie), Mauw, S. (redactie) & Willemse, T. A. C. (redactie), 1999, Eindhoven: Technische Universiteit Eindhoven. 114 blz. (Computing science reports; vol. 9908)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

WebNet 99 : proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, October 24-30, 1999

De Bra, P. M. E. (redactie) & Leggett, J. (redactie), 1999, Charlottesville: Association for the Advancement of Computing in Education. 1825 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

World Wide Web
Internet
Electronic publishing
Digital libraries
Medical applications

Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

Etalle, S. (redactie) & Smaus, J. G. (redactie), 1999, Amsterdam: Elsevier. 125 blz. (Electronic Notes in Theoretical Computer Science; vol. 30, nr. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1998
163 Downloads (Pure)

Adaptive hypertext and hypermedia : proceedings of the 2nd workshop, Pittsburgh, Pa., June 20-24, 1998

Brusilovsky, P. (redactie) & De Bra, P. M. E. (redactie), 1998, Eindhoven: Technische Universiteit Eindhoven. 95 blz. (Computing science reports; vol. 9812)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Multimodal human-computer communication : systems, techniques, and experiments

Bunt, H. C. (redactie), Beun, R. J. (redactie) & Borghuis, V. A. J. (redactie), 1998, Berlin: Springer. 343 blz. (Lecture notes in computer science; vol. 1374)(Lecture notes in artificial intelligence; vol. 1374)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Nonlinear control systems design 1998 (NOLCOS'98) : a proceedings volume from the 4th IFAC Symposium, Enschede, The Netherlands, 1-3 July 1998

Huijberts, H. J. C. (redactie), Nijmeijer, H. (redactie), Schaft, van der, A. J. (redactie) & Scherpen, J. M. A. (redactie), 1998, Oxford: Pergamon. 2 blz. (NOLCOS : nonlinear control systems design : IFAC symposium : proceedings; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

6 Citaties (Scopus)

Online algorithms : the state of the art

Fiat, A. (redactie) & Woeginger, G. (redactie), 1998, Berlin: Springer. (Lecture notes in computer science; vol. 1442)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems, PODS 1998 : Seattle, Washington, June 1-3, 1998

Mendelson, A. (redactie) & Paredaens, J. (redactie), 1998, New York: Association for Computing Machinery, Inc. (PODS : principles of database systems : proceedings of the ACM SIGACT-SIGMOD-SIGART symposium; vol. 17)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988

Groote, J. F. (redactie), Luttik, S. P. (redactie) & Wamel, van, J. J. (redactie), 1998, Amsterdam: SMC. 370 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

357 Downloads (Pure)

User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998

Backhouse, R. C. (redactie), 1998, Eindhoven: Technische Universiteit Eindhoven. 180 blz. (Computing science reports; vol. 9808)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
358 Downloads (Pure)
Open Access
Bestand

Workshop on generic programming

Backhouse, R. C. (redactie) & Sheard, T. (redactie), 1998, Berlin: Springer.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

1997

Algorithms - ESA '97: 5th annual European symposium, Graz, Austria, September 15-17, 1997 : proceedings

Burkard, R. E. (redactie) & Woeginger, G. J. (redactie), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1284)(Algorithms - ESA : annual European symposium on algorithms : proceedings; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration : results of the BRITE/EURAM projects AERO-CT89-0003 and AER2-CT92-00040, 1989-1995

Deconinck, H. (redactie) & Koren, B. (redactie), 1997, Braunschweig: Vieweg. 569 blz. (Notes on numerical fluid mechanics. NNFM; vol. 57)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

66 Downloads (Pure)
Open Access
Bestand

Local search in combinatorial optimization

Aarts, E. H. L. (redactie) & Lenstra, J. K. (redactie), 1997, Chichester: Wiley-Interscience. 512 blz. (Wiley-Interscience series in discrete mathematics and optimization)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

234 Downloads (Pure)

The language/action perspective : 2nd international workshop on communication modeling (LAP'97), Veldhoven, The Netherlands, 9-10 June, 1997

Dignum, F. P. M. (redactie) & Dietz, J. L. G. (redactie), 1997, Eindhoven: Eindhoven University of Technology. 147 blz. (Computing science reports; vol. 9709)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Brinksma, E. (redactie), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1217)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Informatiesystemen: modelleren en specificeren

Aalst, van der, W. M. P. (redactie), Aerts, A. T. M. (redactie), Koppelman, H. (redactie) & Schuwer, R. V. (redactie), 1996, Heerlen: Open Universiteit. 3 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1995
211 Downloads (Pure)

ACP : algebra of communicating processes : workshop : proceedings, 2nd, Eindhoven, The Netherlands, 1995

Ponse, A. J. (redactie), Verhoef, C. (redactie) & Vlijmen, van, S. F. M. (redactie), 1995, Eindhoven: Technische Universiteit Eindhoven. 451 blz. (Computing science reports; vol. 9514)(ACP, algebra of communicating processes : workshop : proceedings; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand

Computer algebra in industry : problem solving in practice, 2

Cohen, A. M. (redactie), Gastel, van, L. J. (redactie) & Verduyn Lunel, S. M. (redactie), 1995, Chichester: Wiley. 323 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel