The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Valentin Cassano" ( http://dblp.L3S.de/Authors/Valentin_Cassano )

  Author page on DBLP  Author page in RDF  Community of Valentin Cassano in ASPL-2

Publication years (Num. hits)
2013-2019 (10)
Publication types (Num. hits)
inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces An Algebraic Approach for Action Based Default Reasoning. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro A Tableaux Calculus for Default Intuitionistic Logic. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro Interpolation and Beth Definability in Default Logics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Carlos Areces, Pablo F. Castro Reasoning About Prescription and Description Using Prioritized Default Rules. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik A model management approach for assurance case reuse due to system evolution. Search on Bibsonomy MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng Is Current Incremental Safety Assurance Sound? Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, T. S. E. Maibaum The Definition and Assessment of a Safety Argument. Search on Bibsonomy ISSRE Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, T. S. E. Maibaum Actions and Events in Concurrent Systems Design. Search on Bibsonomy LAFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (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