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 case of industrial vs. open-source OCL: not so different after all

Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R., van den Brand, M. G. J. & Serebrenik, A., 2017, p. 472-474 3 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
industry
engineering
viability

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. A., 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 (Scopus)

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
2010
2 Citations (Scopus)

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 (Scopus)

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 (Scopus)

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 Citation (Scopus)

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 (Scopus)

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