Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Following...
13 KB (1,369 words) - 12:50, 30 August 2024
Dagstuhl Castle (in German: Burgruine Dagstuhl or Burg Dagstuhl) is a ruined castle on the top of a hill near the town of Wadern, kreis Merzig-Wadern...
2 KB (186 words) - 15:07, 24 May 2024
programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million...
9 KB (881 words) - 16:46, 3 January 2024
Wadern (section Burgruine Dagstuhl)
Dukedom Lothringen or to the governance of Dagstuhl with its 13th century castle. Especially the governance of Dagstuhl took the main role in the development...
19 KB (2,749 words) - 08:15, 2 October 2024
Ethan Katz-Bassett and Roland Dobbins convened for six days at Schloss Dagstuhl to refine the academic and policy understanding of critical Internet infrastructure...
5 KB (488 words) - 15:55, 26 August 2024
Georg II of Fleckenstein Dagstuhl (2 February 1588 – 31 January 1644) was the last baron of the house of Fleckenstein. He was the eldest son of Philipp...
11 KB (1,313 words) - 02:22, 3 July 2024
software development, it can also be applied to other professions. In a Dagstuhl seminar held in 2016, technical debt was defined by academic and industrial...
18 KB (2,151 words) - 19:01, 1 August 2024
fortified building. Burg Bucherbach, Püttlingen Schloss Dagstuhl, Dagstuhl Dagstuhl Castle, Dagstuhl Burg Esch, Oberesch Festung Hohenburg, Homburg Gustavsburg...
2 KB (155 words) - 13:07, 25 March 2024
Model-based engineering of embedded real-time systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers...
5 KB (356 words) - 10:19, 23 July 2024
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl 2015 (Edited with Mark Finlayson, Ben Miller, Rémi Ronfard). https://drops.dagstuhl...
13 KB (1,261 words) - 04:19, 19 May 2024
International Conference on Interactive Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022...
86 KB (11,551 words) - 14:58, 12 September 2024
5115 Rigorous Methods for Software Construction and Analysis, ASM and B Dagstuhl Seminar 2005: Fundamenta Informatica Special Issue with Selected Papers...
12 KB (1,163 words) - 10:02, 9 January 2024
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8–10, 2002. Proceedings. International Conference...
18 KB (1,923 words) - 20:00, 20 June 2024
Leibniz International Proceedings in Informatics (LIPIcs). Vol. 165. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 10:1–10:23. doi:10.4230/LIPIcs.ECRTS...
65 KB (6,373 words) - 03:40, 23 September 2024
Leibniz International Proceedings in Informatics. Vol. 32. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 274–293. doi:10.4230/lipics...
10 KB (1,108 words) - 01:54, 29 July 2024
agricultural research. DBLP, which is owned by a non-profit organization Dagstuhl, offers its database of scientific publications from computer science as...
51 KB (5,933 words) - 17:54, 16 September 2024
Leibniz International Proceedings in Informatics (LIPIcs). 55. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik: 24:1–24:14. doi:10.4230/LIPIcs...
27 KB (3,279 words) - 04:03, 29 July 2024
optimization: Papers from the Spring School held in Schloß Dagstuhl. Spring School held in Schloß Dagstuhl, May 15–19, 2000. Lecture Notes in Computer Science...
50 KB (7,780 words) - 05:43, 11 September 2024
Mathematical Foundations of Computer Science (MFCS 2018). 117 (81). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik: 1–13. doi:10.4230/LIPIcs.MFCS.2018.81...
5 KB (639 words) - 09:35, 29 July 2024
Chairs". Wadern, Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 66687. "Schloss Dagstuhl : Seminar Homepage". www.dagstuhl.de.{{cite web}}: CS1 maint:...
14 KB (1,635 words) - 06:13, 14 October 2023
Tennenholtz, Moshe (2005). Local-Effect Games (PDF). Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. Retrieved 3 February...
140 KB (15,598 words) - 19:48, 25 August 2024
Engineering. Dagstuhl Seminar Proceedings. 6461. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 1–9...
111 KB (13,539 words) - 20:26, 26 September 2024
Leibniz International Proceedings in Informatics (LIPIcs). Vol. 204. Schloss Dagstuhl. doi:10.4230/LIPIcs.ESA.2021.30. Here: Theorem 1, p.30:2. Gusfield, Dan...
8 KB (1,063 words) - 02:46, 14 August 2024
Information Answers". Semantics in Databases. Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001. Revised Papers. Lecture Notes in Computer...
35 KB (3,953 words) - 17:29, 18 September 2024
Dagstuhl Seminar Proceedings. 10201. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany: 1–60. doi:10.4230/DagSemProc.10201.1 – via Dagstuhl...
20 KB (2,576 words) - 20:14, 25 September 2024
Rohrhuber, "Collaboration and learning through live coding (Dagstuhl Seminar 13382)", Dagstuhl Reports 3 (2014), no. 9, 130–168. Magnusson, T. (2013). The...
14 KB (1,514 words) - 06:43, 20 March 2024
combinatorial optimization: Papers from the Spring School held in Schloß Dagstuhl, May 15–19, 2000. Lecture Notes in Computer Science (LNCS). Vol. 2241....
27 KB (3,869 words) - 02:21, 15 April 2024
Practical Sorting Methods That Optimally Adapt to Existing Runs. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. p. 12. arXiv:1805.04154. doi:10.4230/lipics...
19 KB (2,341 words) - 08:00, 4 September 2024
Applications". DROPS-IDN/V2/Document/10.4230/LIPIcs.SAT.2022.9. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.SAT.2022.9. Feldman...
40 KB (3,839 words) - 20:44, 22 September 2024
International Proceedings in Informatics (LIPIcs). Vol. 164. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum für Informatik. pp. 25:1–25:17. doi:10.4230/LIPIcs...
5 KB (524 words) - 04:32, 29 July 2024