( en | de | ru )

 

Disambiguierung von "Ranise, Silvio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories.

, , , , und . J. Satisf. Boolean Model. Comput., 8 (1/2): 29-61 (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Silvio Bischoff

Miniaturisierte Hochdrehzahl-Kühlmittelpumpen für Kfz-Motoren. TU Braunschweig, (2009)

Silvio Scheel

Silvio Peritore

Silvio Schulze

Silvio Terner

 

Weitere Publikationen von Autoren mit dem selben Namen

Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution., , , und . SECRYPT, Seite 147-158. SciTePress, (2016)New results on rewrite-based satisfiability procedures, , , und . CoRR, (2006)Light-Weight SMT-based Model Checking, , und . Electr. Notes Theor. Comput. Sci., 250 (2): 85-102 (2009)A Lazy Approach to Access Control as a Service (ACaaS) for IoT: An AWS Case Study., , , und . SACMAT, Seite 235-246. ACM, (2018)Selective Release of Smart Metering Data in Multi-domain Smart Grids., , , , , und . SmartGridSec, Volume 8448 von Lecture Notes in Computer Science, Seite 48-62. Springer, (2014)The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk)., , , , und . Haifa Verification Conference, Volume 6504 von Lecture Notes in Computer Science, Seite 3. Springer, (2010)Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability., , und . SACMAT, Seite 89-99. ACM, (2016)From Strong Amalgamability to Modularity of Quantifier-Free Interpolation., , und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 118-133. Springer, (2012)A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies., , und . STM, Volume 9331 von Lecture Notes in Computer Science, Seite 55-71. Springer, (2015)On the Automated Analysis of Safety in Usage Control: A New Decidability Result., und . NSS, Volume 7645 von Lecture Notes in Computer Science, Seite 15-28. Springer, (2012)