( en | de | ru )

 

Disambiguierung von "Amla, Nina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
NSF on Chien's Grand Challenge for Sustainability.

, , , und . Commun. ACM, 66 (5): 36-37 (Mai 2023)

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.

Anup Sam Ninan

Fernando Nina

Michael Amlang

Erwin Amlacher

Julia Amlang

 

Weitere Publikationen von Autoren mit dem selben Namen

A Hybrid of Counterexample-Based and Proof-Based Abstraction., und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 260-274. Springer, (2004)Experimental Analysis of Different Techniques for Bounded Model Checking., , , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2003)Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare., , , , und . ACI, Seite 7:1-7:11. ACM, (2017)Combining Abstraction Refinement and SAT-Based Model Checking., und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2007)Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review., , und . CoRR, (2016)NSF on Chien's Grand Challenge for Sustainability., , , und . Commun. ACM, 66 (5): 36-37 (Mai 2023)Automatic Abstraction without Counterexamples., und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 2-17. Springer, (2003)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2002)Model Checking Synchronous Timing Diagrams., , , und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2000)Abstract Patterns of Compositional Reasoning., , , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 423-438. Springer, (2003)