Autor der Publikation

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.

, , , , , , , , , , , und . Haifa Verification Conference, Volume 9434 von Lecture Notes in Computer Science, Seite 51-66. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Robust Server-Effort Policy for Fluid Processing Networks., , , und . CDC, Seite 5902-5909. IEEE, (2022)A Study of Human Summaries of Scientific Articles., , , , und . CoRR, (2020)The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process., , , , , , , , , und 2 andere Autor(en). Haifa Verification Conference, Volume 9434 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2015)SummIt: A Tool for Extractive Summarization, Discovery and Analysis., , , und . CIKM, Seite 2459-2462. ACM, (2017)A Summarization System for Scientific Documents., , , , , , , , , und 8 andere Autor(en). EMNLP/IJCNLP (3), Seite 211-216. Association for Computational Linguistics, (2019)Robust Optimization of System Design., , und . CSER, Volume 28 von Procedia Computer Science, Seite 489-496. Elsevier, (2014)Unsupervised Dual-Cascade Learning with Pseudo-Feedback Distillation for Query-based Extractive Summarization., , , , und . CoRR, (2018)InspectorRAGet: An Introspection Platform for RAG Evaluation., , , , , , und . CoRR, (2024)Unsupervised Query-Focused Multi-Document Summarization using the Cross Entropy Method., , , und . SIGIR, Seite 961-964. ACM, (2017)Rectangle Placement for VLSI Testing., , , , , und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 18-30. Springer, (2015)