E-LIB Suche - Ergebnisse für: Benedikt, Michael

1

Leapfrogging into the Future:

, In: Big Science, Innovation, and Societal Contributions,

Benedikt, Michael ; Ellis, John ; Charitos, Panagiotis. - p. 107-132 , 2024

Link: https://doi.org/10.1093/..

2

Two Variable Logic with Ultimately Periodic Counting:

Benedikt, Michael ; Kostylev, Egor V. ; Tan, Tony
SIAM Journal on Computing. 53 (2024) 4 - p. 884-968 , 2024

Link: https://doi.org/10.1137/..

3

PDQ 2.0: Flexible Infrastructure for Integrating Reasoning ..:

Benedikt, Michael ; Cooper, Fergus ; Germano, Stefano...
ACM SIGMOD Record. 51 (2023) 4 - p. 36-41 , 2023

Link: https://doi.org/10.1145/..

4

Synthesizing Nested Relational Queries from Implicit Specif..:

, In: Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,

Benedikt, Michael ; Pradic, Cécilia ; Wernhard, Christoph - p. 33-45 , 2023

Link: https://dl.acm.org/doi/1..

5

On Monotonic Determinacy and Rewritability for Recursive Qu..:

Benedikt, Michael ; Kikot, Stanislav ; Ostropolski-Nalewaja, Piotr.
ACM Transactions on Computational Logic. 24 (2023) 2 - p. 1-62 , 2023

Link: https://doi.org/10.1145/..

6

Embedded Finite Models beyond Restricted Quantifier Collaps:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Benedikt, Michael ; Hrushovski, Ehud - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

7

The Past and Future of Embedded Finite Model Theory:

, In: Lecture Notes in Computer Science; Reachability Problems,

Benedikt, Michael - p. 37-46 , 2022

Link: https://doi.org/10.1007/..

8

Future Circular Collider: Integrated Programme and Feasibil..:

Benedikt, Michael ; Zimmermann, Frank
Frontiers in Physics. 10 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

9

Things, Organisms, Buildings, You: Meaning and Agency in th..:

Benedikt, Michael
Biosemiotics. 15 (2022) 2 - p. 235-259 , 2022

Link: https://doi.org/10.1007/..

10

When Can We Answer Queries Using Result-Bounded Data Interf..:

Amarilli, Antoine ; Benedikt, Michael
Logical Methods in Computer Science. 18, Issue 2 (2022) - p. , 2022

Link: https://doi.org/10.46298..

11

2022 ACM PODS Alberto O. Mendelzon Test-of-Time Award:

, In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,

Bender, Michael ; Benedikt, Michael ; Roy, Sudeepa - p. 103-104 , 2022

Link: https://dl.acm.org/doi/1..

12

Rewriting the infinite chase:

Benedikt, Michael ; Buron, Maxime ; Germano, Stefano..
Proceedings of the VLDB Endowment. 15 (2022) 11 - p. 3045-3057 , 2022

Link: https://doi.org/10.14778..

13

CERN Future Circular Collider – the Mining the Future compe..:

Hauzinger, Elisabeth ; Galler, Robert ; Schneider, Daniel...
Geomechanics and Tunnelling. 15 (2022) 6 - p. 774-782 , 2022

Link: https://doi.org/10.1002/..

14

Scalable analysis of multi-modal biomedical data:

Smith, Jaclyn ; Shi, Yao ; Benedikt, Michael.
GigaScience. 10 (2021) 9 - p. , 2021

Link: https://doi.org/10.1093/..

15

Generating collection transformations from proofs:

Benedikt, Michael ; Pradic, Pierre
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://doi.org/10.1145/..