Neue Dateien

Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.

CONCUR25-Exercise-01-intro.pdf Stephan Mennicke
15:37, 9. Apr. 2025
1.239 × 1.752, 2 Seiten; 42 KB
DBT-2025-Exercise-01.pdf Lukas Gerlach
07:48, 9. Apr. 2025
1.239 × 1.752, 2 Seiten; 292 KB
CONCUR-02-bisimilarity.pdf Stephan Mennicke
12:53, 8. Apr. 2025
1.752 × 985, 26 Seiten; 5,74 MB
CONCUR25-01-introduction.pdf Stephan Mennicke
10:17, 8. Apr. 2025
1.752 × 985, 40 Seiten; 5,75 MB
2025-PODS-Carral-Gerlach-Larroque-Thomazo-Technical-Report.pdf Lukas Gerlach
07:44, 8. Apr. 2025
1.012 × 1.500, 29 Seiten; 707 KB
TheoLog2025-Vorlesung-02.pdf Sebastian Rudolph
15:22, 7. Apr. 2025
943 × 589, 86 Seiten; 407 KB
TheoLog2025-Vorlesung-01.pdf Sebastian Rudolph
13:47, 7. Apr. 2025
943 × 589, 57 Seiten; 519 KB
DBT2025-Lecture-02-print.pdf Markus Krötzsch
10:59, 7. Apr. 2025
943 × 589, 29 Seiten; 178 KB
DBT2025-Lecture-02-overlay.pdf Markus Krötzsch
10:59, 7. Apr. 2025
943 × 589, 58 Seiten; 229 KB
DBT2025-Lecture-01-print.pdf Markus Krötzsch
10:58, 7. Apr. 2025
943 × 589, 27 Seiten; 145 KB
DBT2025-Lecture-01-overlay.pdf Markus Krötzsch
10:58, 7. Apr. 2025
943 × 589, 42 Seiten; 167 KB
Lmcs-bbe-grange.pdf Bartosz Bednarczyk
09:49, 31. Mär. 2025
1.275 × 1.650, 28 Seiten; 803 KB
Thesis Topic Simplified Tableaux for SLTL.pdf Tim Lyon
14:14, 28. Mär. 2025
1.275 × 1.650, 3 Seiten; 250 KB
Thesis Topic Ill-Founded Sequent System for LTL.pdf Tim Lyon
17:39, 27. Mär. 2025
1.275 × 1.650, 3 Seiten; 249 KB
Gerlach-Leaning-In-2025-Talk-Slides.pdf Lukas Gerlach
14:23, 27. Mär. 2025
1.752 × 985, 25 Seiten; 133 KB
LAT group photo 2025.jpg Francesco Kriegel
18:50, 25. Mär. 2025
826 × 600; 328 KB
Verteidigung - Slides.pdf Robin Ziemek
11:01, 6. Mär. 2025
943 × 531, 200 Seiten; 3,64 MB
LIPIcs.CONCUR.2024.37.pdf Timm Spork
15:21, 5. Mär. 2025
1.239 × 1.752, 19 Seiten; 872 KB
A spectrum of approximate probabilistic bisimulations.pdf Timm Spork
15:18, 5. Mär. 2025
1.239 × 1.752, 20 Seiten; 896 KB
Andrea.jpeg Johannes Lehmann
12:23, 5. Mär. 2025
236 × 354; 69 KB
CeTI MZ RGB Subline.svg Johannes Lehmann
10:02, 4. Mär. 2025
459 × 128; 13 KB
5L0A7935.jpg Johannes Lehmann
14:20, 20. Feb. 2025
1.565 × 2.347; 1,81 MB
5L0A6793.jpg Johannes Lehmann
14:19, 20. Feb. 2025
1.456 × 2.184; 1,94 MB
5L0A6784.jpg Johannes Lehmann
14:18, 20. Feb. 2025
1.616 × 2.425; 2,5 MB
5L0A6772.jpg Johannes Lehmann
14:18, 20. Feb. 2025
1.717 × 2.575; 3,15 MB
5L0A6757.jpg Johannes Lehmann
14:15, 20. Feb. 2025
1.546 × 2.319; 2,42 MB
5L0A6742.jpg Johannes Lehmann
14:14, 20. Feb. 2025
2.089 × 3.134; 3,98 MB
5L0A6716.jpg Johannes Lehmann
14:13, 20. Feb. 2025
1.497 × 2.245; 2,06 MB
5L0A6712.jpg Johannes Lehmann
14:12, 20. Feb. 2025
1.290 × 1.935; 1,58 MB
5L0A6700.jpg Johannes Lehmann
14:10, 20. Feb. 2025
2.032 × 3.048; 3,96 MB
5L0A7912.jpg Johannes Lehmann
14:08, 20. Feb. 2025
1.216 × 1.824; 1,21 MB
Gruppenfoto.jpeg Johannes Lehmann
11:56, 19. Feb. 2025
900 × 506; 146 KB
54c6152f-374a-4032-8833-a191c72cff41.jpeg Sascha Klüppelholz
11:55, 19. Feb. 2025
630 × 354; 76 KB
5L0A6744.jpg Johannes Lehmann
11:16, 19. Feb. 2025
3.149 × 4.723; 7,71 MB
5L0A6728.jpg Johannes Lehmann
11:13, 19. Feb. 2025
3.246 × 4.870; 7,57 MB
KG2024-Lecture-13-print.pdf Markus Krötzsch
12:37, 6. Feb. 2025
943 × 589, 10 Seiten; 78 KB
KG2024-Lecture-13-overlay.pdf Markus Krötzsch
12:37, 6. Feb. 2025
943 × 589, 10 Seiten; 78 KB
KG2024-Lecture-12-print.pdf Markus Krötzsch
10:25, 6. Feb. 2025
943 × 589, 17 Seiten; 110 KB
KG2024-Lecture-12-overlay.pdf Markus Krötzsch
10:24, 6. Feb. 2025
943 × 589, 22 Seiten; 117 KB
FKR2024-06.pdf Hannes Straß
13:16, 3. Feb. 2025
943 × 589, 31 Seiten; 195 KB
FKR2024-12.pdf Hannes Straß
13:15, 3. Feb. 2025
943 × 589, 181 Seiten; 578 KB
FS2024-Vorlesung-26.pdf Sebastian Rudolph
10:55, 3. Feb. 2025
943 × 589, 21 Seiten; 240 KB
Kg2024-exercise-12.pdf Maximilian Marx
05:32, 30. Jan. 2025
1.239 × 1.752, 2 Seiten; 205 KB
CT2024-Exercise-11.pdf Stephan Mennicke
10:37, 29. Jan. 2025
1.239 × 1.752; 248 KB
CT2024-Lecture-26-print.pdf Markus Krötzsch
15:55, 28. Jan. 2025
943 × 589, 31 Seiten; 185 KB
CT2024-Lecture-26-overlay.pdf Markus Krötzsch
15:55, 28. Jan. 2025
943 × 589, 61 Seiten; 245 KB
FS2024-Vorlesung-25.pdf Sebastian Rudolph
17:03, 27. Jan. 2025
943 × 589, 74 Seiten; 2,5 MB
KRR exercises 11 WS24.pdf Jonas Karge
16:28, 27. Jan. 2025
1.239 × 1.752, 2 Seiten; 93 KB
CT2024-Lecture-25-print.pdf Markus Krötzsch
09:56, 27. Jan. 2025
943 × 589, 20 Seiten; 156 KB
CT2024-Lecture-25-overlay.pdf Markus Krötzsch
09:56, 27. Jan. 2025
943 × 589, 45 Seiten; 199 KB