Author: "Quer, Stefano" / Publication Type: Books - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Quer, Stefano"' showing total 4 results

Start Over Author "Quer, Stefano" Publication Type Books

4 results on '"Quer, Stefano"'

1. Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors

Author: Harada, Tatsuya, primary, Tejero-de-Pablos, Antonio, additional, Quer, Stefano, additional, and Savarese, Francesco, additional
Published: 2020
Full Text: View/download PDF

2. Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification

Author: Cabodi, Gianpiero, primary, Nocco, Sergio, additional, and Quer, Stefano, additional
Published: 2002
Full Text: View/download PDF

3. Transforming Boolean relations by symbolic encoding

Author: Cabodi, Gianpiero, primary, Quer, Stefano, additional, and Camurati, Paolo, additional
Published: 1995
Full Text: View/download PDF

4. Advancements in Mixed BDD and SAT Techniques

Author: Cabodi, Gianpiero, primary and Quer, Stefano, additional
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results