Department of Mathematics and Computer Science

Research Output

Filter
Article
2018

A formal verification technique for behavioural model-to-model transformations

de Putter, S. & Wijs, A., 1 Jan 2018, In : Formal Aspects of Computing. 30, 1, p. 3-43 41 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
67 Downloads (Pure)

A functional CLT for partial traces of random matrices

Nagel, J., 6 Mar 2018, In : arXiv. 23 p., 1803.02151v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
48 Downloads (Pure)

A geometric characterization of the classical Lie algebras

Cuypers, H. & Fleischmann, Y., 15 May 2018, In : Journal of Algebra. 502, p. 1-23 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Downloads (Pure)

A hybrid approach for aspect-oriented business process modeling

Jalali, A., Maggi, F. M. & Reijers, H. A., Aug 2018, In : Journal of Software : Evolution and Process. 30, 8, 21 p., e1931.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

A large deviations analysis of certain qualitative properties of parallel tempering and infinite swapping algorithms

Doll, J., Dupuis, P. & Nyquist, P., 1 Aug 2018, In : Applied Mathematics and Optimization. 78, 1, p. 103-144

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

A least-squares method for the inverse reflector problem in arbitrary orthogonal coordinates

Beltman, R., ten Thije Boonkkamp, J. & IJzerman, W., 15 Aug 2018, In : Journal of Computational Physics. 367, p. 347-373 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
3 Downloads (Pure)

Algebraic matroids and Frobenius flocks

Bollen, G. P., Draisma, J. & Pendavingh, R., 7 Jan 2018, In : Advances in Mathematics. 323, p. 688-719 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
50 Downloads (Pure)

A linear domain decomposition method for partially saturated flow in porous media

Seus, D., Mitra, K., Pop, I. S., Radu, F. A. & Rohde, C., 1 May 2018, In : Computer Methods in Applied Mechanics and Engineering. 333, p. 331-355 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)

A mixture theory-based concrete corrosion model coupling chemical reactions, diffusion and mechanics

Vromans, A. J., Muntean, A. & van de Ven, A. A. F., 31 Aug 2018, In : Pacific Journal of Mathematics for Industry. 10, 5, 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
29 Downloads (Pure)

A modelling study to evaluate the costs and effects of lowering the starting age of population breast cancer screening

Koleva-kolarova, R. G., Daszczuk, A. M., de Jonge, C., Abu Hantash, K. M., Zhan, Z. Z., Postema, E. J., Feenstra, T. L., Pijnappel, R. M., Greuter, M. J. W. & de Bock, G. H., Mar 2018, In : Maturitas. 109, p. 81-88 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

A motivic study of generalized Burniat surfaces

Peters, C., 1 Oct 2018, In : Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 88, 2, p. 377-387 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
54 Downloads (Pure)
Open Access
File
5 Citations (Scopus)
39 Downloads (Pure)

Analysis of Mx/G/1 queues with impatient customers

Inoue, Y., Boxma, O. J., Perry, D. & Zacks, S., 1 Aug 2018, In : Queueing Systems. 89, 3-4, p. 303-350 48 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Downloads (Pure)

Analysis of the shortest relay queue policy in a cooperative random access network with collisions

Saxena, M., Dimitriou, I. & Kapodistria, S., 1 Oct 2018, In : arXiv. 33 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
17 Downloads (Pure)

An analytical approach to modeling the stochastic behavior of visco-elastic materials

Junker, P. & Nagel, J., Jul 2018, In : Zeitschrift für Angewandte Mathematik und Mechanik. 98, 7, p. 1249–1260 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

An analytical framework for consensus-based global optimization method

Carrillo, J. A., Choi, Y. P., Totzeck, C. & Tse, O., 15 Jun 2018, In : Mathematical Models & Methods in Applied Sciences. 28, 6, p. 1037-1066 30 p., 00276.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

An efficient algorithm for the 1D total visibility-index problem and its parallelization

Afshani, P., de Berg, M., Casanova, H., Karsin, B., Lambrechts, C., Sitchinava, N. & Tsirogiannis, C., 1 Aug 2018, In : Journal on Experimental Algorithmics. 23, 2, 23 p., 2.3.

Research output: Contribution to journalArticleAcademicpeer-review

An efficient algorithm to determine probabilistic bisimulation

Groote, J. F., Rivera Verduzco, H. J. & de Vink, E. P., 5 Sep 2018, In : Algorithms. 11, 9, 22 p., 131.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
30 Downloads (Pure)

An ETH-tight exact algorithm for euclidean TSP

de Berg, M. T., Bodlaender, H. L., Kisfaludi-Bak, S. & Kolay, S., 2018, In : arXiv. 17 p., 1807.06933v2.

Research output: Contribution to journalArticleAcademic

Open Access
File
5 Downloads (Pure)

An optimal algorithm to compute the inverse beacon attraction region

Kostitsyna, I., Kouhestani, B., Langerman, S. & Rappaport, D., 15 Mar 2018, In : arXiv. 14 p., 1803.05946v1.

Research output: Contribution to journalArticleAcademic

Open Access
File
10 Downloads (Pure)

A note on ED degrees of group-stable subvarieties in polar representations

Bik, A. & Draisma, J., 1 Oct 2018, In : Israel Journal of Mathematics. 228, 1, p. 353-377 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Downloads (Pure)

A novel method for characterization of distributed Bragg reflectors in photonic integrated circuits

Zhao, D., Pustakhod, D., Williams, K. & Leijtens, X., Dec 2018, In : IEEE Photonics Journal. 10, 6, 10 p., 8496800.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
47 Downloads (Pure)

Anti-stiction coating for mechanically tunable photonic crystal devices

Petruzzella, M., Zobenica, Cotrufo, M., Zardetto, V., Mameli, A., Pagliano, F., Koelling, S., Van Otten, F. W. M., Roozeboom, F., Kessels, W. M. M., van der Heijden, R. W. & Fiore, A., 19 Feb 2018, In : Optics Express. 26, 4, p. 3882-3891 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
70 Downloads (Pure)

Approximately dual Gabor frames and almost perfect reconstruction based on a class of window functions

Christensen, O., Janssen, A. J. E. M., Kim, H. O. & Kim, R. Y., 1 Oct 2018, In : Advances in Computational Mathematics. 44, 5, p. 1519–1535 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Approximating $(k,\ell)$-center clustering for curves

Buchin, K., Driemel, A., Gudmundsson, J., Horton, M., Kostitsyna, I., Löffler, M. & Struijs, M., 3 May 2018, In : arXiv. 24 p., 1805.01547v2.

Research output: Contribution to journalArticleAcademic

Open Access
File
9 Downloads (Pure)

Approximation and kernelization for chordal vertex deletion

Jansen, B. M. P. & Pilipczuk, M., 10 Jul 2018, In : SIAM Journal on Discrete Mathematics. 32, 3, p. 2258-2301 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
21 Downloads (Pure)
2 Downloads (Pure)

A preference-based item response theory model to measure health: concept and mathematics of the multi-attribute preference response model

Groothuis-Oudshoorn, C. G. M., van den Heuvel, E. R. & Krabbe, P. F. M., 22 Jun 2018, In : BMC Medical Research Methodology. 18, 62.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
30 Downloads (Pure)

Apriori versions based on MapReduce for mining frequent patterns on big data

Luna, J. M., Padillo, F., Pechenizkiy, M. & Ventura, S., Oct 2018, In : IEEE Transactions on Cybernetics. 48, 10, p. 2851-2865 15 p., 8052219.

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)

A queueing system with vacations after a random amount of work

Adan, I., Boxma, O., Claeys, D. & Kella, O., 1 Jan 2018, In : SIAM Journal on Applied Mathematics. 78, 3, p. 1697-1711 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

A single server queue with batch arrivals and semi-Markov services

Abhishek, Boon, M., Boxma, O. & Núñez-Queija, R., 18 Jan 2018, In : arXiv.org,e-Print Archive, Mathematics. 2018, 19 p., 1801.05998.

Research output: Contribution to journalArticleAcademic

Open Access
File
18 Downloads (Pure)

Assessment of visibility graph similarity as a synchronization measure for chaotic, noisy and stochastic time series

Ahmadi, N., Besseling, R. M. H. & Pechenizkiy, M., 1 Dec 2018, In : Social Network Analysis and Mining. 8, 1, 17 p., 47.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
82 Downloads (Pure)

Asymmetric cryptography with physical unclonable keys

Uppu, R., Wolterink, T. A. W., Goorden, S. A., Chen, B., Škorić, B., Mosk, A. P. & Pinkse, P. W. H., 21 Feb 2018, In : IACR Cryptology ePrint Archive. 20 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
36 Downloads (Pure)

Asymptomatic bacteriuria and urinary tract infection in pregnant women with and without diabetes: Cohort study

Schneeberger, C., Erwich, J. J. H. M., van den Heuvel, E. R., Mol, B. W. J., Ott, A. & Geerlings, S. E., 1 Mar 2018, In : European Journal of Obstetrics & Gynecology and Reproductive Biology. 222, p. 176-181 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Asymptotically optimal load balancing topologies

Mukherjee, D., Borst, S. C. & van Leeuwaarden, J. S. H., Apr 2018, In : Proceedings of the ACM on Measurement and Analysis of Computing Systems. 2, 1, 29 p., 14.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Asymptotic dependency structure of multiple signals: Asymptotic equipartition property for diagrams of probability spaces

Matveev, R. & Portegies, J. W., Dec 2018, In : Information Geometry. 1, 2, p. 237-285

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
35 Downloads (Pure)

A systematic review and meta-analysis on the strength and consistency of the associations between Dupuytren disease and diabetes mellitus, liver disease, and epilepsy

Broekstra, D. C., Groen, H., Molenkamp, S., Werker, P. M. N. & van den Heuvel, E. R., 1 Mar 2018, In : Plastic and Reconstructive Surgery. 141, 3, p. 367e-379e

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
58 Downloads (Pure)

A trivial debiasing scheme for helper data systems

Skoric, B., 1 Nov 2018, In : Journal of Cryptographic Engineering. 8, 4, p. 341-349 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
39 Downloads (Pure)

Average nearest neighbor degrees in scale-free networks

Yao, D., van der Hoorn, P. & Litvak, N., 1 Jan 2018, In : Internet Mathematics. 2018, Januari 10, 38 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
32 Downloads (Pure)

Ballistic Majorana nanowire devices

Gül, Ö. T., Zhang, H., Bommer, J. D. S., De Moor, M. W. A., Car, D., Plissard, S. R., Bakkers, E. P. A. M., Geresdi, A., Watanabe, K., Taniguchi, T. & Kouwenhoven, L. P., 1 Mar 2018, In : Nature Nanotechnology. 13, 3, p. 192-197 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

99 Citations (Scopus)
1 Downloads (Pure)

Berwald spacetimes and very special relativity

Fuster, A., Pabst, C. & Pfeifer, C., 15 Oct 2018, In : Physical Review D. 98, 8, 14 p., 084062.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
59 Downloads (Pure)

Best-case and worst-case sparsifiability of Boolean CSPs

Chen, H., Jansen, B. M. P. & Pieterse, A., 2018, In : arXiv. 28 p., 1809.06171v1.

Research output: Contribution to journalArticleAcademic

Open Access
File
5 Downloads (Pure)

Best rank-k approximations for tensors: generalizing Eckart–Young

Draisma, J., Ottaviani, G. & Tocino, A., 1 Jun 2018, In : Research in the Mathematical Sciences. 5, 2, 13 p., 27.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
52 Downloads (Pure)

Blockchains for business process management - Challenges and opportunities

Mendling, J., Weber, I., van der Aalst, W. M. P., vom Brocke, J., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., García-Bañuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 others, Rinderlema, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, T., Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., 1 Feb 2018, In : ACM Transactions on Management Information Systems. 9, 1, 16 p., 4.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
103 Citations (Scopus)
4 Downloads (Pure)

Bounds and limit theorems for a layered queueing model in electric vehicle charging

Aveklouris, A., Vlasiou, M. & Zwart, B., 15 Oct 2018, In : arXiv. 1810.05473 , 36 p., 1810.05473.

Research output: Contribution to journalArticleAcademic

Open Access
File
16 Downloads (Pure)

CellSim3D: GPU accelerated software for simulations of cellular growth and division in three dimensions

Madhikar, P., Åström, J., Westerholm, J. & Karttunen, M., 1 Nov 2018, In : Computer Physics Communications. 232, p. 206-213 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Charge carrier-selective contacts for nanowire solar cells

Oener, S. Z., Cavalli, A., Sun, H., Haverkort, J. E. M., Bakkers, E. P. A. M. & Garnett, E. C., 1 Dec 2018, In : Nature Communications. 9, 1, 7 p., 3248.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
14 Citations (Scopus)
92 Downloads (Pure)

Checking process compliance against natural language specifications using behavioral spaces

van der Aa, H., Leopold, H. & Reijers, H. A., Nov 2018, In : Information Systems. 78, p. 83-95 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Chemometrics-assisted microfluidic paper-based analytical device for the determination of uric acid by silver nanoparticle plasmon resonance

Hamedpour, V., Postma, G. J., van den Heuvel, E. R., Jansen, J. J., Suzuki, K. & Citterio, D., 1 Mar 2018, In : Analytical and Bioanalytical Chemistry. 410, 9, p. 2305-2313 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Chronic sleep reduction is associated with academic achievement and study concentration in higher education students

van der Heijden, K. B., Vermeulen, M. C. M., Donjacour, C. E. H. M., Gordijn, M. C. M., Hamburger, H. L., Meijer, A. M., van Rijn, K. J., Vlak, M. & Weysen, T., 1 Apr 2018, In : Journal of Sleep Research. 27, 2, p. 165-174 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
123 Downloads (Pure)