Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
19 Treffer
-
In: WACV, 2023, S. 4914-4924KonferenzZugriff:
-
In: Inf. Sci., Jg. 660 (2024), S. 120136-120136academicJournalZugriff:
-
In: IJCAR, 2022, S. 147-168KonferenzZugriff:
-
In: MACIS, 2019, S. 105-121KonferenzZugriff:
-
In: PLoS Comput. Biol., Jg. 17 (2021), Heft 6academicJournalZugriff:
-
In: IJCAI, 2018, S. 2333-2340KonferenzZugriff:
-
In: Haifa Verification Conference, 2017, S. 195-210KonferenzZugriff:
-
In: BigMM, 2017, S. 50-57KonferenzZugriff:
-
In: TACAS (1), 2017, S. 58-75KonferenzZugriff:
-
In: CoRR, Jg. abs/2011.00215 (2020)academicJournalZugriff:
-
In: SMT@IJCAR, 2016, S. 15-30Online KonferenzZugriff:
-
In: ICMV, 2020, S. 1160519-1160519KonferenzZugriff:
-
In: J. Big Data, Jg. 8 (2021), Heft 1, S. 123-123academicJournalZugriff:
-
In: Int. J. Comput. Vis., Jg. 124 (2017), Heft 2, S. 132-144academicJournalZugriff:
-
In: SERVICES, 2018, S. 29-30KonferenzZugriff:
-
In: CoRR, Jg. abs/1801.08718 (2018)academicJournalZugriff:
-
In: ACE, 2013, S. 90-95KonferenzZugriff:
-
In: FMCAD, 2010, S. 81-89KonferenzZugriff: