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) - 14:56, 7 October 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
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
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) - 03:44, 31 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
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) - 04:51, 26 October 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...
14 KB (1,258 words) - 08:26, 24 October 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
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) - 19:49, 25 October 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. 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
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,282 words) - 02:32, 8 October 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) - 15:58, 26 October 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) - 06:42, 24 October 2024
Tennenholtz, Moshe (2005). Local-Effect Games (PDF). Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. Retrieved 3 February...
140 KB (15,578 words) - 22:17, 3 November 2024
agricultural research. DBLP, which is owned by a non-profit organization Dagstuhl, offers its database of scientific publications from computer science as...
50 KB (5,919 words) - 09:04, 31 October 2024
Drops-Idn/V2/Document/10.4230/Dagsemproc.07171.2. Dagstuhl Seminar Proceedings (DagSemProc). 7171. Schloss Dagstuhl: 1–4. doi:10.4230/DagSemProc.07171.2. Retrieved...
11 KB (905 words) - 07:24, 13 September 2024
International Proceedings in Informatics (LIPIcs). 237. Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 3:1–3:17. doi:10.4230/LIPIcs...
7 KB (725 words) - 02:22, 29 July 2024
Dagstuhl Seminar Proceedings. 10201. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany: 1–60. doi:10.4230/DagSemProc.10201.1 – via Dagstuhl...
19 KB (2,576 words) - 06:53, 9 October 2024
Engineering. Dagstuhl Seminar Proceedings. 6461. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 1–9...
111 KB (13,539 words) - 12:46, 16 October 2024
Leibniz International Proceedings in Informatics (LIPIcs). Vol. 223. Schloss Dagstuhl. doi:10.4230/LIPIcs.CPM.2022.20. Here: Theorem 1, p.20:2. Crochemore &...
18 KB (2,189 words) - 09:15, 29 July 2024
Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR'97. Dagstuhl Castle, Germany: Springer Berlin Heidelberg. pp. 430–440. doi:10.1007/3-540-63255-7_33...
84 KB (10,738 words) - 10:35, 2 November 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. pp. 63:1–63:16. arXiv:1805.04154. doi:10...
19 KB (2,350 words) - 09:58, 24 October 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
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...
41 KB (3,859 words) - 11:54, 27 October 2024