Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Paper
2019

Plan enumeration for SPARQL property paths

Yakovets, N., Godfrey, P. & Gryz, J., 1 Jan 2019, (Submitted)

Research output: Contribution to conferencePaperOther research output

Waveguides
Costs
2018

A bug bounty perspective on the disclosure of web vulnerabilities

Ruohonen, J. & Allodi, L., 2018

Research output: Contribution to conferencePaperAcademic

Open Access
File

Anomaly detection for imbalanced datasets with deep generative models

Santos Buitrago, N. R., Tonnaer, L. M. A., Menkovski, V. & Mavroeidis, D., 8 Sep 2018 15 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Image analysis

Instance-level explanations for fraud detection: a case study

Collaris, D. A. C., Vink, L. M. & van Wijk, J. J., 19 Jun 2018, p. 28-33 6 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Insurance

Interface protocol inference to aid understanding legacy software components

Aslam, K., Luo, Y., Schiffelers, R. R. H. & van den Brand, M. G. J., 14 Oct 2018 6 p.

Research output: Contribution to conferencePaperAcademic

Engineers
Industry
Problem-Based Learning

Meta learning for defaults: symbolic defaults

van Rijn, J. N., Pfisterer, F., Thomas, J., Muller, A., Bischl, B. & Vanschoren, J., 8 Dec 2018 7 p.

Research output: Contribution to conferencePaperAcademic

ML schema: exposing the semantics of machine learning with schemas and ontologies

Correa Publio, G., Esteves, D., Ławrynowicz, A., Panov, P., Soldatova, L., Soru, T., Vanschoren, J. & Zafar, H., 2018 5 p.

Research output: Contribution to conferencePaperAcademic

Ontology
Learning systems
Semantics
Learning algorithms
Experiments

Scalable load balancing in networked systems: universality properties and stochastic coupling methods

van der Boor, M., Borst, S., van Leeuwaarden, J. & Mukherjee, D., Jan 2018 22 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Resource allocation
Servers
Communication
Large scale systems
Data storage equipment

The effect of security education and expertise on security assessments: the case of software vulnerabilities

Allodi, L., Cremonini, M., Massacci, F. & Shim, W., 1 Aug 2018

Research output: Contribution to conferencePaperAcademic

Open Access
File
Education
Information technology
Industry
Chemical analysis
2017

A conceptual framework for understanding event data quality in behavior analysis

Lu, X. & Fahland, D., 2017, p. 11-14

Research output: Contribution to conferencePaperOther research output

Open Access
File

Assuring virtual network function image integrity and host sealing in telco cloud

Lal, S., Ravidas, S., Oliver, I. & Taleb, T., May 2017, p. 1-6

Research output: Contribution to conferencePaperOther research output

Open Access
Hardware
Freight transportation
Virtual reality
Seals
Wireless networks

Clustering-structure representative sampling from graph streams

Zhang, J., Zhu, K., Pei, Y., Fletcher, G. H. L. & Pechenizkiy, M., 2017

Research output: Contribution to conferencePaperAcademic

Open Access
File
Sampling
Data storage equipment
Complex networks
Experiments

NTRU prime : reducing attack surface at low cost

Bernstein, D. J., Chuengsatiansup, C., Lange, T. & van Vredendaal, C., 2017

Research output: Contribution to conferencePaperAcademic

Open Access
File

Post-quantum security of the sponge construction

Czajkowski, J., Groot Bruinderink, L., Hülsing, A. T., Schaffner, C. & Unruh, D., 2017, p. 1-32

Research output: Contribution to conferencePaperAcademic

Collapsing
Hash Function
Collision
Random Permutation
Random Function

The work-averse cyber attacker model : theory and evidence from two million attack signatures

Allodi, L., Massacci, F. & Williams, J., Jun 2017 36 p.

Research output: Contribution to conferencePaperOther research output

Open Access
File
Arsenals
Costs
Experiments

Visual analytics for soundness verification of process models

Garcia Caballero, H. S., Westenberg, M. A., Verbeek, H. M. W. & van der Aalst, W. M. P., 2017

Research output: Contribution to conferencePaperAcademic

Open Access
File
Petri nets
Visualization
Acoustic waves
2016

Asymptotic error bounds for truncated buffer approximations of a 2-node tandem queue

Vatamidou, E., Adan, I. J. B. F., Vlasiou, M. & Zwart, A. P., 2016 41 p.

Research output: Contribution to conferencePaperOther research output

Open Access
File

Condition-based maintenance at both scheduled and unscheduled opportunities

Kalosi, S., Kapodistria, S. & Resing, J. A. C., 8 Jul 2016

Research output: Contribution to conferencePaperAcademic

Open Access
File
Costs
Preventive maintenance
Time varying systems

Connected dominating set in unit-disk graphs is W[1]-hard

de Berg, M. T., Bodlaender, H. L. & Kisfaludi-Bak, S., 2016

Research output: Contribution to conferencePaperOther research output

Modelling information routing with noninterference

Koolen, R. P. J. & Schmaltz, J., 19 Jan 2016

Research output: Contribution to conferencePaperOther research output

Application programs

Monitoring a wind turbine by combining sensor data

Kapodistria, S., Di Bucchianico, A. & Kenbeek, T., 2016

Research output: Contribution to conferencePaperOther research output

Open Access
File

Reaching intrinsic compute efficiency requires adaptable micro-architectures

Wijtvliet, M., Waeijen, L. J. W., Adriaansen, M. & Corporaal, H., 18 Jan 2016, p. 1-7 7 p.

Research output: Contribution to conferencePaperOther research output

Open Access
File
2 Citations

Trust-based neighbor unreachability detection for RPL

Ozen, S., Özcelebi, T. & Lukkien, J. J., 1 Aug 2016, p. 1-6 6 p.

Research output: Contribution to conferencePaperOther research output

Communication
Routing protocols
Statistics
2013

MAMPSX: A demonstration of rapid, predictable HMPSOC synthesis

Fernando, S., Wijtvliet, M., Siyoum, F., He, Y., Stuijk, S., Kumar, A. & Corporaal, H., 1 Jan 2013, p. 1-1

Research output: Contribution to conferencePaperAcademic

Heterogeneous Systems
Multiprocessor Systems
Demonstrations
Synthesis
Field Programmable Gate Array
2011

Reconfigurable Digital Coherent Receiver for Hybrid Optical Fiber/Wireless Metro-Access Networks

Arlunno, V., Guerrero Gonzalez, N., Caballero Jambrina, A., Borkowski, R., Pham, T. T., Rodes Lopez, R., Zhang, X., Binti Othman, M., Prince, K., Yu, X., Jensen, J. B., Zibar, D. & Tafur Monroy, I., 2011

Research output: Contribution to conferencePaperAcademic

2010
2 Citations

Performance analysis of business process models with advanced constructs

Piessens, D., Wynn, M. T., Adams, M. & van Dongen, B. F., 1 Dec 2010

Research output: Contribution to conferencePaperAcademic

Open Access
File
Industry
2006
9 Citations

Integration of EPC-related tools with ProM

Barborka, P., Helm, L., K̈oldorfer, G., Mendling, J., Neumann, G., van Dongen, B., Verbeek, E. & van der Aalst, W., 1 Dec 2006, p. 105-120 16 p.

Research output: Contribution to conferencePaperAcademic

Interchanges
Sales
2001

Computational number theory

Lenstra, A. K., 2001

Research output: Contribution to conferencePaperOther research output

Lie groups, algebraic groups, quantum groups and their representations

Elst, ter, A. F. M., 2001

Research output: Contribution to conferencePaperOther research output

Real and complex harmonic analysis related to homogeneous manifolds

Elst, ter, A. F. M., 2001

Research output: Contribution to conferencePaperOther research output

Series of 8 hours on selected topics in Cryptology

Tilborg, van, H. C. A., 2001

Research output: Contribution to conferencePaperOther research output

2000

Ambient Intelligence : A New User Experience

Aarts, E. H. L. & Harwig, R., 2000, p. 1-4

Research output: Contribution to conferencePaperOther research output

Formality Works

Hoogerwoord, R. R., 2000

Research output: Contribution to conferencePaperOther research output

National Research Symposium on Geometric Analysis and Applications.

Elst, ter, A. F. M., 2000

Research output: Contribution to conferencePaperOther research output

Performance analysis of local search for multi-processor scheduling problems

Schuurman, P. & Vredeveld, T., 2000

Research output: Contribution to conferencePaperOther research output

Some Complexity Aspects of Secondary School TimeTabling

Eikelder, ten, H. M. M. & Willemen, R. J., 2000

Research output: Contribution to conferencePaperOther research output

Web-Enabled Embedded Systems

Lukkien, J. J., Peters, P. & Manders, M. F. A., 2000

Research output: Contribution to conferencePaperOther research output

1999

A numerical comparison between multiple-scales and FEM solution for sound propagation in lined flow ducts

Rienstra, S. W. & Eversman, W., 1999

Research output: Contribution to conferencePaperOther research output

Dynamic Monte Carlo Simulations

Nedea, S. V., Segers, J. P. L., Lukkien, J. J. & Hilbers, P. A. J., 1999

Research output: Contribution to conferencePaperOther research output

On the Relation between Business, Business Model, Software and ICT Platform Architectures

Wortmann, J. C., Hammer, D. K., Goossenaerts, J. B. M. & Aerts, A. T. M., 1999

Research output: Contribution to conferencePaperOther research output

Preconditioning techniques for problems with inhomogeneities

Drenth, W. D., 1999

Research output: Contribution to conferencePaperOther research output

Sound Transmission in Slowly Varying Flow Ducts: (1) the Hydrodynamic Mode; (2) Reflection at a Turning Point.

Rienstra, S. W., 1999

Research output: Contribution to conferencePaperOther research output

3 Citations

The glass tank model

Nefedov, V., 1999

Research output: Contribution to conferencePaperOther research output

Wavelets and quantum molecular dynamics simulations

Markvoort, A. J., Hilbers, P. A. J. & Pino, R., 1999

Research output: Contribution to conferencePaperOther research output

1 Citations

Wavelets in electronic structure calculations

Markvoort, A. J. & Hilbers, P. A. J., 1999

Research output: Contribution to conferencePaperOther research output

1997

Control policies for N-echelon assembly networks

Kok, de, A. G. & Visschers, J. W. C. H., 1997

Research output: Contribution to conferencePaperOther research output

Cost-optimal control policies for N-echelon divergent networks

Diks, E. B. & Kok, de, A. G., 1997

Research output: Contribution to conferencePaperOther research output

1990
2 Citations

A new table of constant weight codes

Brouwer, A. E., Shearer, J. B., Sloane, N. J. A. & Smith, W. D., 1 Dec 1990 1 p.

Research output: Contribution to conferencePaperAcademic

Binary codes