Nuria Mata

According to our database, Nuria Mata authored at least 5 papers between 2001 and 2020.

Collaborative distances:

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

2020

Sedimentation monitoring of the active biomass in bioreactors by electrical impedance spectroscopy.

Ernesto Serrano-Finetti, Nuria Mata, Míriam Cerrillo

Proceedings of the 2020 IEEE International Instrumentation and Measurement Technology Conference, 2020

2016

Verification of component architectures using mode-based contracts.

Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2007

Das AutoMoDe-Projekt.

Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein

Inform. Forsch. Entwickl., 2007

2001

A Constraint Solving-Based Approach to Analyze 2D Geometric Problems With Interval Parameters.

Robert Joan-Arinyo, Nuria Mata, Antoni Soto-Riera

J. Comput. Inf. Sci. Eng., 2001

A constraint solving-based approach to analyze 2D geometric problems with interval parometers.

Robert Joan-Arinyo, Nuria Mata, Antoni Soto-Riera

Proceedings of the Sixth ACM Symposium on Solid Modeling and Applications, 2001