Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Boekredactie
2011

Proceedings 10th International Workshop on the ACL2 theorem prover and its applications (ACL2 2011), Austin TX, USA, November 3-4, 2011

Hardin, D. S. (redactie) & Schmaltz, J. (redactie), 2011, EPTCS. (EPTCS; vol. 70)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Formal methods
Websites
Computer aided design
Specifications
Industry
1 Downloads (Pure)

Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011, Aachen, Germany, September 10, 2011)

Mousavi, M. R. (redactie) & Ravara, A. (redactie), 2011, EPTCS. 79 blz. (Electronic Proceedings in Theoretical Computer Science; vol. 58)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Software architecture
Grid computing
Maintainability
Reusability
Computer programming
62 Downloads (Pure)

Proceedings 18th International Workshop on Expressiveness in Concurrency (Aachen, Germany, September 5, 2011)

Luttik, B. (redactie) & Valencia, F. D. (redactie), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 64)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
comparison
services
33 Downloads (Pure)

Proceedings 8th International Workshop on Security Issues in Concurrency (SecCo, Paris, France, August 30, 2010)

Chatzikokolakis, K. (redactie) & Cortier, V. (redactie), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 51)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
France
tolerance
privacy
integrity
infrastructure

Proceedings of 4th International Workshop on Logic in Databases (LID 2011), Uppsala, Sweden, March 25, 2011

Fletcher, G. H. L. (redactie), Staworko, S. (redactie), Orsborn, K. (redactie) & Stefanova, S. (redactie), 2011, New York NY: Association for Computing Machinery, Inc.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Sweden
event
present
management
35 Downloads (Pure)

Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)

Aceto, L. (redactie) & Mousavi, M. R. (redactie), 2011, Amsterdam: Elsevier. (Electronic Proceedings in Theoretical Computer Science; vol. 60)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
First International
Iceland
language
communication policy
programming
3 Downloads (Pure)

Proceedings of the Third International Workshop on Computational Models for Cell Processes (CompMod 2011, Aachen, Germany, September 10, 2011)

Petre, I. (redactie) & Vink, de, E. P. (redactie), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 67)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

edition
computer science
Finland
biology
Netherlands

Proceedings of the workshop on Learning from medical data streams, LEMEDS'11, Bled, Slovania, July 6, 2011

Pereira Rodrigues, P. (redactie), Pechenizkiy, M. (redactie), Gaber, M. M. (redactie) & Gama, J. (redactie), 2011, Aachen: CEUR-WS.org. (CEUR Workshop Proceedings)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

learning

Proceedings Sixth International Workshop on Logical frameworks and meta-languages : theory and practice (Nijmegen, The Netherlands, August 26, 2011)

Geuvers, J. H. (redactie) & Nadathur, G. (redactie), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 71)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Metalanguage
Language Practices
The Netherlands
Proceedings
Theory of Language

Progress in Cryptology - INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011. Proceedings

Bernstein, D. J. (redactie) & Chatterjee, S. (redactie), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 7107)(INDOCRYPT : progress in cryptology : international conference in cryptology : proceedings; vol. 12)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

India

Secure data management : 8th VLDB workshop, SDM 2011 Seattle, WA, USA, September 2, 2011 : proceedings

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Information management
Security of data
Location based services
Cloud computing
Access control

Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers

Malloy, B. (redactie), Staab, S. (redactie) & Brand, van den, M. G. J. (redactie), 2011, Berlin: Springer. (SLE, software language engineering : international conference; vol. 3)(Lecture notes in computer science; vol. 6563)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Netherlands
engineering
language
software

Transactions on computational systems biology XIII

Priami, C. (redactie), Back, R. J. (redactie), Petre, I. (redactie) & Vink, de, E. P. (redactie), 2011, Berlin: Springer. (Lecture notes in bioinformatics; vol. 6575)(Transactions on computational systems biology; vol. 13)(Lecture notes in computer science; vol. 6575)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computational Biology
Systems Biology
Transactions
Formal Methods
Heritability
2010
145 Downloads (Pure)

1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands

Van Wyk, E. (redactie) & Zschaler, S. (redactie), 2010, Eindhoven: Technische Universiteit Eindhoven. 78 blz. (Computer science reports; vol. 1011)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Netherlands
engineering
language
community
student
201 Downloads (Pure)

3rd international software language engineering conference (SLE) : pre-proceedings, October 12-13, 2010, Eindhoven, the Netherlands

Brand, van den, M. G. J. (redactie), Malloy, B. (redactie) & Staab, S. (redactie), 2010, Eindhoven: Technische Universiteit Eindhoven. 31 blz. (Computer science reports; vol. 1012)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
Software engineering
Computer programming languages
Ontology
Data structures
Demonstrations

Advanced Computational Methods in Science and Engineering

Koren, B. (redactie) & Vuik, C. (redactie), 2010, Berlin: Springer. 498 blz. (Lecture notes in computational science and engineering; vol. 71)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computational Methods
Engineering

Algorithms - ESA 2010 : 18th annual European symposium, Liverpool, UK, September 6-8, 2010 : proceedings, part I

Berg, de, M. T. (redactie) & Meyer, U. (redactie), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 6346)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computational geometry
Bioinformatics
Computer science
Data structures
Students

Algorithms - ESA 2010 : 18th annual European symposium, Liverpool, UK, September 6-8, 2010 : proceedings, part II

Berg, de, M. T. (redactie) & Meyer, U. (redactie), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 6347)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computational geometry
Bioinformatics
Computer science
Data structures
Students

AP2PS 2010, the second international conference on Advances in P2P systems, Florence, Italy, October 25-30, 2010

Liotta, A. (redactie), Antonopoulos, N. (redactie) & Kambayashi, Y. (redactie), 2010, ThinkMind Digital Library. (IARIA Conference)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Second International
Italy

Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings

Massacci, F. (redactie), Wallach, D. (redactie) & Zannone, N. (redactie), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 5965)(Engineering secure software and systems : international symposium, ESSoS; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Second International
Italy
engineering
software
184 Citaties (Scopus)

Modern business process automation : YAWL and its support environment

Hofstede, ter, A. H. M. (redactie), Aalst, van der, W. M. P. (redactie), Adams, M. (redactie) & Russell, N. C. (redactie), 2010, Berlin: Springer. 676 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Business process management
Automation
Language
Business process
Inclusion

Network control and optimization : third Euro-NF conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 : proceedings

Nunez Queija, R. (redactie) & Resing, J. A. C. (redactie), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 5894)(Network control and optimization ; Euro-NF workshop, NET-COOP; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Delay tolerant networks
Peer to peer networks
Communication
Game theory
Control theory

Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA, Paris, France, September 4, 2010)

Mousavi, M. R. (redactie) & Salaün, G. (redactie), 2010, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 30)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Software architecture
Sensor networks
Satellites
5 Downloads (Pure)
information systems
Netherlands
congressional reports
organizing
closing
Data mining
Learning systems
Information systems
Recommender systems
Information retrieval

Proceedings of the International Workshop on Architectures and Building Blocks of Web-Based User-Adaptive Systems (WABBWUAS'10, Hawaii, USA, June 21, 2010)

Abel, F. (redactie), Herder, E. (redactie), Houben, G. J. P. M. (redactie), Pechenizkiy, M. (redactie) & Yudelson, M. (redactie), 2010, Aachen: CEUR-WS.org. (CEUR Workshop Proceedings; vol. 609)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010, Paphos, Cyprus, March 26-28, 2010)

Jacobs, B. P. F. (redactie), Niqui, M. (redactie), Rutten, J. J. M. M. (redactie) & Silva, A. (redactie), 2010, Amsterdam: Elsevier. (Electronic Notes in Theoretical Computer Science; vol. 264(2))

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

horst
marina
moss
control system
science

Progress in cryptology - AFRICACRYPT 2010 : third international conference on cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010 : proceedings

Bernstein, D. J. (redactie) & Lange, T. (redactie), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 6055)(Progess in cryptology - AFRICACRYPT; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

acceptance
change of location
referee
lending
communications

Secure data management : 7th VLDB workshop, SDM 2010 Singapore, September 17, 2010 : proceedings

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Singapore
management

Software language engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers

Brand, van den, M. G. J. (redactie), Gasevic, D. (redactie) & Gray, J. (redactie), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 5969)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Second International
engineering
language
software

The semantic web : research and applications : 7th extended semantic web conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010 : proceedings

Aroyo, L. M. (redactie), Antoniou, G. (redactie), Hyvönen, E. (redactie), Teije, ten, A. (redactie), Stuckenschmidt, H. (redactie), Cabral, L. (redactie) & Tudorache, T. (redactie), 2010, Berlin: Springer. 2 blz. (Lecture notes in computer science; vol. 6088-6089)(The semantic web : research and applications : European semantic web conference, ESWC; vol. 7)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Semantic Web
Ontology
Semantics
Computer science
Artificial intelligence

User modeling, adaptation, and personalization : 18th International conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010 : proceedings

De Bra, P. M. E. (redactie), Kobsa, A. (redactie) & Chin, D. (redactie), 2010, Berlin: Springer. (UMAP : user modeling, adaptation, and personalization : international conference; vol. 18)(Lecture notes in computer science; vol. 6075)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

modeling
2009
Artificial intelligence
Learning systems
Industry
Semantic Web
Multi agent systems

Engineering secure software and systems : first international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009 : proceedings

Massacci, F. (redactie), Redwine, S. T. (redactie) & Zannone, N. (redactie), 2009, Berlin: Springer. (Lecture notes in computer science; vol. 5429)(Engineering secure software and systems : international symposium, ESSoS; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

First International
Belgium
engineering
software

E-voting and identity : second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 : proceedings

Ryan, P. Y. A. (redactie) & Schoenmakers, B. (redactie), 2009, Berlin: Springer. (Lecture notes in computer science; vol. 5767)(E-voting and identity : international conference, VOTE-ID; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Second International
Luxembourg
voting
sponsorship
event
13 Citaties (Scopus)

Handbook of research on business process modeling

Cardoso, J. (redactie) & Aalst, van der, W. M. P. (redactie), 2009, Hershey: Information Science Reference. 607 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Logic Colloquium 2006

Cooper, S. B. (redactie), Geuvers, J. H. (redactie), Pillay, A. (redactie) & Väänänen, J. (redactie), 2009, Cambridge: Cambridge University Press.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Logic
Colloquium
Proceedings
Computability
Proof Theory

Post-quantum cryptography

Bernstein, D. J. (redactie), Buchmann, J. (redactie) & Dahmen, E. (redactie), 2009, Berlin: Springer. 245 blz. (PQCrypto : international workshop on post-quantum cryptography; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

109 Downloads (Pure)

Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)

Andova, S. (redactie), McIver, A. (redactie), D'Argenio, P. R. (redactie), Cuijpers, P. J. L. (redactie), Markovski, J. (redactie), Morgan, C. (redactie) & Núñez, M. (redactie), 2009, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 13)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
method
97 Downloads (Pure)

Proceedings of Formal Methods 2009 Doctoral Symposium, November 6, 2009, Eindhoven, The Netherlands

Mousavi, M. R. (redactie) & Sekerinski, E. (redactie), 2009, Eindhoven: Technische Universiteit Eindhoven. 67 blz. (Computer science reports; vol. 0915)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

Proceedings of the twenty-eigth ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems, PODS'09, Providence, Rhode Island, USA, June 29 - July 1, 2009

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Polynomials
Students
Second International
Netherlands
European Community

Secure data management : 6th VLDB workshop, SDM 2009 Lyon, France, August 28, 2009 : proceedings

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Access control
Information management
Location based services

The first international conference on Advances in P2P Systems, AP2PS 2009, Sliema, Malta, October 11-16, 2009

Liotta, A. (redactie), Antonopoulos, N. (redactie), Exarchakos, G. (redactie) & Hara, T. (redactie), 2009, Piscataway: Institute of Electrical and Electronics Engineers.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Large scale systems

Transactions on Petri nets and other models of concurrency II : special issue on concurrency in process-aware information systems

Jensen, K. (redactie) & Aalst, van der, W. M. P. (redactie), 2009, Berlin: Springer. 295 blz. (ToPNoC : transactions on Petri nets and other models of concurrency; vol. 2)(Lecture notes in computer science; vol. 5460)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Trends in interactive visualization : state-of-the-art survey

Zudilova-Seinstra, E. (redactie), Adriaansen, T. (redactie) & Liere, van, R. (redactie), 2009, London: Springer. (Advanced information and knowledge processing)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Visualization

User modeling, adaptation, and personalization : 17th international conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009 : proceedings

Houben, G. J. P. M. (redactie), McCalla, G. I. (redactie), Pianesi, F. (redactie) & Zancanaro, M. (redactie), 2009, Berlin: Springer. (Lecture notes in computer science; vol. 5535)(UMAP : user modeling, adaptation, and personalization : international conference; vol. 17)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

modeling
industry
artificial intelligence
programme
software
2008

(Computer graphics forum): special issue EuroVis

Vilanova, A. (redactie), Telea, A. C. (redactie), Scheuermann, G. & Moller, T., 1 mei 2008

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Advances in conceptual modeling - challenges and opportunities : ER 2008 workshops CNLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 20-23, 2008 : proceedings

Song, I. Y. (redactie), Piattini, M. (redactie), Chen, Y. P. (redactie), Hartmann, S. (redactie), Grandi, F. (redactie), Trujillo, J. (redactie), Opdahl, A. L. (redactie), Ferri, F. (redactie), Grifoni, P. (redactie), Caschera, M. C. (redactie), Rolland, C. (redactie), Woo, C. (redactie), Salinesi, C. (redactie), Zimányi, E. (redactie), Claramunt, C. (redactie), Frasincar, F. (redactie), Houben, G. J. P. M. (redactie) & Thiran, P. (redactie), 2008, Berlin: Springer. (Lecture notes in computer science; vol. 5232)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Spain