Department of Mathematics and Computer Science

Research Output

Filter
Report
2020

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
50 Downloads (Pure)

The SCIP Optimization Suite 7.0

Gamrath, G., Anderson, D., Bestuzheva, K., Chen, W-K., Eifler, L., Gasse, M., Gemander, P., Gleixner, A., Gottwald, L., Halbig, K., Hendel, G., Hojny, C., Koch, T., Le Bodic, P., Maher, S. J., Matter, F., Miltenberger, M., Mühmer, E., Müller, B., Pfetsch, M. E. & 8 others, Schlösser, F., Serrano, F., Shinano, Y., Tawfik, C., Vigerske, S., Wegscheider, F., Weninger, D. & Witzig, J., 2020, Berlin: Zuse Institut Berlin. 46 p. (ZIB-Report; vol. 20-10)

Research output: Book/ReportReportAcademic

Open Access
2019

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
24 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
66 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
17 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
6 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
22 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
19 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
13 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
9 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
199 Downloads (Pure)
2018

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
33 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
175 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
35 Downloads (Pure)
Open Access
File
58 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
38 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
6 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
28 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
112 Downloads (Pure)

Hilbert modular polynomials

Martindale, C. R., 2018

Research output: Book/ReportReportAcademic

Open Access
File
22 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
56 Downloads (Pure)
Open Access
File
18 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

8 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
12 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
9 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
50 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
52 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
5 Downloads (Pure)
2017

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
137 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
171 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
77 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
29 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
75 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
41 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
787 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
83 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
110 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
525 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
29 Downloads (Pure)

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

Open Access
File
81 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
72 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
33 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
114 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
229 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
198 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
69 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
49 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
267 Downloads (Pure)