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...
12 KB (1,290 words) - 14:11, 8 July 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,739 words) - 14:23, 3 June 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
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
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) - 03:41, 29 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
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
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,552 words) - 12:44, 14 August 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
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
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) - 03:10, 29 July 2024
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) - 06:38, 22 July 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
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,935 words) - 16:26, 4 August 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
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
July 7, 2012. https://drops.dagstuhl.com/opus/volltexte/2020/12373/pdf/LIPIcs-ECRTS-2020-10.pdf[permanent dead link] Dagstuhl "Winners of the Nvidia Naming...
64 KB (6,351 words) - 22:49, 23 August 2024
Engineering. Dagstuhl Seminar Proceedings. 6461. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 1–9...
111 KB (13,531 words) - 01:20, 24 August 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,358 words) - 19:23, 29 July 2024
Leibniz International Proceedings in Informatics (LIPIcs), vol. 129, Schloss Dagstuhl, pp. 33:1–33:17, arXiv:1903.04737, doi:10.4230/LIPIcs.SoCG.2019.33, ISBN 9783959771047...
13 KB (1,386 words) - 13:45, 29 July 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
International Proceedings in Informatics (LIPIcs). Vol. 32. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 63–78. doi:10.4230/LIPIcs...
58 KB (4,866 words) - 21:18, 18 August 2024
Leibniz International Proceedings in Informatics (LIPIcs), vol. 198, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp. 113:1–113:20, doi:10.4230/LIPIcs...
67 KB (7,996 words) - 03:26, 15 August 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,573 words) - 21:33, 28 July 2024
Kraft Anton of Oettingen-Baldern 29. Baroness Maria Sidonia of Soetern-Dagstuhl 7. Countess Charlotte Juliana of Oettingen-Baldern 30. Count Melchior Friedrich...
41 KB (3,734 words) - 07:55, 11 August 2024
International Proceedings in Informatics (LIPIcs). Vol. 190. Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 0:i–0:xii. doi:10.4230/LIPIcs...
9 KB (731 words) - 18:39, 29 July 2024
E. (1999). "Dagstuhl Seminar 99341 on Linear Logic and Applications" (PDF). Drops-Idn/V2/Document/10.4230/Dagsemrep.248. Schloss Dagstuhl – Leibniz-Zentrum...
33 KB (2,919 words) - 20:37, 9 August 2024