Research Output 1968 2019

Filter
Chapter
2019
1 Citation (Scopus)

Approximating (k,ℓ)-center clustering for curves

Buchin, K., Driemel, A., Gudmundsson, J., Horton, M., Kostitsyna, I., Löffler, M. & Struijs, M., 2 Jan 2019, 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Chan, T. M. (ed.). Society for Industrial and Applied Mathematics (SIAM), p. 2922-2938 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
Clustering
Curve
Simplification
Approximation
Hardness of Approximation
2018

Eventpad : a visual analytics approach to network intrusion detection and reverse engineering

Cappers, B. C. M., van Wijk, J. J. & Etalle, S., 23 Apr 2018, European Cyper Security Perspectives 2018. Den Haag: KPN, p. 62-65 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Open Access
File
Reverse engineering
Intrusion detection
2017

Unified part-patch segmentation of mesh shapes using surface skeletons

Koehoorn, J., Feng, C., Kustra, J., Jalba, A. & Telea, A., 1 Jan 2017, Skeletonization: Theory, Methods and Applications. Amsterdam: Elsevier, p. 89-122 34 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Data storage equipment
Costs
2016

Quadtrees and Morton indexing

Haverkort, H. J. & Toma, L., 2016, Encyclopedia of Algorithms . Kao, M-Y. (ed.). Springer, p. 1637-1642

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2014

Robustness of the gray code arrangements of the genetic code in mitochondria

Bosnacki, D., Eikelder, ten, H. M. M., Maanders, M. & Hilbers, P. A. J., 2014, ICT Innovations 2014 : World of Data. Madevska Bogdanova, A. & Gjorgjevikj, D. (eds.). Cham: Springer, p. 299-308 (Advances in Intelligent Systems and Computing; vol. 311)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Mitochondria
Proteins

Terrain modeling for the geosciences

Haverkort, H. J. & Toma, L., 2014, Computing Handbook . Tucker, A., Gonzalez, T., Topi, H. & Diaz-Herrera, J. (eds.). 3rd ed. ed. Chapman & Hall/CRC Press, p. 1-21

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2013
9 Citations (Scopus)

Visualization of vessel traffic

Willems, C. M. E., Scheepens, R. J., Wetering, van de, H. M. M. & Wijk, van, J. J., 2013, Situation Awareness with Systems of Systems. Laar, van de, P., Tretmans, J. & Borth, M. (eds.). New York: Springer, p. 73-87

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Visualization
Trajectories
Rapid prototyping
Ships
Hardware
2012
1 Citation (Scopus)

Enhanced DTI tracking with adaptive tensor interpolation

Crippa, A., Jalba, A. C. & Roerdink, J. B. T. M., 2012, Visualization in Medicine and Life Sciences II. Linsen, L., Hamann, B., Hagen, H. & Hege, H. C. (eds.). Berlin: Springer, p. 173-190 (Mathematics and Visualization)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Diffusion tensor imaging
Tensors
Interpolation
Anisotropy
Fiber reinforced materials
2011
2 Citations (Scopus)

Modeling and analysis of biological networks with model checking (Chapter 39)

Bosnacki, D., Hilbers, P. A. J., Mans, R. S. & Vink, de, E. P., 2011, Algorithms in computational molecular biology : techniques, approaches and applications. Elloumi, M. & Zomaya, A. Y. (eds.). Hoboken: Wiley, p. 915-940 (Wiley Series in Bioinformatics)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

modeling
analysis
2010

Evaluation

Wijk, van, J. J., Isenberg, T., Roerdink, J. B. T. M., Telea, A. C. & Westenberg, M. A., 2010, Mastering The Information Age: Solving Problems with Visual Analytics. Keim, D., Kohlhammer, J., Ellis, G. & Mansmann, F. (eds.). Goslar: Eurographics Association, p. 131-144

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

evaluation

Identification de diatomées par morphologie mathématique

Wilkinson, M. H. F., Urbach, E. R., Jalba, A. C. & Roerdink, J. B. T. M., 2010, Morphologie Mathématique 2 : estimation, choix et mise en oeuvre. Talbot, H. & Najman, L. (eds.). Hermes Science Publications, p. 183-192

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2009
2 Citations (Scopus)

Computing perceptually optimal visualizations

Wijk, van, J. J., 2009, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Möller, T., Hamann, B. & Russell, R. D. (eds.). Berlin: Springer, p. 343-350 (Mathematics and Visualization)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Visualization
Computing
Model-based
Model
2 Citations (Scopus)

Flow visualization via partial differential equations

Preusser, T., Rumpf, M. & Telea, A. C., 2009, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Möller, T., Hamann, B. & Russell, R. D. (eds.). Berlin: Springer, p. 157-189 (Mathematics and Visualization)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Flow visualization
Partial differential equations
Visualization
Data visualization
Phase separation
2 Citations (Scopus)

In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2009, Transactions on Computational Systems Biology XI. Priami, C., Back, R. J. & Petre, I. (eds.). Berlin: Springer, p. 69-89 (Lecture notes in computer science; vol. 5750)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

kinetics
modeling
analysis
parameter
2008

Assessing state spaces using Petri-net synthesis and attribute-based visualization

Verbeek, H. M. W., Pretorius, A. J., Aalst, van der, W. M. P. & Wijk, van, J. J., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (eds.). Berlin: Springer, p. 152-171 (Lecture Notes in Computer Science; vol. 5100)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Petri nets
Visualization

Interactive visualization of gene regulatory networks with associated gene expression time series data

Westenberg, M. A., Hijum, van, S. A. F. T., Lulko, A. T., Kuipers, O. P. & Roerdink, J. B. T. M., 2008, Visualization in Medicine and Life Sciences. Linsen, L., Hagen, H. & Hamann, B. (eds.). Berlin: Springer, p. 293-312 (Mathematics and Visualization)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Gene Regulatory Networks
Gene Expression
Genes
Proteins
14 Citations (Scopus)

Kinetic data structures

Speckmann, B., 2008, Encyclopedia of Algorithms. Kao, M. Y. (ed.). New York: Springer, p. 417-419

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

109 Citations (Scopus)

The value of information visualization

Fekete, J. D., Wijk, van, J. J., Stasko, J. T. & North, C., 2008, Information Visualization : Human-Centered Issues and Perspectives. Kerren, A., Stasko, J. T., Fekete, J. D. & North, C. (eds.). Berlin: Springer, p. 1-18 (Lecture notes in computer science; vol. 4950)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Visualization
2007

Point-based visualization of metaballs on a GPU

Kooten, van, K., Bergen, van den, G. J. A. & Telea, A. C., 2007, GPU Gems 3 : Programming Techniques for High-Performance Graphics and General-Purpose Computation. Nguyen, H. (ed.). Addison-Wesley, p. 123-150

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2006
27 Citations (Scopus)

Adapting graph visualization techniques for the visualization of RDF data

Frasincar, F., Telea, A. C. & Houben, G. J. P. M., 2006, Visualizing the Semantic Web : XML-based Internet and Information Visualization (Second Edition). Geroimenko, V. & Chen, C. (eds.). New York: Springer, p. 154-171

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Visualization
2005

An open architecture for visual reverse engineering

Telea, A. C., 2005, Managing Corporate Information Systems Evolution and Maintenance. Khan, K. & Zhang, Y. (eds.). Hershey PA, USA: IDEA Group Publishing, p. 211-227

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Reverse engineering
Information systems
Managers
Visualization
Systems analysis

Computational geometry : fundamental structures

Berg, de, M. & Speckmann, B., 2005, Handbook of Data Structures and Applications. Mehta, D. P. & Sahni, S. (eds.). Boca Raton FL, USA: CRC Press, p. 62-1-62-20 (Chapman & Hall/CRC Computer & Information Science Series; vol. 4)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

6 Citations (Scopus)

Integer programming, lattices, and results in fixed dimension

Aardal, K. I. & Eisenbrand, F., 2005, Discrete Optimization. Aardal, K. I., Nemhauser, G. L. & Weismantel, R. (eds.). Amsterdam: North-Holland Publishing Company, p. 171-243 (Handbooks in Operations Research and Management Science; vol. 12)

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Integer Programming
Lattice Basis Reduction
Integer
Binary search
Integer Points
2003

Introduction

Aarts, E. H. L. & Lenstra, J. K., 2003, Local search in combinatorial optimization. Aarts, E. H. L. & Lenstra, J. K. (eds.). Princeton: Princeton University Press, p. 1-18

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2002

Preset based interaction with high dimensional parameter spaces

Wijk, van, J. J. & Overveld, van, C. W. A. M., 2002, Data Visualization : The State of the Art. Post, F. H., Nielson, G. M. & Bonneau, G. P. (eds.). Boston: Kluwer, p. 391-406 451 p. (Kluwer international series in engineering and computer science; vol. 713)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

10 Citations (Scopus)

Selected topics in simulated annealing

Aarts, E. H. L. & Korst, J. H. M., 2002, Essays and Surveys in Metaheuristics. Ribeiro, C. C. & Hansen, P. (eds.). Dordrecht: Kluwer Academic Publishers, p. 1-37 (Operations Research/Computer Science Interfaces Series; vol. 15)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Simulated Annealing
Mathematical Programming
Convergence Results
Programming Model
Mathematical Model

Visualization of multidimensional data using structure preserving projection methods

Leeuw, de, W. C. & Liere, van, R., 2002, Data Visualization : The State of the Art. Post, F. H., Nielson, G. M. & Bonneau, G. P. (eds.). Boston: Kluwer, p. 213-224 (The Kluwer International Series in Engineering and Computer Science; vol. 713)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2001

Algebraic process verification

Groote, J. F. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1151-1208

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Algebra
Network protocols
Interfaces (computer)
Mathematical operators
Cones

Ambient Intelligence

Aarts, E. H. L., Harwig, R. & Schuurmans, M. F. H., 2001, The Invisible Future : the seamless integration of technology into everyday life. Denning, P. J. (ed.). New York: McGraw-Hill, p. 235-250

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

A process algebra for Interworkings

Mauw, S. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1269-1327

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Process Algebra
Diagram
Operational Semantics
Completeness
Express

Component-based architecting for distributed real-time systems : how to achieve composability?

Hammer, D. K., 2001, Software Architectures and Component Technology. Aksit, M. (ed.). Boston: Kluwer Academic Publishers

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Real time systems
Software architecture
2000

Discrete time process algebra with silent step

Baeten, J. C. M., Bergstra, J. A. & Reniers, M. A., 2000, Proof, language and interaction: essays in honour of Robin Milner. Plotkin, G., Stirling, C. & Tofte, M. (eds.). Cambridge MA, USA: MIT Press, p. 535-569 35 p. (Foundations of Computing)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Performance analysis of dataflow architectures using timed coloured Petri nets

Witlox, B. R. T. M., Wolf, van der, P., Aarts, E. H. L. & Aalst, van der, W. M. P., 2000, Hardware design and Petri nets. Yakovlev, A., Gomes, L. & Lavagno, L. (eds.). Dordrecht: Kluwer Academic Publishers, p. 269-289

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Petri nets
Research laboratories
Hardware
Communication
27 Citations (Scopus)

The propositional formula checker HeerHugo

Groote, J. F. & Warners, J. P., 2000, SAT2000 : Highlights of Satisfiability Research in the Year 2000. Gent, I., Maaren, van, H. & Walsh, T. (eds.). IOS Press, (Frontiers in Artificial Intelligence and Applications; vol. 63)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1999

Ontwerponderzoek

Reymen, I. M. M. J., 1999, Vernieuwing in productontwikkeling, Strategie voor de toekomst. Korbijn, A. (ed.). Den Haag: Stichting Toekomstbeeld der Techniek, p. 193-200 8 p. (Stichting Toekomstbeeld der Techniek; vol. 62)

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

week 34 en week 48

Verhoeff, T., 1999, Wiskundekalender 2000. Göbel, F. (ed.). Amsterdam: Stichting Vierkant, (Doeboekjes; vol. 20)

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

1998
7 Citations (Scopus)

Asynchronous does not imply low power, but....

Berkel, van, C. H., Gageldonk, van, J. S. H., Kessels, J. L. W., Niessen, C., Peeters, A. M. G., Roncken, M. & van de Wiel, H. W. J., 1998, Low power CMOS design. Chandrakasan, A. & Brodersen, R. (eds.). IEEE Press, p. 227-232

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Genetic local search for the traveling salesman problem

Aarts, E. H. L. & Verhoeven, M. G. A., 1998, Handbook of evolutionary computing G.9.5. Bäck, T., Fogel, D. & Michalewicz, Z. (eds.). p. 1-7

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Multipole Expansion of SAXS: Application to Aggregating Disc-Like Molecules

Markvoort, A. J., Haswell, R., Hilbers, P. A. J. & Michels, M. A. J., 1998, Wetenschappelijk Jaarvergadering Statistische Fysica.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1997

Introduction

Aarts, E. H. L. & Lenstra, J. K., 1997, Local search in combinatorial optimization. Aarts, E. H. L. & Lenstra, J. K. (eds.). Chichester: Wiley-Interscience, p. 1-18

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

On a method for the formal design of multiprograms

Feijen, W. H. J. & Gasteren, van, A. J. M., 1997, Mathematical methods in program development. Broy, M. & Schieder, B. (eds.). Springer, p. 53-81 (NATO ASI, Series F: Computer and System Sciences; vol. 158)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Parallel algorithms
Synchronization
Network protocols

Performance modelling of real-time database schedulers

Stok, van der, P. D. V., Sassen, S. A. E., Bodlaender, M. P., Wal, van der, J. & Aerts, A. T. M., 1997, Real-Time Database Systems: Issues and Applications. Bestavros, A., Lin, K. J. & Son, S. H. (eds.). Boston: Kluwer Academic Publishers, p. 251-276

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Prevention of replication induced failures in the context of integrated modular avionics

Stok, van der, P. D. V. & Thijssen, P. T. A., 1997, Embedded systems applications. Baron, C., Geffroy, J. C. & Motet, G. (eds.). Kluwer Academic Publishers, p. 153-170

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Programs and datatypes

Doornbos, H., Gasteren, van, A. J. M. & Backhouse, R. C., 1997, Relational methods in computer science. Brink, C. H., Kahl, W. & Schmidt, G. (eds.). Springer, p. 150-165 (Advances in Computing Science)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Simulated annealing

Aarts, E. H. L., Korst, J. H. M. & Laarhoven, van, P. J. M., 1997, Local search in combinatorial optimization. Aarts, E. H. L. & Lenstra, J. K. (eds.). Chichester: Wiley-Interscience, p. 91-120 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File

Visualizing and animating implicit and solid models

Wyvill, B. & Overveld, van, C. W. A. M., 1997, Visualization and modeling. Earnshaw, R., Vince, J. & Jones, H. (eds.). London: Academic Press Inc., p. 403-418

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

VLSI layout synthesis

Aarts, E. H. L., Laarhoven, van, P. J. M., Liu, C. L. & Pan, P., 1997, Local search in combinatorial optimization. Aarts, E. H. L. & Lenstra, J. K. (eds.). Chichester: Wiley-Interscience, p. 415-440

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
1996

A probabilistic analysis of local search

Eikelder, ten, H. M. M., Verhoeven, M. G. A., Vossen, T. W. M. & Aarts, E. H. L., 1996, Meta-heuristics : theory and applications. Osman, I. H. & Kelly, J. P. (eds.). Kluwer Academic Publishers, p. 605-618

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Probabilistic Analysis
Local Search
Average-case Analysis
Empirical Analysis
Travelling salesman problems

Assertional specification and verification

Hooman, J. J. M., 1996, Real-time Systems: Specification and Analysis. Joseph, M. (ed.). Prentice-Hall, p. 97-146

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Specifications

Deterministic and randomized local search

Aarts, E. H. L., Korst, J. H. M. & Zwietering, P. J., 1996, Mathematical Perspectives of Neural Networks. Smolensky, P., Mozer, M. C. & Rumelhart, D. E. (eds.). Mahwah, New Jersey: Lawrence Erlbaum Associates, p. 143-224

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review