( en | de | ru )

 

Disambiguierung von "Facchini, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Containment for Conditional Tree Patterns.

, , , und . Logical Methods in Computer Science, (2015)

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.

Marco Facchini

Christian Facchini

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Nova

Alessandro Zivelonghi

 

Weitere Publikationen von Autoren mit dem selben Namen

Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems., , , und . SN Comput. Sci., 4 (5): 443 (September 2023)Deciding the Borel Complexity of Regular Tree Languages., und . CiE, Volume 8493 von Lecture Notes in Computer Science, Seite 163-172. Springer, (2014)Model theory of monadic predicate logic with the infinity quantifier., , , und . Arch. Math. Log., 61 (3-4): 465-502 (2022)A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata., und . ILC, Volume 5489 von Lecture Notes in Computer Science, Seite 46-55. Springer, (2007)SOS for Bounded Rationality., , , und . ISIPTA, Volume 62 von Proceedings of Machine Learning Research, Seite 25-36. PMLR, (2017)Logic and Model Checking by Imprecise Probabilistic Interpreted Systems., , , und . EUMAS, Volume 12802 von Lecture Notes in Computer Science, Seite 211-227. Springer, (2021)Credal Sentential Decision Diagrams., , und . ISIPTA, Volume 103 von Proceedings of Machine Learning Research, Seite 14-22. PMLR, (2019)A Credal Extension of Independent Choice Logic., und . SUM, Volume 11142 von Lecture Notes in Computer Science, Seite 35-49. Springer, (2018)A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus., , und . LICS, Seite 478-487. IEEE Computer Society, (2013)Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata., , und . CSL, Volume 5771 von Lecture Notes in Computer Science, Seite 225-239. Springer, (2009)