Limiting probabilities of first order properties of random sparse graphs and hypergraphs A Larrauri, T Müller, M Noy Random Structures & Algorithms 60 (3), 506-526, 2022 | 5 | 2022 |
Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas LA Larrauri Journal of Logic and Computation 31 (2), 444-472, 2021 | 2 | 2021 |
Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines A Larrauri, R Bloem arXiv preprint arXiv:2105.10292, 2021 | 1 | 2021 |
Solving promise equations over monoids and groups A Larrauri, S Živný arXiv preprint arXiv:2402.08434, 2024 | | 2024 |
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget–a Bandgap Case Study R Bloem, A Larrauri, R Lengfeldner, C Mateis, D Ničković, B Ziegler 2022 International Conference on Hardware/Software Codesign and System …, 2022 | | 2022 |
Conformance Testing of Mealy Machines Under Input Restrictions A Larrauri, R Bloem arXiv preprint arXiv:2206.07441, 2022 | | 2022 |
First order logic of sparse hyper-graphs LA Larrauri Borroto Universitat Politècnica de Catalunya, 2019 | | 2019 |
First order logic of sparse hyper-graphs LAL Borroto Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística, 2019 | | 2019 |
Introducción a la Teoría de Esquemas LA Larrauri Borroto, F Montaner Frutos | | |