Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Report
2019
15 Downloads (Pure)

A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer Science Reports; vol. 19-03)

Research output: Book/ReportReportProfessional

Open Access
File
57 Downloads (Pure)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)

Research output: Book/ReportReportAcademic

Open Access
File
Specifications
Data storage equipment
Experiments
9 Downloads (Pure)

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.

Research output: Book/ReportReportAcademic

Open Access
File
Decomposition
Distributed computer systems
Large scale systems
Communication
3 Downloads (Pure)

Homogenization of a pseudo-parabolic system via a spatial-temporal decoupling: upscaling and corrector estimates for perforated domains

Vromans, A., van de Ven, F. & Muntean, A., Jan 2019, Eindhoven: Technische Universiteit Eindhoven. 35 p. (CASA-Report; vol. 19, no. 01)

Research output: Book/ReportReportAcademic

Open Access
File
Perforated Domains
Upscaling
Corrector
Parabolic Systems
Decoupling
8 Downloads (Pure)

Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Neele, T., Willemse, T. & Wesselink, W., 1 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

Research output: Book/ReportReportAcademic

Open Access
File
Model checking
Explosions
Repair
8 Downloads (Pure)

Quantum indistinguishability of random sponges

Czajkowski, J., Hülsing, A. & Schaffner, C., 2019, IACR. 36 p. (Cryptology ePrint Archive; no. 2019/069)

Research output: Book/ReportReportAcademic

Open Access
File
3 Downloads (Pure)

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 19-04)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Using graph data structures for event logs

Esser, S. & Fahland, D., 20 May 2019, 57 p.

Research output: Book/ReportReportAcademic

Open Access
File
Data structures
Data mining
Life cycle
Information systems
Industry
2018
28 Downloads (Pure)

Active flux schemes on moving meshes with applications to geometric optics

van Lith, B. S., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 30 p. (CASA Report; no. 18-05)

Research output: Book/ReportReportAcademic

Open Access
File
155 Downloads (Pure)

BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1801)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

BPIC’2018: Mining Concept Drift in Performance Spectra of Processes

Denisov, V. V., Belkina, E. & Fahland, D., 2018, 30 p. (BPI Challenge 2018)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)
Open Access
File
32 Downloads (Pure)

CSIDH: an efficient Post-Quantum Commutative Group Action

Castryck, W., Lange, T., Martindale, C., Panny, L. & Renes, J., 2018, IACR. 33 p. (Cryptology ePrint Archive; vol. 2018/383)

Research output: Book/ReportReportAcademic

Open Access
File
3 Downloads (Pure)

Determining the essentially different partitions of all Japanese convex tangrams

Beelen, T. G. J. & Verhoeff, T., Nov 2018, 07 ed. Eindhoven: Technische Universiteit Eindhoven. 83 p. (CASA report)

Research output: Book/ReportReportAcademic

Open Access
File
Tangram
Partition
Number of Solutions
Diagram
26 Downloads (Pure)

First-order moment closure approximations for middle-sized systems with non-linear rates

Talebi, M., 9 Jul 2018, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computer Science Reports; vol. 18/02)

Research output: Book/ReportReportProfessional

Open Access
File
Closure
Approximation
Empirical distribution
105 Downloads (Pure)

Freeform lens design: a Monge-Ampère problem with non-quadratic cost function

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 27 p. (CASA Report; no. 1801)

Research output: Book/ReportReportAcademic

Open Access
File
19 Downloads (Pure)

Hilbert modular polynomials

Martindale, C. R., 2018

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Inverse reflector design for a point source and far-field target

Romijn, L. B., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 20 p. (CASA Report; no. 18-08)

Research output: Book/ReportReportAcademic

Open Access
File
16 Downloads (Pure)
Open Access
File
Miners
7 Downloads (Pure)

Optical PUF statistics

Leermakers, D., Razeghi, B., Rezaeifar, S., Skoric, B., Taran, O. & Voloshynovskiy, S., 1 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 1804)

Research output: Book/ReportReportAcademic

statistics
10 Downloads (Pure)

Optimal TNFS-secure pairings on elliptic curves with even embedding degree

Martindale, C. R. & Fotiadis, G., 2018, 30 p. (Cryptology ePrint archive; vol. 2018/969)

Research output: Book/ReportReportAcademic

Open Access
File
Pairing
Elliptic Curves
Quartic
Twist
Jacobi
4 Downloads (Pure)

Periodic homogenization of a pseudo-parabolic equation via a spatial-temporal decomposition

Vromans, A., van de Ven, F. & Muntean, A., Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 6 p. (CASA-Report; vol. 18, no. 06)

Research output: Book/ReportReportAcademic

Open Access
File
Periodic Homogenization
Pseudoparabolic Equations
Decompose
Two-scale Convergence
Upscaling
43 Downloads (Pure)

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies

Bernstein, D. J., Lange, T., Martindale, C. & Panny, L., 2018, IACR. 56 p. (Cryptology ePrint Archive; vol. 2018/1059)

Research output: Book/ReportReportAcademic

Open Access
File
44 Downloads (Pure)

Solving parameterised Boolean equation systems with infinite data through quotienting

Neele, T. S., Willemse, T. A. C. & Groote, J. F., 2018, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 18-03)

Research output: Book/ReportReportAcademic

Open Access
File
3 Downloads (Pure)

Task elimination may actually increase throughput time

Schunselaar, D. M. M. & Verbeek, H. M. W., 2018, arXiv.org. 10 p.

Research output: Book/ReportReportAcademic

Open Access
File
Throughput
Automation
Costs
2017
128 Downloads (Pure)

A nonlinear flux approximation scheme for the viscous Burgers equation

Kumar, N., ten Thije Boonkkamp, J. H. M., Koren, B. & Linke, A., 2017, Eindhoven: Technische Universiteit Eindhoven. 8 p. (CASA-report; vol. 1701)

Research output: Book/ReportReportAcademic

Open Access
File
162 Downloads (Pure)

Assessing the quality of tabular state machines through metrics

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 2017, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1701)

Research output: Book/ReportReportAcademic

Open Access
File
72 Downloads (Pure)

A two-dimensional complete flux scheme in local flow adapted coordinates

ten Thije Boonkkamp, J. H. M., Anthonissen, M. J. H. & Kwant, R. J., Mar 2017, Eindhoven: Technische Universiteit Eindhoven. 8 p. (CASA-report; vol. 1706)

Research output: Book/ReportReportAcademic

Open Access
File
17 Downloads (Pure)

Berekening omvang extreme armoede in Nederland 1820-1913

Lintsen, H. W., Anthonissen, M. J. H. & Gales, B., 1 Jul 2017, Eindhoven: Technische Universiteit Eindhoven. 203 p. (Research rapport Technische Universiteit Eindhoven)

Research output: Book/ReportReportAcademic

Open Access
File
69 Downloads (Pure)

Compact high order complete flux schemes

ten Thije Boonkkamp, J. H. M. & Anthonissen, M. J. H., Jun 2017, Eindhoven: Technische Universiteit Eindhoven. 10 p. (CASA-report; vol. 1708)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Double-base scalar multiplication revisited

Bernstein, D. J., Chuengsatiansup, C. & Lange, T., 2017, s.l.: IACR. 38 p. (Cryptology ePrint Archive; vol. 2017/037)

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)

Existence of weak solutions for a pseudo-parabolic system coupling chemical reactions, diffusion and momentum equations

Vromans, A. J., van de Ven, A. A. F. & Muntean, A., Feb 2017, Eindhoven: Technische Universiteit Eindhoven. 35 p. (CASA-report; vol. 1703)

Research output: Book/ReportReportAcademic

Open Access
File
648 Downloads (Pure)

Finding all convex tangrams

Beelen, T. G. J., 2017, Eindhoven: Technische Universiteit Eindhoven. 37 p. (CASA-report; vol. 1702)

Research output: Book/ReportReportAcademic

Open Access
File
68 Downloads (Pure)

Full linear multistep methods as root-finders

van Lith, B. S., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., Feb 2017, Eindhoven: Technische Universiteit Eindhoven. 18 p. (CASA-report; vol. 1705)

Research output: Book/ReportReportAcademic

Open Access
File
98 Downloads (Pure)

"HILA5 pindakaas" : on the CCA security of lattice-based encryption with error correction

Bernstein, D. J., Groot Bruinderink, L., Lange, T. & Panny, L. S., 2017, s.l.: IACR. 14 p. (Cryptology ePrint Archive; vol. 2017/1214)

Research output: Book/ReportReportAcademic

Open Access
File
Error correction
Encapsulation
Cryptography
Recovery
442 Downloads (Pure)

Interference in wireless networks : a game theory approach

Vovchak, S. & Beelen, T. G. J., Feb 2017, Eindhoven: Technische Universiteit Eindhoven. 43 p. (CASA-report; vol. 1704)

Research output: Book/ReportReportAcademic

Open Access
File
25 Downloads (Pure)

Inverse ray mapping in phase space for two-dimensional reflective optical systems

Filosa, C., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2017, Eindhoven: Technische Universiteit Eindhoven. 24 p. (CASA report; no. 1710)

Research output: Book/ReportReportAcademic

Open Access
File

Lattice klepto : turning post-quantum crypto against itself

Kwant, R., Lange, T. & Thissen, K., 2017, s.l.: IACR. 19 p. (Cryptology ePrint Archive ; vol. 2017/1140)

Research output: Book/ReportReportAcademic

Cryptography
71 Downloads (Pure)
Open Access
File
64 Downloads (Pure)

Montgomery curves and the Montgomery ladder

Bernstein, D. J. & Lange, T., 2017, s.l.: IACR. 43 p. (Cryptology ePrint Archive; vol. 2017/293)

Research output: Book/ReportReportAcademic

Open Access
File
Curve
Time Constant
Elliptic Curves
Scalar
Computing
27 Downloads (Pure)

On the geometry of Hamiltonian systems : lecture notes seminar GISDA - Universidad del Bio Bio

van der Meer, J. C., Jun 2017, Eindhoven: Technische Universiteit Eindhoven. 49 p. (CASA Reports; vol. 9)

Research output: Book/ReportReportAcademic

Open Access
File
102 Downloads (Pure)

Phase space ray tracing for a two-dimensional parabolic reflector

Filosa, C., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., Jun 2017, Eindhoven: Technische Universiteit Eindhoven. 7 p. (CASA-report; vol. 1707)

Research output: Book/ReportReportAcademic

Open Access
File
222 Downloads (Pure)

Post-quantum cryptography : dealing with the fallout of physics success

Bernstein, D. J. & Lange, T., 2017, s.l.: IACR. 20 p. (Cryptology ePrint Archive; vol. 2017/314)

Research output: Book/ReportReportAcademic

Open Access
File
cryptography
quantum cryptography
fallout
quantum computers
communication
189 Downloads (Pure)

Problem solving using process algebra considered insightful

Groote, J. F. & de Vink, E. P., 2017, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computer science reports; vol. 1702)

Research output: Book/ReportReportAcademic

Open Access
File
65 Downloads (Pure)

Rounded Gaussians : fast and secure constant-time sampling for lattice-based crypto

Hülsing, A. T., Lange, T. & Smeets, K., 2017, s.l.: IACR. 38 p. (Cryptology ePrint Archive; vol. 2017/1025)

Research output: Book/ReportReportAcademic

Open Access
File
Sampling
Side channel attack
38 Downloads (Pure)

Sliding right into disaster: left-to-right sliding windows leak

Bernstein, D. J., Breitner, J., Genkin, D., Groot Bruinderink, L., Heninger, N., Lange, T., van Vredendaal, C. & Yarom, Y., 2017, s.l.: IACR. 21 p. (Cryptology ePrint Archive; vol. 2017/627)

Research output: Book/ReportReportAcademic

Open Access
File
Disasters
Recovery
232 Downloads (Pure)

The sound of space-filling curves

Haverkort, H. J., 1 Aug 2017, Eindhoven: Eindhoven University of Technology. 11 p.

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)

Two queues with random time-limited polling

Saxena, M., Boxma, O. J., Kapodistria, S. & Nunez Queija, R., 20 Jan 2017, Eindhoven: Eurandom. 21 p. (Report Eurandom; vol. 2017001)

Research output: Book/ReportReportAcademic

Open Access
File
21 Downloads (Pure)

Two queues with random time-limited polling

Saxena, M., Boxma, O. J., Kapodistria, S. & Núñez Queija, R., 24 Jan 2017, arXiv.org. (arXiv; vol. 1701.06834v2 [math.PR])

Research output: Book/ReportReportAcademic

Open Access
File
Servers
Switches
19 Downloads (Pure)

XES Software Communication Extension

Leemans, M. & Liu, C., 20 Nov 2017, s.l.: XES Working Group. 4 p.

Research output: Book/ReportReportAcademic

Open Access
File
Communication
Application programs
Availability