431 citations
- N. Przybilla8 · h 42
- M. Kadler2 profiles7 · h 61
- Ute Schmid5 · h 27
- Bettina Finzel4 · h 9
- B. Lott2 profiles4 · h 37
- C. Cecchi2 profiles4 · h 110
- Christoph Benzmüller4 · h 33
- D. Dumora2 profiles4 · h 78
- D. Parent2 profiles4 · h 81
- E. Cavazzuti2 profiles4 · h 72
- F. Longo2 profiles4 · h 126
- G. Tosti2 profiles4 · h 112
- Goddard Space Flight CenterUS9 papers
- Freie Universität BerlinDE7 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE6 papers
- Max Planck Institute for Radio AstronomyDE6 papers
- Universities Space Research AssociationUS6 papers
- University of Maryland, College ParkUS6 papers
- University of Rome Tor VergataIT6 papers
- CEA Paris-SaclayFR5 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR5 papers
- ETH ZurichCH5 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT5 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT5 papers
83 papers
Generative Artificial Intelligence for Literature Reviews
Gerit Wagner, Julian Prester, Reza Mousavi +2
Generative artificial intelligence (GenAI), based on large-language models (LLMs), such as ChatGPT, has taken organizations, academia, and the public by storm. In particular, impre…
Determinacy with Priorities up to Clocks
Luigi Liquori, Michael Mendler, Claude Stolze
In Milner's seminal book on communication and concurrency introducing CCS, a process algebra inherently non-deterministic, chapter 11 was completely devoted to introduce the notion…
Winning and losing with Artificial Intelligence: What public discourse about ChatGPT tells us about how societies make sense of technological change
Adrian Rauchfleisch, Joshua Philip Suarez, Nikka Marie Sales +1
Public product launches in Artificial Intelligence can serve as focusing events for collective attention, surfacing how societies react to technological change. Social media provid…
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
Isolde Adler, Eva Fluck, Tim Seppelt +1
We study the expressive power of first-order logic with counting quantifiers, especially the -variable and quantifier-rank- fragment, using homomorphism indistinguishability.…
High-frequency intraday trading for battery storages
David Schaurecker, David Wozabal, Nils Löhndorf +1
Maximizing revenue for grid-scale battery energy storage systems in continuous intraday electricity markets requires strategies that are able to seize trading opportunities as soon…