Nicolas Faroß

According to our database, Nicolas Faroß authored at least 7 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Pseudo-Complex Quantifier Elimination.

Nicolas Faroß, Thomas Sturm

CoRR, April, 2026

2025

Gröbner Bases for Boolean Function Minimization.

Nicolas Faroß, Simon Schwarz

Math. Comput. Sci., December, 2025

A Concrete Model for the Quantum Permutation Group on 4 Points.

Nicolas Faroß, Moritz Weber

Exp. Math., April, 2025

On the Number of Real Types of Univariate Polynomials.

Nicolas Faroß, Thomas Sturm

CoRR, February, 2025

Algorithmic Problems in Categories of Partitions.

Nicolas Faroß, Sebastian Volz

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

On the Number of Real Types of Univariate Polynomials.

Nicolas Faroß, Thomas Sturm

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

2024

Efficient and Generic Microarchitectural Hash-Function Recovery.

Lukas Gerlach, Simon Schwarz, Nicolas Faroß, Michael Schwarz

Proceedings of the IEEE Symposium on Security and Privacy, 2024