Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Krogmeier, Paul
17
Ergebnisse:
Personensuche
X
Format
Online (17)
Medientypen
Artikel (Online) (8)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (8)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Languages with Decidable Learning: A Meta-theorem:
Krogmeier, Paul
;
Madhusudan, P.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 143-171 , 2023
Link:
https://doi.org/10.1145/..
?
2
Learning formulas in finite variable logics:
Krogmeier, Paul
;
Madhusudan, P.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022
Link:
https://doi.org/10.1145/..
?
3
Learning formulas in finite variable logics:
Krogmeier, Paul
;
Madhusudan, P.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022
Link:
https://dl.acm.org/doi/1..
?
4
Synthesizing axiomatizations using logic learning:
Krogmeier, Paul
;
Lin, Zhengyao
;
Murali, Adithya
.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1697-1725 , 2022
Link:
https://doi.org/10.1145/..
?
5
Deciding accuracy of differential privacy schemes:
Barthe, Gilles
;
Chadha, Rohit
;
Krogmeier, Paul
..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-30 , 2021
Link:
https://dl.acm.org/doi/1..
?
6
Deciding accuracy of differential privacy schemes:
Barthe, Gilles
;
Chadha, Rohit
;
Krogmeier, Paul
..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-30 , 2021
Link:
https://doi.org/10.1145/..
?
7
Decidable Synthesis of Programs with Uninterpreted Function:
, In:
Computer Aided Verification; Lecture Notes in Computer Science
,
Krogmeier, Paul
;
Mathur, Umang
;
Murali, Adithya
.. - p. 634-657 , 2020
Link:
https://doi.org/10.1007/..
?
8
Deciding memory safety for single-pass heap-manipulating pr..:
Mathur, Umang
;
Murali, Adithya
;
Krogmeier, Paul
..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019
Link:
https://doi.org/10.1145/..
?
9
Deciding memory safety for single-pass heap-manipulating pr..:
Mathur, Umang
;
Murali, Adithya
;
Krogmeier, Paul
..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019
Link:
https://dl.acm.org/doi/1..
?
10
Languages with Decidable Learning: A Meta-theorem:
Krogmeier, Paul
;
Madhusudan, P
http://arxiv.org/abs/2302.05741. , 2023
Link:
http://arxiv.org/abs/230..
?
11
Synthesizing Axiomatizations using Logic Learning:
Krogmeier, Paul
;
Lin, Zhengyao
;
Murali, Adithya
.
doi:10.1145/3563348. , 2022
Link:
https://zenodo.org/recor..
?
12
Learning Formulas in Finite Variable Logics:
Krogmeier, Paul
;
Madhusudan, P
http://arxiv.org/abs/2111.03534. , 2021
Link:
http://arxiv.org/abs/211..
?
13
Deciding Accuracy of Differential Privacy Schemes:
Barthe, Gilles
;
Chadha, Rohit
;
Krogmeier, Paul
..
http://arxiv.org/abs/2011.06404. , 2020
Link:
http://arxiv.org/abs/201..
?
14
Decidable Synthesis of Programs with Uninterpreted Function:
Krogmeier, Paul
;
Mathur, Umang
;
Murali, Adithya
..
http://arxiv.org/abs/1910.09744. , 2019
Link:
http://arxiv.org/abs/191..
?
15
Composing Neural Learning and Symbolic Reasoning with an Ap..:
Murali, Adithya
;
Sehgal, Atharva
;
Krogmeier, Paul
.
http://arxiv.org/abs/1907.05878. , 2019
Link:
http://arxiv.org/abs/190..
1-15