The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Laura Titolo" ( http://dblp.L3S.de/Authors/Laura_Titolo )

URL (Homepage):  https://orcid.org/0000-0001-7820-7640  Author page on DBLP  Author page in RDF  Community of Laura Titolo in ASPL-2

Publication years (Num. hits)
2011-2018 (17) 2019 (1)
Publication types (Num. hits)
article(10) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric A Mixed Real and Floating-Point Solver. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato Eliminating Unstable Tests in Floating-Point Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato Eliminating Unstable Tests in Floating-Point Programs. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo A constraint-based language for modelling intelligent environments. Search on Bibsonomy J. Reliable Intelligent Environments The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva A program analysis framework for tccp based on abstract interpretation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz A Formal Analysis of the Compact Position Reporting Algorithm. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva Abstract Analysis of Universal Properties for tccp. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Abstract Diagnosis for tccp using a Linear Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Damián Adalid, María-del-Mar Gallardo, Laura Titolo Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Search on Bibsonomy PROLE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Damián Adalid, María-del-Mar Gallardo, Laura Titolo Modeling Hybrid Systems in Hy-tccp. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Abstract Diagnosis for tccp using a Linear Temporal Logic. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Towards an Effective Decision Procedure for LTL formulas with Constraints. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Laura Titolo An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Abstract Diagnosis for Timed Concurrent Constraint programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Abstract diagnosis for timed concurrent constraint programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license