Gallery of new files

This special page shows the last uploaded files.

DBT-2025-Exercise-05-Slides.pdf Lukas Gerlach
16:30, 13 May 2025
943 × 531, 66 pages; 421 KB
DBT2025-Lecture-11-print.pdf Markus Krötzsch
11:53, 13 May 2025
943 × 589, 38 pages; 218 KB
DBT2025-Lecture-11-overlay.pdf Markus Krötzsch
11:52, 13 May 2025
943 × 589, 81 pages; 318 KB
DBT-2025-Exercise-06.pdf Lukas Gerlach
10:19, 13 May 2025
1,239 × 1,752, 2 pages; 223 KB
KR2024 BestPaperAward Ceremony.jpg Alex Ivliev
09:44, 13 May 2025
2,304 × 1,536; 724 KB
Mbhadra.jpg Meghna Bhadra
14:51, 12 May 2025
1,507 × 2,365; 638 KB
TheoLog2025-Vorlesung-10.pdf Sebastian Rudolph
14:31, 12 May 2025
943 × 589, 70 pages; 224 KB
CONCUR2025-06-ptime.pdf Stephan Mennicke
12:41, 12 May 2025
1,752 × 985, 21 pages; 5.75 MB
DBT2025-Lecture-10-print.pdf Markus Krötzsch
08:12, 12 May 2025
943 × 589, 17 pages; 120 KB
DBT2025-Lecture-10-overlay.pdf Markus Krötzsch
08:12, 12 May 2025
943 × 589, 48 pages; 179 KB
TheoLog2025-Vorlesung-09.pdf Sebastian Rudolph
13:29, 11 May 2025
943 × 589, 59 pages; 192 KB
TomFriese 2024.png Tom Friese
15:59, 8 May 2025
2,013 × 3,018; 7.38 MB
DBT-2025-Exercise-04-Slides.pdf Lukas Gerlach
07:29, 8 May 2025
943 × 531, 57 pages; 363 KB
TheoLog2025-Vorlesung-08.pdf Sebastian Rudolph
15:22, 6 May 2025
943 × 589, 63 pages; 206 KB
DBT2025-Lecture-09-print.pdf Markus Krötzsch
13:42, 6 May 2025
943 × 589, 22 pages; 141 KB
DBT2025-Lecture-09-overlay.pdf Markus Krötzsch
13:42, 6 May 2025
943 × 589, 29 pages; 150 KB
DBT-2025-Exercise-05.pdf Lukas Gerlach
13:29, 6 May 2025
1,239 × 1,752, 2 pages; 464 KB
DBT-2025-Exercise-04.pdf Lukas Gerlach
13:23, 6 May 2025
1,239 × 1,752, 2 pages; 297 KB
DBT2025-Lecture-08-print.pdf Markus Krötzsch
14:19, 5 May 2025
943 × 589, 20 pages; 133 KB
DBT2025-Lecture-08-overlay.pdf Markus Krötzsch
14:19, 5 May 2025
943 × 589, 56 pages; 261 KB
CONCUR25-05-algebra.pdf Stephan Mennicke
10:18, 5 May 2025
1,752 × 985, 18 pages; 5.74 MB
TheoLog2025-Vorlesung-07.pdf Sebastian Rudolph
11:39, 1 May 2025
943 × 589, 73 pages; 375 KB
DBT-2025-Exercise-03-Slides.pdf Lukas Gerlach
16:34, 29 April 2025
943 × 531, 75 pages; 220 KB
34865-Article Text-38932-1-2-20250410-1.pdf Patrick Wienhöft
10:04, 29 April 2025
1,275 × 1,650, 11 pages; 177 KB
CONCUR25-Exercise-02-linear-branching.pdf Stephan Mennicke
09:52, 29 April 2025
1,239 × 1,752, 2 pages; 35 KB
DBT2025-Lecture-07-print.pdf Markus Krötzsch
09:19, 29 April 2025
943 × 589, 17 pages; 3.69 MB
DBT2025-Lecture-07-overlay.pdf Markus Krötzsch
09:19, 29 April 2025
943 × 589, 29 pages; 3.7 MB
CONCUR25-Exercise-04-algebra.pdf Stephan Mennicke
09:10, 29 April 2025
1,239 × 1,752, 2 pages; 46 KB
CONCUR25-Exercise-03-ccs.pdf Stephan Mennicke
09:10, 29 April 2025
1,239 × 1,752; 36 KB
DBT2025-Lecture-06-print.pdf Markus Krötzsch
11:29, 28 April 2025
943 × 589, 35 pages; 200 KB
DBT2025-Lecture-06-overlay.pdf Markus Krötzsch
11:29, 28 April 2025
943 × 589, 77 pages; 295 KB
CONCUR25-04-algebraic.pdf Stephan Mennicke
08:48, 28 April 2025
1,752 × 985, 24 pages; 5.75 MB
TheoLog2025-Vorlesung-06.pdf Sebastian Rudolph
12:35, 25 April 2025
943 × 589, 87 pages; 213 KB
Academic-skills-reading.pdf Philipp Hanisch
16:52, 24 April 2025
943 × 531, 31 pages; 228 KB
01-Academic-Skill-Reading.pdf Philipp Hanisch
11:50, 24 April 2025
943 × 531, 31 pages; 232 KB
DBT-2025-Exercise-02-Slides.pdf Lukas Gerlach
16:24, 22 April 2025
943 × 531, 106 pages; 386 KB
2304.06348v5.pdf Sebastian Rudolph
11:22, 22 April 2025
1,275 × 1,650, 53 pages; 1.06 MB
DBT2025-Lecture-04-print.pdf Markus Krötzsch
08:27, 22 April 2025
943 × 589, 11 pages; 101 KB
DBT2025-Lecture-04-overlay.pdf Markus Krötzsch
08:27, 22 April 2025
943 × 589, 19 pages; 116 KB
DBT2025-Lecture-05-print.pdf Markus Krötzsch
08:27, 22 April 2025
943 × 589, 20 pages; 152 KB
DBT2025-Lecture-05-overlay.pdf Markus Krötzsch
08:27, 22 April 2025
943 × 589, 35 pages; 201 KB
DBT-2025-Exercise-03.pdf Lukas Gerlach
08:12, 22 April 2025
1,239 × 1,752; 259 KB
TheoLog2025-Vorlesung-05.pdf Sebastian Rudolph
16:35, 21 April 2025
943 × 589, 78 pages; 236 KB
DBT-2025-Exercise-02.pdf Lukas Gerlach
07:16, 16 April 2025
1,239 × 1,752; 252 KB
DBT-2025-Exercise-01-Slides.pdf Lukas Gerlach
07:16, 16 April 2025
943 × 531, 114 pages; 273 KB
TheoLog2025-Vorlesung-04.pdf Sebastian Rudolph
22:20, 15 April 2025
943 × 589, 59 pages; 235 KB
CONCUR-03-bisimilarity.pdf Stephan Mennicke
08:23, 15 April 2025
1,752 × 985, 25 pages; 5.76 MB
DBT2025-Lecture-03-print.pdf Markus Krötzsch
11:03, 14 April 2025
943 × 589, 29 pages; 2.28 MB
DBT2025-Lecture-03-overlay.pdf Markus Krötzsch
11:02, 14 April 2025
943 × 589, 49 pages; 2.54 MB
TheoLog2025-Vorlesung-03.pdf Sebastian Rudolph
10:17, 14 April 2025
943 × 589, 82 pages; 226 KB
2025-04-Gerlach-DL-Seminar.pdf Lukas Gerlach
08:00, 14 April 2025
1,752 × 985, 97 pages; 374 KB
Uni-Leipzig-Logo.png Markus Krötzsch
08:24, 11 April 2025
1,063 × 450; 125 KB
SECAI-SQUARE-SHORT.pdf Markus Krötzsch
08:20, 11 April 2025
856 × 856; 18 KB
CONCUR25-Exercise-01-intro.pdf Stephan Mennicke
15:37, 9 April 2025
1,239 × 1,752, 2 pages; 42 KB
DBT-2025-Exercise-01.pdf Lukas Gerlach
07:48, 9 April 2025
1,239 × 1,752, 2 pages; 292 KB
CONCUR-02-bisimilarity.pdf Stephan Mennicke
12:53, 8 April 2025
1,752 × 985, 26 pages; 5.74 MB
CONCUR25-01-introduction.pdf Stephan Mennicke
10:17, 8 April 2025
1,752 × 985, 40 pages; 5.75 MB
2025-PODS-Carral-Gerlach-Larroque-Thomazo-Technical-Report.pdf Lukas Gerlach
07:44, 8 April 2025
1,012 × 1,500, 29 pages; 707 KB
TheoLog2025-Vorlesung-02.pdf Sebastian Rudolph
15:22, 7 April 2025
943 × 589, 86 pages; 407 KB
TheoLog2025-Vorlesung-01.pdf Sebastian Rudolph
13:47, 7 April 2025
943 × 589, 57 pages; 519 KB
DBT2025-Lecture-02-print.pdf Markus Krötzsch
10:59, 7 April 2025
943 × 589, 29 pages; 178 KB
DBT2025-Lecture-02-overlay.pdf Markus Krötzsch
10:59, 7 April 2025
943 × 589, 58 pages; 229 KB
DBT2025-Lecture-01-print.pdf Markus Krötzsch
10:58, 7 April 2025
943 × 589, 27 pages; 145 KB
DBT2025-Lecture-01-overlay.pdf Markus Krötzsch
10:58, 7 April 2025
943 × 589, 42 pages; 167 KB
Lmcs-bbe-grange.pdf Bartosz Bednarczyk
09:49, 31 March 2025
1,275 × 1,650, 28 pages; 803 KB
Thesis Topic Simplified Tableaux for SLTL.pdf Tim Lyon
14:14, 28 March 2025
1,275 × 1,650, 3 pages; 250 KB
Thesis Topic Ill-Founded Sequent System for LTL.pdf Tim Lyon
17:39, 27 March 2025
1,275 × 1,650, 3 pages; 249 KB
Gerlach-Leaning-In-2025-Talk-Slides.pdf Lukas Gerlach
14:23, 27 March 2025
1,752 × 985, 25 pages; 133 KB
LAT group photo 2025.jpg Francesco Kriegel
18:50, 25 March 2025
826 × 600; 328 KB
Verteidigung - Slides.pdf Robin Ziemek
11:01, 6 March 2025
943 × 531, 200 pages; 3.64 MB
LIPIcs.CONCUR.2024.37.pdf Timm Spork
15:21, 5 March 2025
1,239 × 1,752, 19 pages; 872 KB
A spectrum of approximate probabilistic bisimulations.pdf Timm Spork
15:18, 5 March 2025
1,239 × 1,752, 20 pages; 896 KB
Andrea.jpeg Johannes Lehmann
12:23, 5 March 2025
236 × 354; 69 KB
CeTI MZ RGB Subline.svg Johannes Lehmann
10:02, 4 March 2025
459 × 128; 13 KB
5L0A7935.jpg Johannes Lehmann
14:20, 20 February 2025
1,565 × 2,347; 1.81 MB
5L0A6793.jpg Johannes Lehmann
14:19, 20 February 2025
1,456 × 2,184; 1.94 MB
5L0A6784.jpg Johannes Lehmann
14:18, 20 February 2025
1,616 × 2,425; 2.5 MB
5L0A6772.jpg Johannes Lehmann
14:18, 20 February 2025
1,717 × 2,575; 3.15 MB
5L0A6757.jpg Johannes Lehmann
14:15, 20 February 2025
1,546 × 2,319; 2.42 MB
5L0A6742.jpg Johannes Lehmann
14:14, 20 February 2025
2,089 × 3,134; 3.98 MB
5L0A6716.jpg Johannes Lehmann
14:13, 20 February 2025
1,497 × 2,245; 2.06 MB
5L0A6712.jpg Johannes Lehmann
14:12, 20 February 2025
1,290 × 1,935; 1.58 MB
5L0A6700.jpg Johannes Lehmann
14:10, 20 February 2025
2,032 × 3,048; 3.96 MB
5L0A7912.jpg Johannes Lehmann
14:08, 20 February 2025
1,216 × 1,824; 1.21 MB
Gruppenfoto.jpeg Johannes Lehmann
11:56, 19 February 2025
900 × 506; 146 KB
54c6152f-374a-4032-8833-a191c72cff41.jpeg Sascha Klüppelholz
11:55, 19 February 2025
630 × 354; 76 KB
5L0A6744.jpg Johannes Lehmann
11:16, 19 February 2025
3,149 × 4,723; 7.71 MB
5L0A6728.jpg Johannes Lehmann
11:13, 19 February 2025
3,246 × 4,870; 7.57 MB
KG2024-Lecture-13-print.pdf Markus Krötzsch
12:37, 6 February 2025
943 × 589, 10 pages; 78 KB
KG2024-Lecture-13-overlay.pdf Markus Krötzsch
12:37, 6 February 2025
943 × 589, 10 pages; 78 KB
KG2024-Lecture-12-print.pdf Markus Krötzsch
10:25, 6 February 2025
943 × 589, 17 pages; 110 KB
KG2024-Lecture-12-overlay.pdf Markus Krötzsch
10:24, 6 February 2025
943 × 589, 22 pages; 117 KB
FKR2024-06.pdf Hannes Straß
13:16, 3 February 2025
943 × 589, 31 pages; 195 KB
FKR2024-12.pdf Hannes Straß
13:15, 3 February 2025
943 × 589, 181 pages; 578 KB
FS2024-Vorlesung-26.pdf Sebastian Rudolph
10:55, 3 February 2025
943 × 589, 21 pages; 240 KB
Kg2024-exercise-12.pdf Maximilian Marx
05:32, 30 January 2025
1,239 × 1,752, 2 pages; 205 KB
CT2024-Exercise-11.pdf Stephan Mennicke
10:37, 29 January 2025
1,239 × 1,752; 248 KB
CT2024-Lecture-26-print.pdf Markus Krötzsch
15:55, 28 January 2025
943 × 589, 31 pages; 185 KB
CT2024-Lecture-26-overlay.pdf Markus Krötzsch
15:55, 28 January 2025
943 × 589, 61 pages; 245 KB
FS2024-Vorlesung-25.pdf Sebastian Rudolph
17:03, 27 January 2025
943 × 589, 74 pages; 2.5 MB
KRR exercises 11 WS24.pdf Jonas Karge
16:28, 27 January 2025
1,239 × 1,752, 2 pages; 93 KB
CT2024-Lecture-25-print.pdf Markus Krötzsch
09:56, 27 January 2025
943 × 589, 20 pages; 156 KB
CT2024-Lecture-25-overlay.pdf Markus Krötzsch
09:56, 27 January 2025
943 × 589, 45 pages; 199 KB
FS2024-Vorlesung-24.pdf Sebastian Rudolph
19:16, 24 January 2025
943 × 589, 83 pages; 250 KB
KG2024-Lecture-11-print.pdf Markus Krötzsch
12:09, 23 January 2025
943 × 589, 28 pages; 138 KB
KG2024-Lecture-11-overlay.pdf Markus Krötzsch
12:09, 23 January 2025
943 × 589, 36 pages; 150 KB
Kg2024-exercise-11.pdf Maximilian Marx
18:19, 22 January 2025
1,239 × 1,752, 2 pages; 275 KB
FS2024-Vorlesung-23.pdf Sebastian Rudolph
14:22, 21 January 2025
943 × 589, 55 pages; 188 KB
CT2024-Lecture-24-print.pdf Markus Krötzsch
12:07, 21 January 2025
943 × 589, 20 pages; 204 KB
CT2024-Lecture-24-overlay.pdf Markus Krötzsch
12:07, 21 January 2025
943 × 589, 50 pages; 265 KB
KRR exercises 10 WS24.pdf Jonas Karge
11:59, 21 January 2025
1,239 × 1,752, 2 pages; 91 KB
NMR2024-Presentation-Gerlach.pdf Lukas Gerlach
11:11, 21 January 2025
1,752 × 985, 47 pages; 262 KB
News Lean.png Alex Ivliev
15:37, 20 January 2025
655 × 156; 19 KB
FKR2024-11.pdf Hannes Straß
11:42, 20 January 2025
943 × 589, 41 pages; 184 KB
CT2024-Lecture-23-print.pdf Markus Krötzsch
08:58, 20 January 2025
943 × 589, 23 pages; 170 KB
CT2024-Lecture-23-overlay.pdf Markus Krötzsch
08:57, 20 January 2025
943 × 589, 63 pages; 255 KB
FS2024-Vorlesung-22.pdf Sebastian Rudolph
21:21, 19 January 2025
943 × 589, 73 pages; 252 KB
CT2024-Exercise-10.pdf Stephan Mennicke
11:13, 17 January 2025
1,239 × 1,752; 302 KB
Kg2024-exercise-10.pdf Maximilian Marx
18:18, 16 January 2025
1,239 × 1,752, 2 pages; 258 KB
KG2024-Lecture-09-print.pdf Markus Krötzsch
18:16, 16 January 2025
943 × 589, 23 pages; 159 KB
KG2024-Lecture-09-overlay.pdf Markus Krötzsch
18:15, 16 January 2025
943 × 589, 40 pages; 187 KB
KG2024-Lecture-10-print.pdf Markus Krötzsch
10:18, 16 January 2025
943 × 589, 22 pages; 106 KB
KG2024-Lecture-10-overlay.pdf Markus Krötzsch
10:18, 16 January 2025
943 × 589, 47 pages; 144 KB
CT2024-Lecture-21-print.pdf Markus Krötzsch
12:24, 14 January 2025
943 × 589, 25 pages; 177 KB
CT2024-Lecture-21-overlay.pdf Markus Krötzsch
12:24, 14 January 2025
943 × 589, 60 pages; 241 KB
CT2024-Lecture-22-print.pdf Markus Krötzsch
12:24, 14 January 2025
943 × 589, 22 pages; 416 KB
CT2024-Lecture-22-overlay.pdf Markus Krötzsch
12:24, 14 January 2025
943 × 589, 44 pages; 460 KB
KRR exercises 9 WS24.pdf Jonas Karge
11:37, 14 January 2025
1,239 × 1,752, 2 pages; 92 KB
CT2024-Lecture-19-print.pdf Markus Krötzsch
17:24, 13 January 2025
943 × 589, 31 pages; 196 KB
CT2024-Lecture-19-overlay.pdf Markus Krötzsch
17:24, 13 January 2025
943 × 589, 56 pages; 233 KB
CT2024-Lecture-20-print.pdf Markus Krötzsch
17:23, 13 January 2025
943 × 589, 26 pages; 207 KB
CT2024-Lecture-20-overlay.pdf Markus Krötzsch
17:23, 13 January 2025
943 × 589, 41 pages; 232 KB
FKR2024-10.pdf Hannes Straß
10:17, 13 January 2025
943 × 589, 37 pages; 179 KB
FS2024-Vorlesung-21.pdf Sebastian Rudolph
20:27, 11 January 2025
943 × 589, 53 pages; 158 KB
FS2024-Vorlesung-20.pdf Sebastian Rudolph
14:05, 10 January 2025
943 × 589, 60 pages; 182 KB
Kg2024-exercise-09.pdf Maximilian Marx
20:04, 7 January 2025
1,239 × 1,752; 204 KB
FS2024-Vorlesung-19.pdf Sebastian Rudolph
16:31, 7 January 2025
943 × 589, 80 pages; 293 KB
FS2024-Vorlesung-18.pdf Sebastian Rudolph
16:30, 7 January 2025
943 × 589, 59 pages; 289 KB
CT2024-Exercise-09.pdf Stephan Mennicke
14:33, 7 January 2025
1,239 × 1,752; 266 KB
KRR exercises WS24 8.pdf Jonas Karge
16:14, 6 January 2025
1,239 × 1,752, 2 pages; 95 KB
FKR2024-09.pdf Hannes Straß
11:59, 6 January 2025
943 × 589, 39 pages; 171 KB
KG2024-Lecture-08-print.pdf Markus Krötzsch
17:56, 19 December 2024
943 × 589, 23 pages; 140 KB
KG2024-Lecture-08-overlay.pdf Markus Krötzsch
17:56, 19 December 2024
943 × 589, 33 pages; 158 KB
FS2024-Vorlesung-17.pdf Hannes Straß
13:46, 19 December 2024
943 × 589, 76 pages; 282 KB
KRR exercises 7 WS24.pdf Jonas Karge
12:26, 19 December 2024
1,239 × 1,752, 2 pages; 104 KB
Kg2024-exercise-07.pdf Maximilian Marx
23:12, 17 December 2024
1,239 × 1,752, 2 pages; 306 KB
Kg2024-exercise-08.pdf Maximilian Marx
23:10, 17 December 2024
1,239 × 1,752, 2 pages; 220 KB
CT2024-Exercise-08.pdf Stephan Mennicke
13:06, 17 December 2024
1,239 × 1,752; 291 KB
CT2024-Lecture-18-print.pdf Markus Krötzsch
12:56, 17 December 2024
943 × 589, 17 pages; 114 KB
CT2024-Lecture-18-overlay.pdf Markus Krötzsch
12:56, 17 December 2024
943 × 589, 54 pages; 166 KB
FS2024-Vorlesung-16.pdf Hannes Straß
11:16, 16 December 2024
943 × 589, 40 pages; 227 KB
CT2024-Lecture-17-print.pdf Markus Krötzsch
09:31, 16 December 2024
943 × 589, 24 pages; 158 KB
CT2024-Lecture-17-overlay.pdf Markus Krötzsch
09:31, 16 December 2024
943 × 589, 45 pages; 193 KB
BestPaper Jonas Kyoto.jpeg Alex Ivliev
14:15, 13 December 2024
1,200 × 1,600; 245 KB
KG2024-Lecture-07-print.pdf Markus Krötzsch
17:55, 12 December 2024
943 × 589, 25 pages; 160 KB
KG2024-Lecture-07-overlay.pdf Markus Krötzsch
17:54, 12 December 2024
943 × 589, 58 pages; 220 KB
CT2024-Lecture-16-print.pdf Markus Krötzsch
22:07, 10 December 2024
943 × 589, 25 pages; 171 KB
CT2024-Lecture-16-overlay.pdf Markus Krötzsch
22:07, 10 December 2024
943 × 589, 44 pages; 204 KB
CT2024-Lecture-15-print.pdf Markus Krötzsch
14:37, 9 December 2024
943 × 589, 24 pages; 141 KB
CT2024-Lecture-15-overlay.pdf Markus Krötzsch
14:37, 9 December 2024
943 × 589, 51 pages; 196 KB
FS2024-Vorlesung-15.pdf Sebastian Rudolph
18:07, 6 December 2024
943 × 589, 69 pages; 230 KB
FS2024-Vorlesung-14.pdf Sebastian Rudolph
18:06, 6 December 2024
943 × 589, 67 pages; 218 KB
FKR2024-08.pdf Hannes Straß
16:49, 6 December 2024
943 × 589, 22 pages; 147 KB
KG2024-Lecture-06-print.pdf Markus Krötzsch
12:17, 5 December 2024
943 × 589, 24 pages; 160 KB
KG2024-Lecture-06-overlay.pdf Markus Krötzsch
12:17, 5 December 2024
943 × 589, 38 pages; 184 KB
Kg2024-exercise-06.pdf Maximilian Marx
00:49, 4 December 2024
1,239 × 1,752, 2 pages; 238 KB
CT2024-Lecture-14-print.pdf Markus Krötzsch
17:10, 3 December 2024
943 × 589, 17 pages; 149 KB
CT2024-Lecture-14-overlay.pdf Markus Krötzsch
17:10, 3 December 2024
943 × 589, 42 pages; 196 KB
KRR exercises 6 WS24.pdf Jonas Karge
12:42, 3 December 2024
1,239 × 1,752, 2 pages; 122 KB
Best paper nemo.jpeg Alex Ivliev
11:57, 3 December 2024
800 × 533; 565 KB
CT2024-Exercise-07.pdf Stephan Mennicke
10:21, 3 December 2024
1,239 × 1,752; 272 KB
Prima slides karge.pdf Jonas Karge
15:35, 2 December 2024
943 × 589, 14 pages; 1.39 MB
CT2024-Lecture-13-print.pdf Markus Krötzsch
12:01, 2 December 2024
943 × 589, 19 pages; 135 KB
CT2024-Lecture-13-overlay.pdf Markus Krötzsch
12:00, 2 December 2024
943 × 589, 54 pages; 201 KB
FKR2024-07.pdf Hannes Straß
11:20, 2 December 2024
943 × 589, 22 pages; 132 KB
KR2024-GomezAlvarez-Standpoint SHIQ.pdf Sebastian Rudolph
17:42, 30 November 2024
4,000 × 2,250, 123 pages; 3.31 MB
FS2024-Vorlesung-13.pdf Sebastian Rudolph
14:54, 29 November 2024
943 × 589, 114 pages; 376 KB
FS2024-Vorlesung-12.pdf Sebastian Rudolph
14:15, 29 November 2024
943 × 589, 95 pages; 275 KB
2024 kbs group.jpg Stephan Mennicke
10:57, 29 November 2024
3,072 × 2,554; 5.61 MB
KG2024-Lecture-05-print.pdf Markus Krötzsch
15:18, 28 November 2024
943 × 589, 42 pages; 3.92 MB
KG2024-Lecture-05-overlay.pdf Markus Krötzsch
15:18, 28 November 2024
943 × 589, 47 pages; 3.93 MB
CT2024-Lecture-12-print.pdf Markus Krötzsch
18:40, 26 November 2024
943 × 589, 23 pages; 143 KB
CT2024-Lecture-12-overlay.pdf Markus Krötzsch
18:40, 26 November 2024
943 × 589, 48 pages; 191 KB
Kg2024-exercise-05.pdf Maximilian Marx
18:05, 26 November 2024
1,239 × 1,752; 302 KB
CT2024-Lecture-11-print.pdf Markus Krötzsch
14:44, 25 November 2024
943 × 589, 27 pages; 170 KB
CT2024-Lecture-11-overlay.pdf Markus Krötzsch
14:44, 25 November 2024
943 × 589, 44 pages; 195 KB
KRR problems5 WS24.pdf Jonas Karge
13:58, 25 November 2024
1,239 × 1,752, 2 pages; 289 KB
FS2024-Vorlesung-11.pdf Sebastian Rudolph
18:23, 23 November 2024
943 × 589, 58 pages; 207 KB
FS2024-Vorlesung-10.pdf Sebastian Rudolph
18:23, 23 November 2024
943 × 589, 74 pages; 218 KB
FKR2024-02.pdf Hannes Straß
17:20, 22 November 2024
943 × 589, 43 pages; 220 KB
FKR2024-03.pdf Hannes Straß
17:20, 22 November 2024
943 × 589, 28 pages; 156 KB
FKR2024-04.pdf Hannes Straß
17:19, 22 November 2024
943 × 589, 25 pages; 148 KB
FKR2024-05.pdf Hannes Straß
17:18, 22 November 2024
943 × 589, 30 pages; 163 KB
CT2024-Exercise-05.pdf Stephan Mennicke
15:55, 22 November 2024
1,239 × 1,752, 2 pages; 326 KB
CT2024-Exercise-06.pdf Stephan Mennicke
15:52, 22 November 2024
1,239 × 1,752; 262 KB
KG2024-Lecture-04-print.pdf Maximilian Marx
18:15, 21 November 2024
943 × 589, 35 pages; 3.77 MB
KG2024-Lecture-04-overlay.pdf Maximilian Marx
18:14, 21 November 2024
943 × 589, 61 pages; 3.81 MB
Kg2024-exercise-04.pdf Maximilian Marx
18:12, 21 November 2024
1,239 × 1,752, 2 pages; 200 KB
CT2024-Lecture-10-print.pdf Markus Krötzsch
09:08, 19 November 2024
943 × 589, 33 pages; 194 KB
CT2024-Lecture-10-overlay.pdf Markus Krötzsch
09:08, 19 November 2024
943 × 589, 65 pages; 299 KB
CT2024-Lecture-09-print.pdf Markus Krötzsch
12:07, 18 November 2024
943 × 589, 20 pages; 260 KB
CT2024-Lecture-09-overlay.pdf Markus Krötzsch
12:06, 18 November 2024
943 × 589, 46 pages; 299 KB
FS2024-Vorlesung-09.pdf Sebastian Rudolph
23:32, 15 November 2024
943 × 589, 81 pages; 267 KB
FS2024-Vorlesung-08.pdf Sebastian Rudolph
23:05, 15 November 2024
943 × 589, 85 pages; 285 KB
Kg2024-exercise-03.pdf Maximilian Marx
21:46, 14 November 2024
1,239 × 1,752, 2 pages; 196 KB
KG2024-Lecture-03-print.pdf Markus Krötzsch
21:38, 14 November 2024
943 × 589, 37 pages; 169 KB
KG2024-Lecture-03-overlay.pdf Markus Krötzsch
21:38, 14 November 2024
943 × 589, 81 pages; 246 KB
The Sticky Path - Ostropolski.pdf Sebastian Rudolph
18:24, 13 November 2024
754 × 566, 124 pages; 962 KB
ExistentialN3.pdf Dörthe Arndt
11:40, 13 November 2024
1,027 × 1,458, 30 pages; 629 KB
CT2024-Lecture-08-print.pdf Markus Krötzsch
18:35, 11 November 2024
943 × 589, 34 pages; 176 KB
CT2024-Lecture-08-overlay.pdf Markus Krötzsch
18:35, 11 November 2024
943 × 589, 51 pages; 209 KB
KRR exercises 4 WS24.pdf Jonas Karge
06:01, 11 November 2024
1,239 × 1,752, 2 pages; 101 KB
KRR exercises 3 WS24.pdf Jonas Karge
05:24, 11 November 2024
1,239 × 1,752, 2 pages; 93 KB
FS2024-Vorlesung-07.pdf Sebastian Rudolph
09:38, 10 November 2024
943 × 589, 116 pages; 386 KB
FS2024-Vorlesung-06.pdf Sebastian Rudolph
09:05, 10 November 2024
943 × 589, 63 pages; 284 KB
2408.08150v1.pdf Sarah Gaggl
05:06, 10 November 2024
1,027 × 1,458, 17 pages; 736 KB
Full jesse.heyninck 1730540034 1.jpeg Sarah Gaggl
04:59, 10 November 2024
1,148 × 860; 302 KB
Gaggl nmr 2024.pdf Sarah Gaggl
04:52, 10 November 2024
943 × 531, 88 pages; 7.42 MB
Gaggl kr 2024.pdf Sarah Gaggl
04:49, 10 November 2024
943 × 531, 41 pages; 828 KB
Kr2024-0060-rusovac-et-al.pdf Sarah Gaggl
04:41, 10 November 2024
1,275 × 1,650, 12 pages; 479 KB
Kg2024-exercise-02.pdf Maximilian Marx
18:20, 7 November 2024
1,239 × 1,752, 3 pages; 298 KB
Kg2024-exercise-01.pdf Maximilian Marx
18:20, 7 November 2024
1,239 × 1,752, 2 pages; 296 KB
KG2024-Lecture-02-print.pdf Markus Krötzsch
17:55, 7 November 2024
943 × 589, 34 pages; 213 KB
KG2024-Lecture-02-overlay.pdf Markus Krötzsch
17:55, 7 November 2024
943 × 589, 51 pages; 239 KB
Standpointssf.pdf Piotr Gorczyca
07:15, 7 November 2024
943 × 531, 110 pages; 559 KB
Dpdb argu LPNMR 2022.pdf Piotr Gorczyca
07:13, 7 November 2024
943 × 531, 82 pages; 808 KB
CT2024-Lecture-06-print.pdf Markus Krötzsch
12:24, 5 November 2024
943 × 589, 27 pages; 352 KB
CT2024-Lecture-06-overlay.pdf Markus Krötzsch
12:24, 5 November 2024
943 × 589, 47 pages; 391 KB
CT2024-Lecture-07-print.pdf Markus Krötzsch
12:23, 5 November 2024
943 × 589, 24 pages; 207 KB
CT2024-Lecture-07-overlay.pdf Markus Krötzsch
12:23, 5 November 2024
943 × 589, 48 pages; 301 KB
CT2024-Exercise-04.pdf Stephan Mennicke
09:45, 4 November 2024
1,239 × 1,752; 296 KB
CT2024-Exercise-03.pdf Stephan Mennicke
09:45, 4 November 2024
1,239 × 1,752; 289 KB
BaaderBrandtLutz-LTCS-05-01.pdf Markus Krötzsch
12:35, 30 October 2024
1,239 × 1,754, 33 pages; 387 KB
Markus-Kroetzsch-2024-10-27.jpg Markus Krötzsch
13:08, 28 October 2024
800 × 1,200; 458 KB
KRR exercise WS24.pdf Jonas Karge
18:51, 27 October 2024
1,239 × 1,752, 2 pages; 117 KB
FS2024-Vorlesung-05.pdf Sebastian Rudolph
11:40, 26 October 2024
943 × 589, 96 pages; 324 KB
CT2024-Lecture-05-overlay.pdf Stephan Mennicke
17:47, 24 October 2024
943 × 589, 85 pages; 282 KB
CT2024-Lecture-05-print.pdf Stephan Mennicke
17:47, 24 October 2024
943 × 589, 40 pages; 204 KB
CT2024-Exercise-02.pdf Stephan Mennicke
17:46, 24 October 2024
1,239 × 1,752; 265 KB
Tunas.talk.pdf Elisa Böhl
16:04, 23 October 2024
943 × 589, 45 pages; 940 KB
Soetalk.pdf Elisa Böhl
15:56, 23 October 2024
943 × 589, 34 pages; 1.39 MB
24Snaketalk.pdf Elisa Böhl
15:55, 23 October 2024
943 × 589, 92 pages; 1.6 MB
Snaketalk.pdf Elisa Böhl
14:39, 23 October 2024
943 × 589, 92 pages; 1.6 MB
Kg2024-exercise-00.pdf Maximilian Marx
20:49, 22 October 2024
1,239 × 1,752; 222 KB
CT2024-Lecture-03-print.pdf Markus Krötzsch
11:16, 22 October 2024
943 × 589, 26 pages; 170 KB
CT2024-Lecture-03-overlay.pdf Markus Krötzsch
11:16, 22 October 2024
943 × 589, 73 pages; 253 KB
CT2024-Lecture-04-print.pdf Markus Krötzsch
11:15, 22 October 2024
943 × 589, 25 pages; 135 KB
CT2024-Lecture-04-overlay.pdf Markus Krötzsch
11:15, 22 October 2024
943 × 589, 70 pages; 216 KB
IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf Lukas Gerlach
07:09, 22 October 2024
1,752 × 985, 24 pages; 676 KB
Datalog20 Ivliev Slides.pdf Alex Ivliev
15:58, 21 October 2024
2,879 × 1,618, 35 pages; 3.98 MB
LPNMR2024 Kuechenmeister Slides.pdf Alex Ivliev
15:43, 21 October 2024
943 × 531, 40 pages; 3.3 MB
KRR 24 1.pdf Jonas Karge
09:19, 21 October 2024
1,239 × 1,752, 2 pages; 96 KB
FS2024-Vorlesung-04.pdf Sebastian Rudolph
22:13, 20 October 2024
943 × 589, 117 pages; 604 KB
FS2024-Vorlesung-03.pdf Sebastian Rudolph
21:52, 20 October 2024
943 × 589, 91 pages; 357 KB
PAAMS22 ICCL.pdf Jonas Karge
11:47, 18 October 2024
1,275 × 1,650, 16 pages; 651 KB
IJCAI24-LyoKar.pdf Tim Lyon
10:30, 18 October 2024
1,275 × 1,650, 20 pages; 417 KB
Quite.pdf Simon Razniewski
06:51, 18 October 2024
1,239 × 1,752, 19 pages; 1,012 KB
Simonrazniewski.jpg Simon Razniewski
06:20, 18 October 2024
1,082 × 1,484; 295 KB
KG2024-Lecture-01-print.pdf Markus Krötzsch
19:08, 15 October 2024
943 × 589, 33 pages; 3.88 MB
KG2024-Lecture-01-overlay.pdf Markus Krötzsch
19:08, 15 October 2024
943 × 589, 62 pages; 3.92 MB
CT2024-Lecture-02-print.pdf Markus Krötzsch
12:40, 15 October 2024
943 × 589, 27 pages; 154 KB
CT2024-Lecture-02-overlay.pdf Markus Krötzsch
12:40, 15 October 2024
943 × 589, 94 pages; 273 KB
CT2024-Lecture-01-print.pdf Markus Krötzsch
12:39, 15 October 2024
943 × 589, 21 pages; 207 KB
CT2024-Lecture-01-overlay.pdf Markus Krötzsch
12:39, 15 October 2024
943 × 589, 70 pages; 300 KB
FS2024-Vorlesung-02.pdf Sebastian Rudolph
20:20, 14 October 2024
943 × 589, 83 pages; 288 KB
FKR2024-01.pdf Hannes Straß
13:48, 14 October 2024
943 × 589, 56 pages; 12.17 MB
CT2024-Exercise-01.pdf Stephan Mennicke
10:16, 14 October 2024
1,239 × 1,752, 2 pages; 306 KB
FS2024-Vorlesung-01.pdf Sebastian Rudolph
19:55, 11 October 2024
943 × 589, 66 pages; 307 KB
Semeco-logo.png Hannes Straß
11:11, 11 October 2024
1,338 × 412; 43 KB
Nmr-13-submission-camera-ready.pdf Piotr Gorczyca
10:38, 11 October 2024
1,239 × 1,752, 11 pages; 1,019 KB
Lecture-01.pdf Sebastian Rudolph
10:02, 11 October 2024
943 × 589, 67 pages; 308 KB
CLMR-SACAIR24.pdf Sebastian Rudolph
10:11, 8 October 2024
1,275 × 1,650, 17 pages; 301 KB
ICCL profile JK 0410.jpg Jonas Karge
17:02, 4 October 2024
222 × 336; 32 KB
LMR-SACAIR24.pdf Sebastian Rudolph
13:04, 4 October 2024
1,275 × 1,650, 20 pages; 349 KB
JAIR24-LyoBer.pdf Tim Lyon
09:27, 4 October 2024
1,275 × 1,650, 40 pages; 525 KB
Votingscenario.png Jonas Karge
11:53, 2 October 2024
1,898 × 1,462; 584 KB
JK profile ICCL.png Jonas Karge
10:29, 2 October 2024
400 × 600; 388 KB
ICCL profile JK.jpeg3.pdf Jonas Karge
16:15, 1 October 2024
547 × 625; 90 KB
2024-XLoKR-Submission-5-camera-ready.pdf Lukas Gerlach
08:05, 27 September 2024
1,275 × 1,650, 7 pages; 525 KB
Cv gaggl work.pdf Sarah Gaggl
09:35, 26 September 2024
1,239 × 1,752, 13 pages; 5.14 MB
NMR-2024-Submission-8-camera-ready.pdf Lukas Gerlach
08:32, 24 September 2024
1,239 × 1,752, 4 pages; 840 KB
PRIMA2024 submission.pdf Jonas Karge
11:54, 20 September 2024
1,275 × 1,650, 20 pages; 573 KB
Nemo-logo.svg Markus Krötzsch
20:46, 16 September 2024
244 × 90; 28 KB
Ivliev-Datalog20-2024.pdf Alex Ivliev
15:57, 13 September 2024
1,239 × 1,752, 5 pages; 634 KB
SSA2024-AFT.pdf Hannes Straß
16:07, 12 September 2024
943 × 589, 58 pages; 306 KB
LPNMR2024-Küchenmeister.pdf Alex Ivliev
11:03, 2 September 2024
1,275 × 1,650, 13 pages; 499 KB
LPNMR24-16.pdf Hannes Straß
09:35, 27 August 2024
1,275 × 1,650, 13 pages; 410 KB
Snakesplus.pdf Elisa Böhl
16:04, 23 August 2024
1,027 × 1,458, 17 pages; 600 KB
Chase Termination Beyond Polynomial Time PODS Slides.pdf Philipp Hanisch
14:25, 23 August 2024
943 × 531, 54 pages; 352 KB
KR-2024-CR.pdf Alex Ivliev
10:14, 16 August 2024
1,275 × 1,650, 12 pages; 526 KB
Bart-personal-2.jpg Bartosz Bednarczyk
05:09, 9 August 2024
947 × 1,351; 272 KB
KBS Seminar 20240808.pdf Alex Ivliev
13:07, 8 August 2024
1,500 × 1,125, 50 pages; 964 KB
Probeklausur2024-slides.pdf Stephan Mennicke
20:28, 5 August 2024
943 × 589, 112 pages; 358 KB
KR2024 StandpointSHIQ.pdf Sebastian Rudolph
10:43, 1 August 2024
1,275 × 1,650, 13 pages; 1.25 MB
KR2024 StndpointSHIQ.pdf Sebastian Rudolph
10:42, 1 August 2024
1,275 × 1,650, 13 pages; 1.25 MB
TheoLog24-Probeklausur.pdf Stephan Mennicke
14:01, 21 July 2024
1,239 × 1,752, 7 pages; 276 KB
KR 2024 Characterization of Decidability for RPQs Under TGDs-iccl.pdf Piotr Ostropolski-Nalewaja
15:10, 19 July 2024
1,275 × 1,650, 12 pages; 543 KB
TheoLog24-Repetitorium.pdf Stephan Mennicke
11:17, 18 July 2024
943 × 589, 158 pages; 779 KB
TheoLog2024-Vorlesung-24-print.pdf Markus Krötzsch
10:38, 15 July 2024
943 × 589, 26 pages; 114 KB
TheoLog2024-Vorlesung-24-overlay.pdf Markus Krötzsch
10:38, 15 July 2024
943 × 589, 44 pages; 138 KB
TheoLog2024-Vorlesung-23-print.pdf Markus Krötzsch
11:34, 11 July 2024
943 × 589, 27 pages; 131 KB
TheoLog2024-Vorlesung-23-overlay.pdf Markus Krötzsch
11:34, 11 July 2024
943 × 589, 51 pages; 165 KB
IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf Lukas Gerlach
07:54, 9 July 2024
1,275 × 1,650, 13 pages; 405 KB
TheoLog2024-Vorlesung-22-print.pdf Markus Krötzsch
11:06, 8 July 2024
943 × 589, 25 pages; 123 KB
TheoLog2024-Vorlesung-22-overlay.pdf Markus Krötzsch
11:05, 8 July 2024
943 × 589, 45 pages; 160 KB
AGT SS24 Ex12.pdf Jonas Karge
10:46, 8 July 2024
1,239 × 1,752, 2 pages; 280 KB
AGT2024-12.pdf Hannes Straß
23:02, 6 July 2024
943 × 589, 24 pages; 162 KB
TheoLog2024-Vorlesung-21-print.pdf Markus Krötzsch
11:47, 4 July 2024
943 × 589, 25 pages; 116 KB
TheoLog2024-Vorlesung-21-overlay.pdf Markus Krötzsch
11:47, 4 July 2024
943 × 589, 52 pages; 162 KB
CPT-FSM-abcd.svg.png Sebastian Rudolph
19:26, 2 July 2024
584 × 480; 28 KB
Slides-Seminar-Nemo.pdf Alex Ivliev
13:25, 2 July 2024
2,879 × 1,618, 69 pages; 6.49 MB
CLG-zoom.png Sebastian Rudolph
22:57, 1 July 2024
1,266 × 960; 1.61 MB
Familylifebalance.png Sebastian Rudolph
21:40, 1 July 2024
1,906 × 1,700; 1.6 MB
AGT SS24 Ex11.pdf Jonas Karge
14:50, 1 July 2024
1,239 × 1,752, 2 pages; 224 KB
TheoLog2024-Vorlesung-20-print.pdf Markus Krötzsch
11:11, 1 July 2024
943 × 589, 21 pages; 622 KB
TheoLog2024-Vorlesung-20-overlay.pdf Markus Krötzsch
11:11, 1 July 2024
943 × 589, 45 pages; 668 KB
AGT2024-11.pdf Hannes Straß
11:07, 1 July 2024
943 × 589, 29 pages; 205 KB
ER-Rudolph-Lecture09.pdf Sebastian Rudolph
10:01, 29 June 2024
1,500 × 1,125, 35 pages; 645 KB
BBE-thesis-final.pdf Bartosz Bednarczyk
15:07, 27 June 2024
1,239 × 1,752, 224 pages; 3.53 MB
TheoLog2024-Vorlesung-19-print.pdf Markus Krötzsch
12:55, 27 June 2024
943 × 589, 27 pages; 458 KB
TheoLog2024-Vorlesung-19-overlay.pdf Markus Krötzsch
12:55, 27 June 2024
943 × 589, 55 pages; 508 KB
Bednarczyk-PhD-Defense-Slides.pdf Bartosz Bednarczyk
08:18, 25 June 2024
1,600 × 968, 169 pages; 6.2 MB
TheoLog24-Uebung-12.pdf Stephan Mennicke
07:12, 25 June 2024
1,239 × 1,752; 138 KB
TheoLog24-Uebung-11.pdf Stephan Mennicke
07:11, 25 June 2024
1,239 × 1,752, 2 pages; 224 KB
TheoLog24-Uebung-10.pdf Stephan Mennicke
07:10, 25 June 2024
1,239 × 1,752, 3 pages; 163 KB
TheoLog2024-Vorlesung-16-print.pdf Markus Krötzsch
14:22, 24 June 2024
943 × 589, 30 pages; 146 KB
TheoLog2024-Vorlesung-16-overlay.pdf Markus Krötzsch
14:21, 24 June 2024
943 × 589, 58 pages; 195 KB
AGT2024-10.pdf Hannes Straß
11:08, 24 June 2024
943 × 589, 38 pages; 222 KB
TheoLog2024-Vorlesung-18-overlay.pdf Markus Krötzsch
11:07, 24 June 2024
943 × 589, 74 pages; 206 KB
TheoLog2024-Vorlesung-18-print.pdf Markus Krötzsch
11:07, 24 June 2024
943 × 589, 27 pages; 123 KB
AGT SS24 Ex10.pdf Jonas Karge
10:37, 24 June 2024
1,239 × 1,752, 3 pages; 79 KB
TheoLog2024-Vorlesung-17-print.pdf Markus Krötzsch
12:56, 20 June 2024
943 × 589, 31 pages; 168 KB
TheoLog2024-Vorlesung-17-overlay.pdf Markus Krötzsch
12:56, 20 June 2024
943 × 589, 64 pages; 226 KB
AGT SS24 Ex09.pdf Hannes Straß
10:49, 20 June 2024
1,239 × 1,752, 2 pages; 90 KB
Bansal2021approximate.pdf Sergei Obiedkov
09:39, 19 June 2024
1,275 × 1,650, 16 pages; 340 KB
Thesis-BBE-v1.pdf Bartosz Bednarczyk
12:15, 18 June 2024
1,239 × 1,752, 224 pages; 3.48 MB
Tcs4f.png Luisa Herrmann
11:12, 18 June 2024
1,632 × 702; 117 KB
TheoLog24-Uebung-09.pdf Stephan Mennicke
09:12, 17 June 2024
1,239 × 1,752, 2 pages; 141 KB
AGT2024-09.pdf Hannes Straß
22:34, 16 June 2024
943 × 589, 30 pages; 189 KB
2024.06.12-accepting-run.jpeg Larry Gonzalez
21:35, 14 June 2024
1,600 × 1,200; 713 KB
2024.06.14-anouk-nick.jpeg Larry Gonzalez
21:30, 14 June 2024
2,400 × 1,800; 830 KB
2024.05.16-rajab.png Larry Gonzalez
10:42, 11 June 2024
437 × 316; 185 KB
AGT2024-08-Overlays.pdf Hannes Straß
13:22, 10 June 2024
943 × 589, 150 pages; 594 KB
AGT2024-05-Overlays.pdf Hannes Straß
13:21, 10 June 2024
943 × 589, 80 pages; 345 KB
AGT2024-08.pdf Hannes Straß
10:52, 10 June 2024
943 × 589, 36 pages; 251 KB
AGT SS24 Ex08.pdf Jonas Karge
14:29, 7 June 2024
1,239 × 1,752, 2 pages; 104 KB
TheoLog24-Uebung-08.pdf Stephan Mennicke
08:11, 7 June 2024
1,239 × 1,752, 3 pages; 191 KB
TheoLog2024-Vorlesung-15-print.pdf Markus Krötzsch
11:18, 6 June 2024
943 × 589, 18 pages; 252 KB
TheoLog2024-Vorlesung-15-overlay.pdf Markus Krötzsch
11:18, 6 June 2024
943 × 589, 48 pages; 310 KB
LICS24-OstLyo.pdf Tim Lyon
18:31, 5 June 2024
1,275 × 1,650, 8 pages; 529 KB
AGT 24 Ex07.pdf Jonas Karge
11:43, 3 June 2024
1,239 × 1,752, 4 pages; 122 KB
TheoLog2024-Vorlesung-14-print.pdf Markus Krötzsch
11:06, 3 June 2024
943 × 589, 32 pages; 132 KB
TheoLog2024-Vorlesung-14-overlay.pdf Markus Krötzsch
11:06, 3 June 2024
943 × 589, 65 pages; 217 KB
AGT2024-07.pdf Hannes Straß
14:39, 31 May 2024
943 × 589, 32 pages; 202 KB
TheoLog2024-Vorlesung-13-print.pdf Markus Krötzsch
12:55, 30 May 2024
943 × 589, 31 pages; 120 KB
TheoLog2024-Vorlesung-13-overlay.pdf Markus Krötzsch
12:55, 30 May 2024
943 × 589, 55 pages; 158 KB
CONCUR24-E05-ccs.pdf Stephan Mennicke
21:54, 28 May 2024
1,752 × 985, 8 pages; 207 KB
CONCUR24-07-testing.pdf Stephan Mennicke
21:52, 28 May 2024
943 × 531, 17 pages; 347 KB
05-ccs.pdf Stephan Mennicke
21:51, 28 May 2024
1,752 × 985, 8 pages; 207 KB
Rlc-lrec-coling-print.pdf Sergei Obiedkov
15:41, 27 May 2024
4,000 × 2,250, 16 pages; 167 KB
Rlc-lrec-coling.pdf Sergei Obiedkov
15:35, 27 May 2024
4,000 × 2,250, 51 pages; 279 KB
2024.lrec-main.1241.pdf Sergei Obiedkov
15:35, 27 May 2024
1,239 × 1,752, 19 pages; 687 KB
Paper 107.pdf Sergei Obiedkov
15:20, 27 May 2024
1,275 × 1,650, 17 pages; 467 KB
AGT SS24 Ex06.pdf Jonas Karge
13:36, 27 May 2024
1,239 × 1,752, 2 pages; 112 KB
TheoLog2024-Vorlesung-12-print.pdf Markus Krötzsch
08:59, 27 May 2024
943 × 589, 24 pages; 136 KB
TheoLog2024-Vorlesung-12-overlay.pdf Markus Krötzsch
08:59, 27 May 2024
943 × 589, 58 pages; 235 KB
AGT2024-06.pdf Hannes Straß
17:28, 24 May 2024
943 × 589, 29 pages; 254 KB
ICCL profile JK.jpeg Jonas Karge
12:14, 24 May 2024
400 × 600; 88 KB
TheoLog24-Uebung-07.pdf Stephan Mennicke
08:39, 23 May 2024
1,239 × 1,752, 2 pages; 207 KB
LICS24 Paper.pdf Tim Lyon
16:44, 20 May 2024
1,275 × 1,650, 8 pages; 596 KB
LICS24.pdf Tim Lyon
16:39, 20 May 2024
1,275 × 1,650, 8 pages; 596 KB
BBE-IJCAI-2024.pdf Bartosz Bednarczyk
14:40, 19 May 2024
1,275 × 1,650, 9 pages; 321 KB
TheoLog2024-Vorlesung-11-print.pdf Markus Krötzsch
13:00, 16 May 2024
943 × 589, 25 pages; 162 KB
TheoLog2024-Vorlesung-11-overlay.pdf Markus Krötzsch
13:00, 16 May 2024
943 × 589, 53 pages; 203 KB
AGT2024-05.pdf Hannes Straß
10:49, 15 May 2024
943 × 589, 19 pages; 160 KB
2307.09913.pdf Bartosz Bednarczyk
19:09, 14 May 2024
1,275 × 1,650, 31 pages; 1.21 MB
TheoLog24-Uebung06.pdf Stephan Mennicke
11:45, 14 May 2024
1,239 × 1,752, 2 pages; 187 KB
CONCUR24-E04-sos.pdf Stephan Mennicke
09:00, 14 May 2024
1,752 × 985, 10 pages; 240 KB
TheoLog2024-Vorlesung-10-print.pdf Markus Krötzsch
11:09, 13 May 2024
943 × 589, 30 pages; 123 KB
TheoLog2024-Vorlesung-10-overlay.pdf Markus Krötzsch
11:09, 13 May 2024
943 × 589, 69 pages; 192 KB
AGT SS24 Ex05.pdf Hannes Straß
10:23, 13 May 2024
1,239 × 1,752, 2 pages; 85 KB
CONCUR24-E03-ccpo.pdf Stephan Mennicke
13:56, 8 May 2024
1,752 × 985, 10 pages; 249 KB
CONCUR24-05-sos.pdf Stephan Mennicke
08:55, 7 May 2024
1,752 × 985, 31 pages; 303 KB
TheoLog24-Uebung-05.pdf Stephan Mennicke
12:52, 6 May 2024
1,239 × 1,752, 2 pages; 219 KB
TheoLog2024-Vorlesung-09-print.pdf Markus Krötzsch
10:57, 6 May 2024
943 × 589, 26 pages; 154 KB
TheoLog2024-Vorlesung-09-overlay.pdf Markus Krötzsch
10:56, 6 May 2024
943 × 589, 70 pages; 224 KB
TheoLog2024-Vorlesung-08-print.pdf Markus Krötzsch
10:56, 6 May 2024
943 × 589, 30 pages; 129 KB
TheoLog2024-Vorlesung-08-overlay.pdf Markus Krötzsch
10:55, 6 May 2024
943 × 589, 61 pages; 183 KB
AGT SS24 Ex04.pdf Hannes Straß
10:02, 6 May 2024
1,239 × 1,752, 2 pages; 100 KB
AGT2024-04.pdf Hannes Straß
09:35, 6 May 2024
943 × 589, 26 pages; 188 KB
TheoLog2024-Vorlesung-07-print.pdf Markus Krötzsch
18:17, 29 April 2024
943 × 589, 30 pages; 284 KB
TheoLog2024-Vorlesung-07-overlay.pdf Markus Krötzsch
18:17, 29 April 2024
943 × 589, 71 pages; 351 KB
AGT SS24 Ex3.pdf Jonas Karge
11:23, 29 April 2024
1,239 × 1,752, 3 pages; 88 KB
TheoLog24-Uebung-04.pdf Stephan Mennicke
09:11, 29 April 2024
1,239 × 1,752, 2 pages; 181 KB
AGT2024-03.pdf Hannes Straß
14:48, 26 April 2024
943 × 589, 30 pages; 212 KB
CONCUR24-E02-fixedpoints.pdf Stephan Mennicke
08:54, 26 April 2024
1,239 × 1,752, 2 pages; 232 KB
LAT group photo 2024.jpeg Oliver Fernandez Gil
13:52, 25 April 2024
1,008 × 756; 400 KB
TheoLog2024-Vorlesung-05-overlay.pdf Markus Krötzsch
12:57, 25 April 2024
943 × 589, 58 pages; 183 KB
TheoLog2024-Vorlesung-05-print.pdf Markus Krötzsch
12:57, 25 April 2024
943 × 589, 30 pages; 142 KB
TheoLog2024-Vorlesung-06-overlay.pdf Markus Krötzsch
11:26, 25 April 2024
943 × 589, 84 pages; 194 KB
TheoLog2024-Vorlesung-06-print.pdf Markus Krötzsch
11:26, 25 April 2024
943 × 589, 30 pages; 115 KB
IJCAI24-Lyon-Karge.pdf Tim Lyon
14:37, 24 April 2024
1,275 × 1,650, 20 pages; 419 KB
CONCUR24-04-directstyle.pdf Stephan Mennicke
11:03, 24 April 2024
1,752 × 985, 44 pages; 321 KB
AGT24-Ex02.pdf Jonas Karge
10:26, 22 April 2024
1,239 × 1,752, 2 pages; 149 KB
AGT2024-02.pdf Hannes Straß
15:22, 19 April 2024
943 × 589, 28 pages; 208 KB
2024.04.18-filippo-best-paper.jpeg Larry Gonzalez
09:37, 19 April 2024
1,120 × 630; 186 KB
TheoLog24-Uebung03.pdf Stephan Mennicke
21:42, 18 April 2024
1,239 × 1,752, 2 pages; 186 KB
TheoLog2024-Vorlesung-04-overlay.pdf Markus Krötzsch
15:17, 18 April 2024
943 × 589, 55 pages; 521 KB
TheoLog2024-Vorlesung-04-print.pdf Markus Krötzsch
15:17, 18 April 2024
943 × 589, 26 pages; 471 KB
BaBo-SAC-24.pdf Filippo De Bortoli
14:53, 18 April 2024
1,275 × 1,650, 8 pages; 563 KB
RestrictedChaseUniversalModelsInLean.pdf Lukas Gerlach
08:30, 18 April 2024
1,752 × 985, 15 pages; 241 KB
LBKR-2402-logicintro.pdf Sebastian Rudolph
15:24, 16 April 2024
943 × 589, 32 pages; 153 KB
CONCUR24-03-semantics.pdf Stephan Mennicke
14:09, 16 April 2024
1,752 × 985, 16 pages; 251 KB
LBKR-24-logicintro.pdf Sebastian Rudolph
15:25, 15 April 2024
943 × 589, 32 pages; 153 KB
CONCUR24-E01-bisimulation.pdf Stephan Mennicke
13:08, 15 April 2024
1,239 × 1,752, 2 pages; 205 KB
AGT2024-01.pdf Hannes Straß
10:40, 15 April 2024
943 × 589, 27 pages; 462 KB
TheoLog2024-Vorlesung-03-overlay.pdf Markus Krötzsch
10:19, 15 April 2024
943 × 589, 81 pages; 211 KB
TheoLog2024-Vorlesung-03-print.pdf Markus Krötzsch
10:19, 15 April 2024
943 × 589, 32 pages; 134 KB
RR23-N3Rules.pdf Stephan Mennicke
13:57, 12 April 2024
1,275 × 1,650, 15 pages; 326 KB
RR23-abstractDomains.pdf Stephan Mennicke
13:54, 12 April 2024
1,275 × 1,650, 15 pages; 544 KB
TheoLog24-Uebung01.pdf Stephan Mennicke
10:07, 12 April 2024
1,239 × 1,752, 2 pages; 196 KB
TheoLog24-Uebung02.pdf Stephan Mennicke
10:05, 12 April 2024
1,239 × 1,752, 2 pages; 183 KB
CONCUR24-02-Bisimulation.pdf Stephan Mennicke
09:24, 12 April 2024
1,752 × 985, 26 pages; 9.98 MB
CONCUR24-01-Introduction.pdf Stephan Mennicke
09:23, 12 April 2024
1,752 × 985, 22 pages; 285 KB
TheoLog2024-Vorlesung-02-print.pdf Markus Krötzsch
15:10, 11 April 2024
943 × 589, 31 pages; 292 KB
TheoLog2024-Vorlesung-02-overlay.pdf Markus Krötzsch
15:10, 11 April 2024
943 × 589, 71 pages; 360 KB
AGT24 Ex01.pdf Jonas Karge
12:58, 11 April 2024
1,239 × 1,752, 2 pages; 97 KB
AGT SS24.pdf Jonas Karge
10:57, 10 April 2024
1,239 × 1,752, 2 pages; 92 KB
Chase Termination Beyond Polynomial Time.pdf Philipp Hanisch
17:56, 8 April 2024
1,012 × 1,500, 29 pages; 492 KB
Arxiv-combined.pdf Philipp Hanisch
17:54, 8 April 2024
1,012 × 1,500, 29 pages; 761 KB
TheoLog2024-Vorlesung-01-print.pdf Markus Krötzsch
16:53, 8 April 2024
943 × 589, 28 pages; 457 KB
TheoLog2024-Vorlesung-01-overlay.pdf Markus Krötzsch
16:49, 8 April 2024
943 × 589, 56 pages; 495 KB
ER-Rudolph-Lecture01.pdf Sebastian Rudolph
12:36, 7 April 2024
1,500 × 1,125, 39 pages; 564 KB
2023BGR.pdf Elisa Böhl
13:17, 2 April 2024
1,239 × 1,752, 8 pages; 341 KB
LBKR-2024-intro.pdf Sebastian Rudolph
14:31, 24 March 2024
943 × 589, 16 pages; 88 KB
Msobapa final.pdf Luisa Herrmann
11:56, 29 February 2024
2,000 × 1,125, 78 pages; 2.33 MB
Iascar-incremental-answer-set-counting-by-anytime-refinement-tplp.pdf Sarah Gaggl
10:41, 29 February 2024
1,027 × 1,458, 28 pages; 307 KB
FoSys23-Probeklausur-Slides.pdf Stephan Mennicke
11:37, 1 February 2024
943 × 589, 34 pages; 185 KB
CT2023-Lecture-25-print.pdf Stephan Mennicke
11:04, 31 January 2024
943 × 589, 20 pages; 157 KB
CT2023-Lecture-25-overlay.pdf Stephan Mennicke
11:04, 31 January 2024
943 × 589, 44 pages; 198 KB
BGR 2023.pdf Elisa Böhl
16:16, 30 January 2024
1,239 × 1,752, 8 pages; 341 KB
CT2023-Lecture-27-print.pdf Lukas Gerlach
09:29, 30 January 2024
943 × 589, 26 pages; 138 KB
CT2023-Lecture-27-overlay.pdf Lukas Gerlach
09:29, 30 January 2024
943 × 589, 34 pages; 154 KB
Sw uebung 11 2024.pdf Dörthe Arndt
17:20, 26 January 2024
1,275 × 1,650, 2 pages; 65 KB
FS2023-Vorlesung-26-print.pdf Markus Krötzsch
12:47, 25 January 2024
943 × 589, 22 pages; 221 KB
FS2023-Vorlesung-26-overlay.pdf Markus Krötzsch
12:47, 25 January 2024
943 × 589, 22 pages; 221 KB
FoSys23-Probeklausur.pdf Stephan Mennicke
09:19, 25 January 2024
1,239 × 1,752, 3 pages; 213 KB
AAMAS24 OL1.pdf Jonas Karge
12:50, 24 January 2024
1,275 × 1,650, 9 pages; 904 KB
CT2023-Sheet-11.pdf Stephan Mennicke
09:19, 24 January 2024
1,239 × 1,752; 247 KB
FLP2023-12.pdf Hannes Straß
11:03, 23 January 2024
943 × 589, 30 pages; 212 KB
FS2023-Vorlesung-25-print.pdf Markus Krötzsch
10:44, 22 January 2024
943 × 589, 31 pages; 2.41 MB
FS2023-Vorlesung-25-overlay.pdf Markus Krötzsch
10:44, 22 January 2024
943 × 589, 72 pages; 2.47 MB
CT2023-Lecture-26-print.pdf Lukas Gerlach
09:32, 22 January 2024
943 × 589, 31 pages; 186 KB
CT2023-Lecture-26-overlay.pdf Lukas Gerlach
09:32, 22 January 2024
943 × 589, 59 pages; 243 KB
SW-uebung10 2024.pdf Dörthe Arndt
19:34, 19 January 2024
1,275 × 1,650, 4 pages; 44 KB
AAMAS24 OL.pdf Jonas Karge
16:14, 19 January 2024
1,275 × 1,650, 9 pages; 904 KB
FS2023-Vorlesung-24-print.pdf Markus Krötzsch
12:15, 18 January 2024
943 × 589, 30 pages; 127 KB
FS2023-Vorlesung-24-overlay.pdf Markus Krötzsch
12:15, 18 January 2024
943 × 589, 63 pages; 182 KB
Csl24 short.pdf Luisa Herrmann
17:30, 16 January 2024
1,239 × 1,752, 19 pages; 822 KB
Kg2023-exercise-12.pdf Maximilian Marx
17:26, 16 January 2024
1,239 × 1,752, 2 pages; 262 KB
Main.pdf Luisa Herrmann
17:23, 16 January 2024
1,239 × 1,752, 46 pages; 1.04 MB
Giuseppina-monterosso.jpeg Larry Gonzalez
15:36, 15 January 2024
499 × 684; 86 KB
FS2023-Vorlesung-22-print.pdf Markus Krötzsch
09:24, 15 January 2024
943 × 589, 29 pages; 151 KB
FS2023-Vorlesung-22-overlay.pdf Markus Krötzsch
09:24, 15 January 2024
943 × 589, 71 pages; 222 KB
FS2023-Vorlesung-23-print.pdf Markus Krötzsch
09:24, 15 January 2024
943 × 589, 26 pages; 110 KB
FS2023-Vorlesung-23-overlay.pdf Markus Krötzsch
09:23, 15 January 2024
943 × 589, 51 pages; 151 KB
SWuebung9 2024.pdf Dörthe Arndt
14:02, 14 January 2024
1,275 × 1,650, 2 pages; 65 KB
Fkr-11-2024.pdf Sebastian Rudolph
19:25, 12 January 2024
943 × 589, 50 pages; 197 KB
Davide-di-pierro.jpeg Larry Gonzalez
18:54, 12 January 2024
382 × 386; 37 KB
2023-IJCAI-Standpoint-EL-slides.pdf Sebastian Rudolph
17:57, 12 January 2024
4,000 × 2,250, 140 pages; 3.92 MB
2023-KR-Standpoint-EL-slides.pdf Sebastian Rudolph
17:56, 12 January 2024
4,000 × 2,250, 128 pages; 3.59 MB
CT23-sheet10.pdf Lukas Gerlach
09:09, 12 January 2024
1,239 × 1,752; 302 KB
CT2023-Lecture-24-print.pdf Lukas Gerlach
09:09, 12 January 2024
943 × 589, 20 pages; 205 KB
CT2023-Lecture-24-overlay.pdf Lukas Gerlach
09:08, 12 January 2024
943 × 589, 50 pages; 267 KB
CT2023-Lecture-23-More-Probabilistic-Classes-print.pdf Stephan Mennicke
09:08, 10 January 2024
943 × 589, 23 pages; 171 KB
CT2023-Lecture-23-More-Probabilistic-Classes-overlay.pdf Stephan Mennicke
09:08, 10 January 2024
943 × 589, 63 pages; 257 KB
CT2023-Lecture-22-Probabilistic-Classes-print.pdf Stephan Mennicke
09:07, 10 January 2024
943 × 589, 22 pages; 417 KB
CT2023-Lecture-22-Probabilistic-Classes-overlay.pdf Stephan Mennicke
09:07, 10 January 2024
943 × 589, 44 pages; 462 KB
CT2023-Lecture-21-Probabilistic-TMs-print.pdf Stephan Mennicke
09:06, 10 January 2024
943 × 589, 25 pages; 178 KB
CT2023-Lecture-21-Probabilistic-TMs-overlay.pdf Stephan Mennicke
09:06, 10 January 2024
943 × 589, 60 pages; 244 KB
Kg2023-exercise-11.pdf Maximilian Marx
18:26, 9 January 2024
1,239 × 1,752, 2 pages; 260 KB
FLP2023-11.pdf Hannes Straß
14:59, 9 January 2024
943 × 589, 38 pages; 2.02 MB
SW-uebung 8 2024b.pdf Dörthe Arndt
12:38, 8 January 2024
1,275 × 1,650, 4 pages; 77 KB
SW-uebung 8 2024.pdf Dörthe Arndt
12:01, 8 January 2024
1,275 × 1,650, 3 pages; 75 KB
FS2023-Vorlesung-03-print.pdf Markus Krötzsch
09:08, 8 January 2024
943 × 589, 27 pages; 220 KB
FS2023-Vorlesung-03-overlay.pdf Markus Krötzsch
09:07, 8 January 2024
943 × 589, 67 pages; 299 KB
FS2023-Vorlesung-21-print.pdf Markus Krötzsch
09:06, 8 January 2024
943 × 589, 27 pages; 98 KB
FS2023-Vorlesung-21-overlay.pdf Markus Krötzsch
09:06, 8 January 2024
943 × 589, 43 pages; 120 KB
SW-uebung8 2024.pdf Dörthe Arndt
01:02, 8 January 2024
1,275 × 1,650, 3 pages; 75 KB
Fkr-10-2024.pdf Sebastian Rudolph
14:37, 5 January 2024
943 × 589, 61 pages; 214 KB
CT23-sheet09.pdf Lukas Gerlach
18:12, 4 January 2024
1,239 × 1,752; 265 KB
FS2023-Vorlesung-20-print.pdf Markus Krötzsch
14:00, 4 January 2024
943 × 589, 31 pages; 123 KB
FS2023-Vorlesung-20-overlay.pdf Markus Krötzsch
14:00, 4 January 2024
943 × 589, 56 pages; 160 KB
FoSys23-Blatt14.pdf Stephan Mennicke
13:13, 3 January 2024
1,239 × 1,752, 2 pages; 197 KB
FoSys23-Blatt13.pdf Stephan Mennicke
13:12, 3 January 2024
1,239 × 1,752; 132 KB
FoSys23-Blatt12.pdf Stephan Mennicke
13:08, 3 January 2024
1,239 × 1,752, 2 pages; 178 KB
FoSys23-Blatt11.pdf Stephan Mennicke
13:07, 3 January 2024
1,239 × 1,752, 3 pages; 207 KB
Kg2023-exercise-10.pdf Maximilian Marx
19:15, 19 December 2023
1,239 × 1,752, 2 pages; 226 KB
FS2023-Vorlesung-19-print.pdf Markus Krötzsch
08:49, 19 December 2023
943 × 589, 30 pages; 160 KB
FS2023-Vorlesung-19-overlay.pdf Markus Krötzsch
08:49, 19 December 2023
943 × 589, 57 pages; 206 KB