( en | de | ru )

 

Disambiguierung von "Grieskamp, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Federated Learning at Scale: System Design

, , , , , , , , , , , , , und . (2019)cite arxiv:1902.01046.

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.

Wolfgang Grieskamp

Thomas Grieskamp

Reta Grieskamp

Wolfgang Lehmann

Wolfgang Loch

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover., , , , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 183-200. Springer, (2022)XRT- Exploring Runtime for .NET Architecture and Applications., , und . SoftMC@CAV, Volume 144 von Electronic Notes in Theoretical Computer Science, Seite 3-26. Elsevier, (2005)Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components, , und . (1998)Model-Based Testing in the Field: Lessons Learned.. GI Jahrestagung (2), Volume P-94 von LNI, Seite 189-196. GI, (2006)Reasoning About Vectors Using an SMT Theory of Sequences., , , , , , , , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 125-143. Springer, (2022)Towards Federated Learning at Scale: System Design, , , , , , , , , und 4 andere Autor(en). (2019)cite arxiv:1902.01046.Instrumenting scenarios in a model-driven development environment., , und . Inf. Softw. Technol., 46 (15): 1027-1036 (2004)Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences., , , , , , , , , und . J. Autom. Reason., 67 (3): 32 (September 2023)The Move Prover., , , , , , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 137-150. Springer, (2020)Towards Federated Learning at Scale: System Design, , , , , , , , , und 4 andere Autor(en). (2019)cite arxiv:1902.01046.