HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:partitioning

Publications
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier
EasyChair Preprint 1429
On-line Measuring Sensors for Smart Water Network Monitoring
Armando Di Nardo, David Baquero Gonzalez, Tom Baur, Romeo Bernini, Sergio Bodini, Sante Capasso, Furio Cascetta, Francesca Castaldo, Michele Cocco, Philippe Cousin, Mario D'Acunto, Romeo Di Leo, Bartolomeo Della Ventura, Anna Di Mauro, Michele Di Natale, Guido Di Virgilio, Marco Doveri, Bouabid El Mansouri, Roberto Germano, Carlo Giudicianni, Nicolas Giunta, Roberto Greco, Pasquale Iovino, Evina Katsou, Ralf Koenig, Chrysi Laspidou, Vincenzo Lisbino, Lisa Lupi, Eva Martínez Díaz, Dino Musmarra, Montse Mussons Olivella, Osvaldo Paleari, Jordi Raich, Fiona Regan, Manuel J. Rodriguez-Pinzon, José Manuel Rodriguez-Varela, Luca Sanfilippo, Jai Sankar Seelam, Giovanni Francesco Santonastaso, Dragan Savic, Andrea Scozzari, Francesco Soldovieri, Francesco Paolo Tuccinardi, Velitchko Tzatchkov, Lydia Vamvakeridou-Lyroudia, Martin van Rijn, Raffaele Velotta, Salvatore Venticinque and Hans Wouters
In:HIC 2018. 13th International Conference on Hydroinformatics
Copyright © 2012-2025 easychair.org. All rights reserved.