Neue Dateien

Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.

TheoLog2025-Vorlesung-16.pdf Sebastian Rudolph
17:51, 15. Jun. 2025
943 × 589, 60 Seiten; 212 KB
KAAI-Logo-minimal2.png Simon Razniewski
08:43, 6. Jun. 2025
1.024 × 820; 811 KB
KAAI-Logo-minimal.png Simon Razniewski
08:42, 6. Jun. 2025
1.024 × 820; 811 KB
DBT-2025-Exercise-08-Slides.pdf Lukas Gerlach
06:58, 4. Jun. 2025
943 × 531, 43 Seiten; 140 KB
DBT-2025-Exercise-09.pdf Lukas Gerlach
11:07, 3. Jun. 2025
1.239 × 1.752; 258 KB
DBT2025-Lecture-13-print.pdf Markus Krötzsch
09:35, 3. Jun. 2025
943 × 589, 27 Seiten; 192 KB
DBT2025-Lecture-13-overlay.pdf Markus Krötzsch
09:34, 3. Jun. 2025
943 × 589, 44 Seiten; 217 KB
CONCUR25-08-decidability.pdf Stephan Mennicke
06:10, 3. Jun. 2025
1.752 × 985, 32 Seiten; 271 KB
TheoLog2025-Vorlesung-15.pdf Sebastian Rudolph
12:20, 1. Jun. 2025
943 × 589, 51 Seiten; 363 KB
DBT-2025-Exercise-07-Slides.pdf Lukas Gerlach
08:19, 28. Mai 2025
943 × 531, 18 Seiten; 98 KB
TheoLog2025-Vorlesung-14.pdf Sebastian Rudolph
13:48, 27. Mai 2025
943 × 589, 65 Seiten; 263 KB
DBT-2025-Exercise-08.pdf Lukas Gerlach
10:43, 27. Mai 2025
1.239 × 1.752, 2 Seiten; 257 KB
CONCUR25-Exercise-05-algebra and upto.pdf Stephan Mennicke
08:04, 27. Mai 2025
1.752 × 985, 11 Seiten; 67 KB
CONCUR25-07-pcompleteness.pdf Stephan Mennicke
09:37, 26. Mai 2025
1.752 × 985, 17 Seiten; 220 KB
DBT2025-Lecture-12-print.pdf Markus Krötzsch
08:53, 26. Mai 2025
943 × 589, 33 Seiten; 152 KB
DBT2025-Lecture-12-overlay.pdf Markus Krötzsch
08:52, 26. Mai 2025
943 × 589, 47 Seiten; 176 KB
TheoLog2025-Vorlesung-13.pdf Sebastian Rudolph
15:11, 23. Mai 2025
943 × 589, 63 Seiten; 237 KB
DBT2025-Lecture-11-print.pdf Markus Krötzsch
15:29, 20. Mai 2025
943 × 589, 41 Seiten; 238 KB
DBT2025-Lecture-11-overlay.pdf Markus Krötzsch
15:29, 20. Mai 2025
943 × 589, 86 Seiten; 341 KB
DBT-2025-Exercise-07.pdf Lukas Gerlach
14:47, 20. Mai 2025
1.239 × 1.752; 296 KB
DBT-2025-Exercise-06-Slides.pdf Lukas Gerlach
14:47, 20. Mai 2025
943 × 531, 55 Seiten; 154 KB
Flp-aft-ijcai25.pdf Pascal Kettmann
10:29, 20. Mai 2025
1.275 × 1.650, 9 Seiten; 383 KB
Karge-AAMAS-2024-slides.pdf Sebastian Rudolph
13:06, 19. Mai 2025
943 × 589, 13 Seiten; 1,56 MB
Paper223-Wed1030JonasKarge.pdf Jonas Karge
08:27, 19. Mai 2025
943 × 589, 13 Seiten; 1,32 MB
TheoLog2025-Vorlesung-12.pdf Sebastian Rudolph
10:22, 18. Mai 2025
943 × 589, 76 Seiten; 366 KB
TheoLog2025-Vorlesung-11.pdf Sebastian Rudolph
10:11, 17. Mai 2025
943 × 589, 55 Seiten; 245 KB
2023-KR-Standpoint-EL-presentation.pdf Sebastian Rudolph
15:49, 15. Mai 2025
4.000 × 2.250, 128 Seiten; 3,79 MB
DBT-2025-Exercise-05-Slides.pdf Lukas Gerlach
14:30, 13. Mai 2025
943 × 531, 66 Seiten; 421 KB
DBT-2025-Exercise-06.pdf Lukas Gerlach
08:19, 13. Mai 2025
1.239 × 1.752, 2 Seiten; 223 KB
KR2024 BestPaperAward Ceremony.jpg Alex Ivliev
07:44, 13. Mai 2025
2.304 × 1.536; 724 KB
Mbhadra.jpg Meghna Bhadra
12:51, 12. Mai 2025
1.507 × 2.365; 638 KB
TheoLog2025-Vorlesung-10.pdf Sebastian Rudolph
12:31, 12. Mai 2025
943 × 589, 70 Seiten; 224 KB
CONCUR2025-06-ptime.pdf Stephan Mennicke
10:41, 12. Mai 2025
1.752 × 985, 21 Seiten; 5,75 MB
DBT2025-Lecture-10-print.pdf Markus Krötzsch
06:12, 12. Mai 2025
943 × 589, 17 Seiten; 120 KB
DBT2025-Lecture-10-overlay.pdf Markus Krötzsch
06:12, 12. Mai 2025
943 × 589, 48 Seiten; 179 KB
TheoLog2025-Vorlesung-09.pdf Sebastian Rudolph
11:29, 11. Mai 2025
943 × 589, 59 Seiten; 192 KB
TomFriese 2024.png Tom Friese
13:59, 8. Mai 2025
2.013 × 3.018; 7,38 MB
DBT-2025-Exercise-04-Slides.pdf Lukas Gerlach
05:29, 8. Mai 2025
943 × 531, 57 Seiten; 363 KB
TheoLog2025-Vorlesung-08.pdf Sebastian Rudolph
13:22, 6. Mai 2025
943 × 589, 63 Seiten; 206 KB
DBT2025-Lecture-09-print.pdf Markus Krötzsch
11:42, 6. Mai 2025
943 × 589, 22 Seiten; 141 KB
DBT2025-Lecture-09-overlay.pdf Markus Krötzsch
11:42, 6. Mai 2025
943 × 589, 29 Seiten; 150 KB
DBT-2025-Exercise-05.pdf Lukas Gerlach
11:29, 6. Mai 2025
1.239 × 1.752, 2 Seiten; 464 KB
DBT-2025-Exercise-04.pdf Lukas Gerlach
11:23, 6. Mai 2025
1.239 × 1.752, 2 Seiten; 297 KB
DBT2025-Lecture-08-print.pdf Markus Krötzsch
12:19, 5. Mai 2025
943 × 589, 20 Seiten; 133 KB
DBT2025-Lecture-08-overlay.pdf Markus Krötzsch
12:19, 5. Mai 2025
943 × 589, 56 Seiten; 261 KB
CONCUR25-05-algebra.pdf Stephan Mennicke
08:18, 5. Mai 2025
1.752 × 985, 18 Seiten; 5,74 MB
TheoLog2025-Vorlesung-07.pdf Sebastian Rudolph
09:39, 1. Mai 2025
943 × 589, 73 Seiten; 375 KB
DBT-2025-Exercise-03-Slides.pdf Lukas Gerlach
14:34, 29. Apr. 2025
943 × 531, 75 Seiten; 220 KB
34865-Article Text-38932-1-2-20250410-1.pdf Patrick Wienhöft
08:04, 29. Apr. 2025
1.275 × 1.650, 11 Seiten; 177 KB
CONCUR25-Exercise-02-linear-branching.pdf Stephan Mennicke
07:52, 29. Apr. 2025
1.239 × 1.752, 2 Seiten; 35 KB