Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Report
2020
21 Downloads (Pure)

Design of practical IoT identification methods: deliverable 2.2, Month 34, Nov 2019

Razeghi, B., Voloshynovskiy, S., Gheisari, M., Furon, T., Amsaleg, L., Leermakers, D. & Škorić, B., Jan 2020, Eindhoven: Technische Universiteit Eindhoven. 90 p. (Computer Science Reports; vol. 20-01)

Research output: Book/ReportReportAcademic

Open Access
File
2019
19 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
61 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
11 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
4 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)

Modelling and analysing software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer Science Reports; vol. 19-05)

Research output: Book/ReportReportAcademic

Open Access
File
Model checking
Software design
11 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
4 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
60 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
160 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
31 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
52 Downloads (Pure)
Open Access
File
34 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
4 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
27 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
108 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
45 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
5 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
44 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
47 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
131 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
167 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
73 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
20 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
70 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
32 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
38 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
676 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
76 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
104 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
470 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
26 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
75 Downloads (Pure)
Open Access
File
65 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
30 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
108 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
225 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
192 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
66 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
40 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
244 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
66 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