Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Boekredactie

BPIC 2013. Business Process Intelligence Challenge 2013. Proceedings of the 3rd Business Process Intelligence Challenge co-located with 9th International Business Process Intelligence Workshop (BPI 2013), Beijing, China, August 26, 2013

van Dongen, B. (redactie), Weber, B. (redactie), Ferreira, D. R. (redactie) & De Weerdt, J. (redactie), 2013, CEUR-WS.org. (CEUR Workshop Proceedings; vol. 1052)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access

Discrimination and privacy in the information society : data mining and profiling in large databases

Custers, B. H. M. (redactie), Calders, T. G. K. (redactie), Schermer, B. W. (redactie) & Zarsky, T. Z. (redactie), 2013, Berlin: Springer. 370 blz. (Studies in applied philosphy, epistemology and rational ethics; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (Scopus)

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures

Bernardo, M. (redactie), Vink, de, E. P. (redactie), Di Pierro, A. (redactie) & Wiklicky, H. (redactie), 2013, Berlin: Springer. 181 blz. (Lecture notes in computer science; vol. 7938)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Formal Methods
Software System
Communication Systems
Dynamical system
Model Checking

LAK 2013 : third international conference on learning analytics and knowledge : Leuven, Belgium, April 08-12, 2013

Suthers, D. D. (redactie), Verbert, K. (redactie), Duval, E. (redactie) & Ochoa, X. (redactie), 2013, New York: Association for Computing Machinery, Inc.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Students
Processing
Big data

New trends in databases and information systems

Pechenizkiy, M. (redactie) & Wojciechowski, M. (redactie), 2013, Berlin: Springer. 454 blz. (Advances in intelligent systems and computing; vol. 185)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Information systems

Pairing-Based Cryptography - Pairing 2012 : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

Abdalla, M. (redactie) & Lange, T. (redactie), 2013, Berlin: Springer. 333 blz. (Lecture notes in computer science; vol. 7708)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Cryptography
Computer hardware
Industry

Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering (Rome, Italy, March 24, 2013)

Wijs, A. J. (redactie), Bosnacki, D. (redactie) & Edelkamp, S. (redactie), 2013, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 138)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Inspection
Parallel architectures
Model checking
Computer science
Artificial intelligence
185 Downloads (Pure)

Proceedings of the 2012 Workshop on Ambient Intelligence Infrastructures (WAmIi)

Ozcelebi, T. (redactie), Weffers-Albu, M. A. (redactie) & Lukkien, J. J. (redactie), 2013, Eindhoven: Technische Universiteit Eindhoven. 34 blz. (Computer science reports; vol. 1305)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Ambient intelligence

Proceedings of the 22nd international symposium on high-performance parallel and distributed computing (HPDC'13) : New York, NY, USA, June 17-21, 2013

Parashar, M. (redactie), Weissman, J. B. (redactie), Epema, D. H. J. (redactie) & Figueiredo, R. J. O. (redactie), 2013, New York: Association for Computing Machinery, Inc. 262 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Distributed computer systems
Parallel processing systems
Public relations
Telecommunication networks
Innovation

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS'13, Porto, Portugal, June 20-22, 2013)

Pereira Rodrigues, P. (redactie), Pechenizkiy, M. (redactie), Gama, J. (redactie), Cruz-Correia, R. (redactie), Liu, J. (redactie), Traina, A. J. M. (redactie), Lucas, P. J. F. (redactie) & Soda, P. (redactie), 2013, Piscataway NJ: Institute of Electrical and Electronics Engineers.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

265 Downloads (Pure)

Proceedings of the 84th European Study Group Mathematics with Industry (SWI 2012), Eindhoven, January 30 - February 3, 2012

Boon, M. A. A. (redactie), Di Bucchianico, A. (redactie), Draisma, J. (redactie), Hofstad, van der, R. W. (redactie), Muntean, A. (redactie), Peletier, M. A. (redactie) & Oosterwijk, J. (redactie), 2013, s.l.: s.n. 151 blz. (Mathematics with industry : European Study Group : proceedings (SWI); vol. 84)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Industry
India
Mathematical Modeling
Moment
Geometric Algorithms
52 Downloads (Pure)

Proceedings of the BPM Demo sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)

Fauvet, M. C. (redactie) & Dongen, van, B. F. (redactie), 2013, Aachen: CEUR-WS.org. 40 blz. (CEUR Workshop Proceedings; vol. 1021)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
54 Downloads (Pure)

Proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013, Buenos Aires, Argentina, August 26, 2013)

Borgström, J. (redactie) & Luttik, B. (redactie), 2013, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 120)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Semantics
Computer programming languages
Mathematical models
Computer systems programming
Object oriented programming
1 Downloads (Pure)

Scheduling (Report from Dagstuhl Seminar 13111, March 10-15, 2013)

Albers, S. (redactie), Boxma, O. J. (redactie) & Pruhs, K. R. (redactie), 2013, Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 blz. (Dagstuhl Reports; vol. 3(3))

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

scheduling
community
dialogue
2 Citaties (Scopus)

Transactions on Petri Nets and Other Models of Concurrency VII

Jensen, K. (redactie), Aalst, van der, W. M. P. (redactie), Balbo, G. (redactie), Koutny, M. (redactie) & Wolf, K. (redactie), 2013, Berlin: Springer. (ToPNoC : transactions on Petri nets and other models of concurrency; vol. 7)(Lecture notes in computer science; vol. 7480)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

transaction

Transactions on Petri Nets and Other Models of Concurrency VIII

Koutny, M. (redactie), Aalst, van der, W. M. P. (redactie) & Yakovlev, A. (redactie), 2013, Berlin: Springer. (Lecture notes in computer science; vol. 8100)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Petri nets
Model checking
Biological systems
Education
Network protocols

Virtual Realities (Dagstuhl Seminar 13241, June 9-14, 2013)

Brunnett, G. (redactie), Coquillart, S. (redactie), Liere, van, R. (redactie) & Welch, G. F. (redactie), 2013, Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 38 blz. (Dagstuhl Reports; vol. 3(6))

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

working group
virtual reality
expert
2012

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Barthe, G. (redactie), Datta, A. (redactie) & Etalle, S. (redactie), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7140)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Belgium

Graph Drawing : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011. Revised Selected Papers

Kreveld, van, M. J. (redactie) & Speckmann, B. (redactie), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7034)(Graph drawing, GD : international symposium : proceedings; vol. 2011)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Netherlands

HPDC ´12 : proceedings of the 21st ACM symposium on high-performance parallel and distributed computing, June 18-22, 2012, Delft, The Netherlands

Epema, D. H. J. (redactie), Kielmann, T. (redactie) & Ripeanu, M. (redactie), 2012, New York: Association for Computing Machinery, Inc. 296 blz. (HPDC : high performance distributed computing : IEEE international symposium : proceedings; vol. 21)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Distributed computer systems
Parallel processing systems
Digital libraries
Astronomy
Grid computing

Mathematical Methods for Signal and Image Analysis and Representation

Florack, L. M. J. (redactie), Duits, R. (redactie), Jongbloed, G. (redactie), Lieshout, van, M. N. M. (redactie) & Davies, P. L. (redactie), 2012, London: Springer. (Computational imaging and vision. CIVI; vol. 41)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Signal analysis
Image analysis

Parameterized and exact computation : 7th international symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings

Thilikos, D. M. (redactie) & Woeginger, G. J. (redactie), 2012, Berlin: Springer. 273 blz. (Lecture notes in computer science; vol. 7535)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Inspection
Parallel architectures
Model checking
Computer science
Artificial intelligence
71 Downloads (Pure)
Open Access
Bestand
Semantics
Computer programming languages
Mathematical models
Computer systems programming
Object oriented programming

Proceedings Fourth Workshop on Classical Logic and Computation (Warwick, England, 8th July 2012)

Geuvers, J. H. (redactie) & de'Liguoro, U. (redactie), 2012, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 97)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computational
Logic
Proceedings
England
Classical Logic

Proceedings of 2nd International Workshop on Dynamic and Adaptive Hypertext (DAH'2011, Eindhoven, The Netherlands, June 6, 2011)

Pechenizkiy, M. (redactie), Knutov, E. (redactie), Yudelson, M. (redactie), Abel, F. (redactie), Houben, G. J. P. M. (redactie) & Herder, E. (redactie), 2012, Aachen: CEUR-WS.org. 52 blz. (CEUR Workshop Proceedings; vol. 823)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

hypertext
Netherlands

Proceedings of CBMS 2012, the 25th IEEE symposium on computer-based medical systems : June 20th -22th, Rome, Italy

Soda, P. (redactie), Tortorella, F. (redactie), Antani, S. (redactie), Pechenizkiy, M. (redactie), Cannataro, M. (redactie) & Tsymbal, A. (redactie), 2012, New York: Institute of Electrical and Electronics Engineers.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

gipsy
anniversary
edition
Italy

Scaling limits in models of statistical mechanics

Alexander, K. (redactie), Biskup, M. (redactie), Hofstad, van der, R. W. (redactie) & Sidoravicius, V. (redactie), 2012, Oberwolfach: Mathematisches Forschungsinstitut Oberwolfach. 90 blz. (Oberwolfach Reports; vol. 44/2012)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

statistical mechanics
scaling
random processes
continuums
polymers

Secure data management : 9th VLDB workshop, SDM 2012, Istanbul, Turkey, August 27, 2012 : proceedings

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Turkey
management
2 Downloads (Pure)

The fourth international conference on Advances in P2P systems, AP2PS 2012, September 23-28, 2012, Barcelona, Spain

Antonopoulos, N. (redactie), Liotta, A. (redactie) & Di Fatta, G. (redactie), 2012, Wilmington, DE: XPS (Xpert Publishing Services).

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Spain

Theoretical Computer Science : proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012

Baeten, J. C. M. (redactie), Ball, T. (redactie) & Boer, de, F. S. (redactie), 2012, Berlin: Springer. 387 blz. (Lecture notes in computer science; vol. 7604)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Transactions on Computational Systems Biology XIV

Priami, C. (redactie), Petre, I. (redactie) & Vink, de, E. P. (redactie), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7625)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Biological Sciences

Transactions on Petri nets and other models of concurrency VI

Jensen, K. (redactie), Aalst, van der, W. M. P. (redactie), Ajmone Marsan, M. (redactie), Franceschinis, G. (redactie), Kleijn, J. (redactie) & Kristensen, L. M. (redactie), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7400)(ToPNoC : transactions on Petri nets and other models of concurrency; vol. 6)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

transaction
information management
data management
2011

AP2PS 2011, the third international conference on Advances in P2P systems, Lisbon, Portugal, November 20-25, 2011

Liotta, A. (redactie), Antonopoulos, N. (redactie), Di Fatta, G. (redactie), Hara, T. (redactie) & Vu, Q. H. (redactie), 2011, ThinkMind Digital Library. (IARIA Conference)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Portugal
1165 Downloads (Pure)

EDM 2011: 4th international conference on educational data mining : Eindhoven, July 6-8, 2011 : proceedings

Pechenizkiy, M. (redactie), Calders, T. G. K. (redactie), Conati, C. (redactie), Ventura, S. (redactie), Romero, C. (redactie) & Stamper, J. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 374 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Encyclopedia of Cryptography and Security

Tilborg, van, H. C. A. (redactie) & Jajodia, S. (redactie), 2011, 2nd ed. redactie New York: Springer. 1440 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

edition
coverage
lack
trend

Engineering secure software and systems : third international symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings

Erlingsson, U. (redactie), Wieringa, R. J. (redactie) & Zannone, N. (redactie), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6542)(Engineering secure software and systems : international symposium, ESSoS; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Spain
engineering
software

European success stories in industrial mathematics

Lery, T. (redactie), Primicerio, M. (redactie), Esteban, M. J. (redactie), Fontes, M. (redactie), Maday, Y. (redactie), Mehrmann, V. (redactie), Quadros, G. (redactie), Schilders, W. H. A. (redactie), Schuppert, A. (redactie) & Tewkesbury, H. (redactie), 2011, Dordrecht: Springer.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

Degano, P. (redactie), Etalle, S. (redactie) & Guttman, J. (redactie), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6561)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Italy
privacy
data protection
information flow
interaction

Handbook of educational data mining

Romero, C. (redactie), Ventura, S. (redactie), Pechenizkiy, M. (redactie) & Baker, de, R. S. J. (redactie), 2011, Boca Raton: CRC Press. 513 blz. (Chapman and Hall/CRC data mining and knowledge discovery series)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

HT 2011 : Proceedings of the 22nd ACM Conference on Hypertext and Hypermedia, Eindhoven, The Netherlands, June 6-9, 2011

De Bra, P. M. E. (redactie) & Gronbak, K. (redactie), 2011, New York: Association for Computing Machinery, Inc. 334 blz. (HT : hypertext ... : ACM conference; vol. 22)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

hypermedia
hypertext
Netherlands
PC
university teacher

Integer programming and combinatorial optimization : 15th international conference, IPCO 2011, New York NY, USA, June 15-17, 2011 : proceedings

Günlük, O. (redactie) & Woeginger, G. J. (redactie), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6655)(IPCO : integer programming and combinatorial optimization : international conference : proceedings; vol. 15)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Combinatorial optimization
Integer programming
Mathematical programming

Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, 22-25, 2011 : proceedings

van Eekelen, M. (redactie), Geuvers, J. H. (redactie), Schmaltz, J. (redactie) & Wiedijk, F. (redactie), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6898)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Theorem proving
Industry
Planning
771 Downloads (Pure)

Jan Karel Lenstra : the traveling science man : liber amicorum

Heijden, van der, M. Y. (redactie), Koren, B. (redactie), Mei, van der, R. D. (redactie) & Vonderen, van, C. (redactie), 2011, Amsterdam: Centrum voor Wiskunde en Informatica. 274 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
51 Downloads (Pure)

Liber amicorum Bob Mattheij

Rook, R. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 54 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Liber amicorum Kees van Hee

Aalst, van der, W. M. P. (redactie), De Bra, P. M. E. (redactie) & Buul-de Greef, van, M. A. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 114 blz.

Onderzoeksoutput: Boek/rapportBoekredactiePopulair

Liber amicorum voor Henk van Tilborg : Klabotscrypt

Asch, van, A. G. (redactie), Klooster, J. G. W. (redactie), Schoenmakers, L. A. M. (redactie) & Weger, de, B. M. M. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 169 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

8 Citaties (Scopus)

Model reduction for circuit simulation

Benner, P. (redactie), Hinze, M. (redactie) & Maten, ter, E. J. W. (redactie), 2011, Dordrecht: Springer. (Lecture notes in electrical engineering; vol. 74)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Circuit simulation