Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
117
datasets available to search
ShareScore release 0.9.0
Dataset results
117 results for “Witness”
PhenoCam Images and Canopy Phenology at the Harvard Forest Witness Tree since 2014
The PhenoCam Network uses imagery from digital cameras to track vegetation phenology and seasonal changes in vegetation activity in diverse ecosystems across North America and around the world. Imagery is uploaded to the PhenoCam server at the University of New Hampshire, where it is made publicly available in near-real time, every 30 minutes from sunrise to sunset, 365 days a year. The data are processed using simple image analysis tools to yield a measure of canopy greenness, from which phenological metrics are extracted, characterizing the start and end of the growing season. These transition dates have been shown to align well with on-the-ground observations of tree phenology at Harvard Forest (HF003). Long-term PhenoCam data can be used to track the impact of climate variability and change on the rhythm of the seasons. This dataset contains one mid-day image for each camera. Please see the PhenoCam Network website (https://phenocam.nau.edu/webcam/) for more information and additional images.
Witness Tree Data in Southern New England and Long Island 1640-1999
Early surveyors' witness-tree records from initial land divisions are often used to reconstruct the vegetation at the time of European settlement and before extensive Euro-American land use. The following description of methods comes from the published paper (Hall, B., G .Motzkin, D. R. Foster, M. Syfert and J. Burk. 2002. Three hundred years of forest and land-use change in Massachusetts, USA. Journal of Biogeography 29, 1319-1335): "Following methods described more fully in Cogbill et al. (2002), we used early surveyors' tree records from initial land divisions in each town to reconstruct the vegetation at the time of European settlement and before extensive Euro-American land use. All available original 17th - early 19th century survey records located at the state archives and individual town halls were examined and colloquial or common names of marker trees were noted... With few exceptions, only surveys that occurred within 80 years of town settlement were gathered in order to limit the potential influence of European land use on species composition."
All centralising monoids on the set {0, 1, 2}, including their witnesses
<p>This dataset contains code and data to produce a list of all 192 centralising monoids on the set <span>\(\{0,1,2\}\)</span>, including a witness for each of them. This gives a computational verification of the classification of centralising monoids published by Machida and Rosenberg in <a href="https://doi.org/10.1109/ISMVL.2012.50">2012</a> and <a href="https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1846-07.pdf">2013</a>. Furthermore, some of the cpp-files and the context files form supplements to the <a href="https://doi.org/10.5281/zenodo.7653085">bachelor dissertation</a> of the second-named author. The code and the computed data contained in this upload also supplement the <a href="https://dx.doi.org/10.1007/978-3-031-35949-1_8">conference article</a> that appeared in <a href="http://www.kde.cs.uni-kassel.de/icfca2023">ICFCA 2023</a>.</p> <p>A detailed description of the files in the dataset can be obtained from the file cent_mons3_witn.pdf (the code source for this file is given in cent_mons3_witn.tex).</p>
Verification Witnesses from Verification Tools (SV-COMP 2020)
<p>This data set contains verification witnesses produced by tools for software verification that participated in the 9th International Competition on Software Verification (SV-COMP 2020).</p>
Joseph Witting (w3082)
<b>-- <a href="https://doi.org/10.5281/zenodo.11582199">Documentation</a> --</b><br><br><u>Name</u>: Joseph Witting<br><u>musiXplora-ID</u>: w3082<br><u>musiXplora-URI</u>: <a href="https://musixplora.de/mxp/w3082">https://musixplora.de/mxp/w3082</a><br><u>Gender</u>: m<br><u>Confessions</u>: römisch-katholisch<br><u>Date of Birth</u>: 20 November 1750<br><u>Place of Birth</u>: Mittenwald<br><u>Date of Death</u>: 06 March 1824<br><u>Place of Death</u>: Mittenwald<br><u>First Mentioned</u>: 1775<br><u>Sectors</u>: Instrumentenbau<br><u>Professions (Musical)</u>: Geigenbauer<br><u>Main Place of Activity</u>: Mittenwald<br><br><br><u>Portfolio:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>Sortimente</td><td>Sortiment</td><td>Geige</td><td><a href="https://musixplora.de/mxp/2001463">2001463</a></td></tr></tbody></table><br><u>Titel/Medien:</u><br><table><tbody><tr><th>Role</th><th>Sigel</th><th>Title</th><th>mXp-ID</th></tr><tr><td>Related</td><td>Lütgendorff 1922</td><td>Die Geigen- und Lautenmacher vom Mittelalter bis zur Gegenwart. 2 Bände. Lüt2</td><td><a href="https://musixplora.de/mxp/5002059">5002059</a></td></tr></tbody></table><br><br><u>Changelog</u>:<br> - v0.0.1: Initial Upload.<br>
Johann Georg Witting (w3081)
<b>-- <a href="https://doi.org/10.5281/zenodo.11582199">Documentation</a> --</b><br><br><u>Name</u>: Johann Georg Witting<br><u>musiXplora-ID</u>: w3081<br><u>musiXplora-URI</u>: <a href="https://musixplora.de/mxp/w3081">https://musixplora.de/mxp/w3081</a><br><u>Gender</u>: m<br><u>Confessions</u>: römisch-katholisch<br><u>Date of Birth</u>: 1726<br><u>Place of Birth</u>: Mittenwald<br><u>Date of Death</u>: 20 May 1814<br><u>Place of Death</u>: Mittenwald<br><u>First Mentioned</u>: 1751<br><u>Last Mentioned</u>: 1800<br><u>Sectors</u>: Instrumentenbau<br><u>Professions (Musical)</u>: Geigenbauer<br><u>Main Place of Activity</u>: Mittenwald<br><u>Other Places of Activity</u>: Garmisch-Partenkirchen<br><br><br><u>Portfolio:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>Sortimente</td><td>Sortiment</td><td>Geige</td><td><a href="https://musixplora.de/mxp/2001463">2001463</a></td></tr><tr><td>Sortimente</td><td>Sortiment</td><td>Violoncello</td><td><a href="https://musixplora.de/mxp/2001634">2001634</a></td></tr></tbody></table><br><u>Titel/Medien:</u><br><table><tbody><tr><th>Role</th><th>Sigel</th><th>Title</th><th>mXp-ID</th></tr><tr><td>Related</td><td>Lütgendorff 1922</td><td>Die Geigen- und Lautenmacher vom Mittelalter bis zur Gegenwart. 2 Bände. Lüt2</td><td><a href="https://musixplora.de/mxp/5002059">5002059</a></td></tr></tbody></table><br><u>Ereignisse:</u><br><table><tbody><tr><th>Role</th><th>Sigel</th><th>Title</th><th>mXp-ID</th></tr><tr><td>Hersteller</td><td></td><td>Herstellung</td><td><a href="https://musixplora.de/mxp/6026681">6026681</a></td></tr></tbody></table><br><br><u>Changelog</u>:<br> - v0.0.1: Initial Upload.<br>
Henk de Wit (w2858)
<b>-- <a href="https://doi.org/10.5281/zenodo.11582199">Documentation</a> --</b><br><br><u>Name</u>: Henk de Wit<br><u>musiXplora-ID</u>: w2858<br><u>musiXplora-URI</u>: <a href="https://musixplora.de/mxp/w2858">https://musixplora.de/mxp/w2858</a><br><u>Gender</u>: m<br><u>Date of Birth</u>: 1943<br><u>Place of Birth</u>: Undefined<br><u>Date of Death</u>: 28 April 2014<br><u>Place of Death</u>: Undefined<br><u>First Mentioned</u>: 1968<br><u>Sectors</u>: Bildung, Bühnen, Sammlung<br><u>Professions (Historical)</u>: Gutachter für Holzblasinstrumente<br><u>Professions (Musical)</u>: Fagottist, Instrumentallehrer, Instrumentensammler, Reparateur<br><u>Main Place of Activity</u>: Amsterdam<br><br><br><u>Portfolio:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>Sortimente</td><td>Sortiment</td><td>Fagott</td><td><a href="https://musixplora.de/mxp/2001465">2001465</a></td></tr></tbody></table><br><br><u>Changelog</u>:<br> - v0.0.1: Initial Upload.<br>
Paul de Wit (w1901)
<b>-- <a href="https://doi.org/10.5281/zenodo.11582199">Documentation</a> --</b><br><br><u>Name</u>: Paul de Wit<br><u>musiXplora-ID</u>: w1901<br><u>musiXplora-URI</u>: <a href="https://musixplora.de/mxp/w1901">https://musixplora.de/mxp/w1901</a><br><u>Gender</u>: m<br><u>Nationalities</u>: nl<br><u>Confessions</u>: römisch-katholisch<br><u>Date of Birth</u>: 04 January 1852<br><u>Place of Birth</u>: Maastricht<br><u>Date of Death</u>: 10 December 1925<br><u>Place of Death</u>: Leipzig<br><u>First Mentioned</u>: 1879<br><u>Sectors</u>: Alte Musik, Handel, Konzert, Museum, Verband, Verlag<br><u>Professions (Historical)</u>: Besitzer des Musikalischen Museums, Glasharmonika-Spieler, Weinhändler<br><u>Professions (Musical)</u>: Cembalist, Gambist, Geiger, Herausgeber, Instrumentensammler, Musikredakteur, Musikschriftsteller, Musikverleger, Organist, Pianist, Violoncellist<br><u>Professions (Non-Musical)</u>: Händler, Ritter<br><u>Main Place of Activity</u>: Leipzig<br><u>Other Places of Activity</u>: Aachen, Köln, Maastricht, Sittard-Geleen, Wien<br><br><br><u>Ausbildung:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>KommilitonInnen</td><td>Kommilitone</td><td>Joseph Hollman</td><td><a href="https://musixplora.de/mxp/h3079">h3079</a></td></tr><tr><td>LehrerInnen und AusbilderInnen</td><td>Schüler</td><td>Christian Friedrich Kahnt</td><td><a href="https://musixplora.de/mxp/k2520">k2520</a></td></tr><tr><td>LehrerInnen und AusbilderInnen</td><td>Schüler</td><td>Adrien-François Servais</td><td><a href="https://musixplora.de/mxp/s1353">s1353</a></td></tr></tbody></table><br><u>Arbeitsumfeld:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>ArbeitgeberInnen</td><td>Arbeitnehmer</td><td>Christian Friedrich Kahnt</td><td><a href="https://musixplora.de/mxp/k2520">k2520</a></td></tr><tr><td>ArbeitgeberInnen</td><td>Arbeitgeber</td><td>Emil Eckert</td><td><a href="https://musixplora.de/mxp/e1107">e1107</a></td></tr><tr><td>ArbeitgeberInnen</td><td>Arbeitgeber</td><td>Paul Eckert</td><td><a href="https://musixplora.de/mxp/e1135">e1135</a></td></tr><tr><td>ArbeitgeberInnen</td><td>Arbeitgeber</td><td>Johannes Milz</td><td><a href="https://musixplora.de/mxp/m2469">m2469</a></td></tr><tr><td>ArbeitgeberInnen</td><td>Arbeitgeber</td><td>Arno Richter</td><td><a href="https://musixplora.de/mxp/r1871">r1871</a></td></tr><tr><td>ArbeitgeberInnen</td><td>Arbeitgeber</td><td>Hermann Seyffarth</td><td><a href="https://musixplora.de/mxp/s4172">s4172</a></td></tr><tr><td>KollegInnen</td><td>Kollege</td><td>Oscar Laffert</td><td><a href="https://musixplora.de/mxp/l1545">l1545</a></td></tr><tr><td>VorgängerInnen</td><td>Vorgänger</td><td>Arno Richter</td><td><a href="https://musixplora.de/mxp/r1871">r1871</a></td></tr></tbody></table><br><u>Persönlicher Umkreis:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Wilhelm Altenburg</td><td><a href="https://musixplora.de/mxp/a1054">a1054</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Paul Otto Apian-Bennewitz</td><td><a href="https://musixplora.de/mxp/a1101">a1101</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Anton Brand</td><td><a href="https://musixplora.de/mxp/b3295">b3295</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Nikolaus Caspary</td><td><a href="https://musixplora.de/mxp/c1060">c1060</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Carl Delius</td><td><a href="https://musixplora.de/mxp/d1532">d1532</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Hermann Eichborn</td><td><a href="https://musixplora.de/mxp/e0393">e0393</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Friedrich Richard Faltin</td><td><a href="https://musixplora.de/mxp/f1511">f1511</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Giovanni Ghisleri</td><td><a href="https://musixplora.de/mxp/g2193">g2193</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Wilhelm Ferdinand Heyer</td><td><a href="https://musixplora.de/mxp/h2917">h2917</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Louis Leberecht Jacobi</td><td><a href="https://musixplora.de/mxp/j0507">j0507</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Friedrich Wilhelm Kruspe</td><td><a href="https://musixplora.de/mxp/k2407">k2407</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Paul Bernhard Limburger</td><td><a href="https://musixplora.de/mxp/l1710">l1710</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Victor-Charles Mahillon</td><td><a href="https://musixplora.de/mxp/m2098">m2098</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>G. Mayer</td><td><a href="https://musixplora.de/mxp/m2811">m2811</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Johann Christoph Neupert</td><td><a href="https://musixplora.de/mxp/n0123">n0123</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Georg Piegendorfer</td><td><a href="https://musixplora.de/mxp/p1424">p1424</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Oskar Paul</td><td><a href="https://musixplora.de/mxp/p1517">p1517</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Emil Pinkau</td><td><a href="https://musixplora.de/mxp/p2095">p2095</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Wilhelm Rust</td><td><a href="https://musixplora.de/mxp/r1774">r1774</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Carl Riedel</td><td><a href="https://musixplora.de/mxp/r2152">r2152</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Karl Emil von Schafhäutl</td><td><a href="https://musixplora.de/mxp/s0176">s0176</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Bartholf Senff</td><td><a href="https://musixplora.de/mxp/s1335">s1335</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Anton Rudolf Stowasser</td><td><a href="https://musixplora.de/mxp/s5211">s5211</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>August Wilhelmj</td><td><a href="https://musixplora.de/mxp/w0685">w0685</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Guido Adler</td><td><a href="https://musixplora.de/mxp/a0975">a0975</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Edwin Bormann</td><td><a href="https://musixplora.de/mxp/b2785">b2785</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Jan Branberger</td><td><a href="https://musixplora.de/mxp/b3091">b3091</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Friedrich Kurt Benndorf</td><td><a href="https://musixplora.de/mxp/b3092">b3092</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Oscar Bie</td><td><a href="https://musixplora.de/mxp/b3527">b3527</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Alfred Dörffel</td><td><a href="https://musixplora.de/mxp/d1110">d1110</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Paul Dehne</td><td><a href="https://musixplora.de/mxp/d1200">d1200</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Karl Dörr</td><td><a href="https://musixplora.de/mxp/d1367">d1367</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Carl Dreier</td><td><a href="https://musixplora.de/mxp/d1424">d1424</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Moritz Fürstenau</td><td><a href="https://musixplora.de/mxp/f0701">f0701</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Oskar Fleischer</td><td><a href="https://musixplora.de/mxp/f1506">f1506</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Heinrich Gunzelmann</td><td><a href="https://musixplora.de/mxp/g0898">g0898</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Wilhelm Gunzelmann</td><td><a href="https://musixplora.de/mxp/g1253">g1253</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Fritz Jahn</td><td><a href="https://musixplora.de/mxp/j0038">j0038</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Paul von Jankó</td><td><a href="https://musixplora.de/mxp/j0455">j0455</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Alfred de la Jonquière</td><td><a href="https://musixplora.de/mxp/j0498">j0498</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Max Klinger</td><td><a href="https://musixplora.de/mxp/k2519">k2519</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Albert Kopfermann</td><td><a href="https://musixplora.de/mxp/k2522">k2522</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Rudolph Knauss</td><td><a href="https://musixplora.de/mxp/k2651">k2651</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Rudolf Wilhelm Kurka</td><td><a href="https://musixplora.de/mxp/k2904">k2904</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Willibald Leo von Lütgendorff</td><td><a href="https://musixplora.de/mxp/l0811">l0811</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Joseph von Lülsdorff</td><td><a href="https://musixplora.de/mxp/l1567">l1567</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Ernst Liebich</td><td><a href="https://musixplora.de/mxp/l1692">l1692</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Victor Lederer</td><td><a href="https://musixplora.de/mxp/l1743">l1743</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Walter Lückhoff</td><td><a href="https://musixplora.de/mxp/l1744">l1744</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Karl Nef</td><td><a href="https://musixplora.de/mxp/n0673">n0673</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Franz Niederheitmann</td><td><a href="https://musixplora.de/mxp/n0748">n0748</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Bruno Röthig</td><td><a href="https://musixplora.de/mxp/r1828">r1828</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Arno Richter</td><td><a href="https://musixplora.de/mxp/r1871">r1871</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Herman Rutters</td><td><a href="https://musixplora.de/mxp/r1969">r1969</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Wilhelm Rühlmann</td><td><a href="https://musixplora.de/mxp/r1970">r1970</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Erich Paul Riesenfeld</td><td><a href="https://musixplora.de/mxp/r1971">r1971</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Paul Simon</td><td><a href="https://musixplora.de/mxp/s4167">s4167</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Maximilian Schwedler</td><td><a href="https://musixplora.de/mxp/s4274">s4274</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Max Seiffert</td><td><a href="https://musixplora.de/mxp/s4343">s4343</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Gustav Siefert</td><td><a href="https://musixplora.de/mxp/s4351">s4351</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Christian Heinrich Siefert</td><td><a href="https://musixplora.de/mxp/s4441">s4441</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Daniël François Scheurleer</td><td><a href="https://musixplora.de/mxp/s4508">s4508</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Max Schneider</td><td><a href="https://musixplora.de/mxp/s4586">s4586</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Kathleen Schlesinger</td><td><a href="https://musixplora.de/mxp/s4587">s4587</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Jean Schucht</td><td><a href="https://musixplora.de/mxp/s4588">s4588</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Wilhelm Tappert</td><td><a href="https://musixplora.de/mxp/t0770">t0770</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Hermann Weller</td><td><a href="https://musixplora.de/mxp/w2865">w2865</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Paul Windisch</td><td><a href="https://musixplora.de/mxp/w2867">w2867</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Richard Wallaschek</td><td><a href="https://musixplora.de/mxp/w2869">w2869</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Albertine Zehme</td><td><a href="https://musixplora.de/mxp/z0356">z0356</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Ernesto Vítor Wagner</td><td><a href="https://musixplora.de/mxp/w1943">w1943</a></td></tr><tr><td>Netzwerk</td><td>Netzwerkpartner</td><td>Leopold Alexander Zellner</td><td><a href="https://musixplora.de/mxp/z0664">z0664</a></td></tr></tbody></table><br><u>Medien:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Zeitschrift für Instrumentenbau . Central-Organ für die Interessen der Fabrikation von Musikinstrumenten und des Handels, für ausübende Künstler und Musikfreunde</td><td><a href="https://musixplora.de/mxp/5001114">5001114</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Die Bach-Orgel der alten Johanniskirche in Leipzig</td><td><a href="https://musixplora.de/mxp/5001186">5001186</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Geigenzettel Alter Meister vom 16. bis zur Mitte des 19. Jahrhunderts</td><td><a href="https://musixplora.de/mxp/5001302">5001302</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>[Polemik von Paul de Wit]</td><td><a href="https://musixplora.de/mxp/5001303">5001303</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Katalog des Musikhistorischen Museums von Paul de Wit, Leipzig</td><td><a href="https://musixplora.de/mxp/5001307">5001307</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Wörterbuch der in der Musikinstrumenten-Industrie vorkommenden technischen Ausdrücke in deutsch-französisch-englischer Sprache. Dictionnaire des termes techniques usités dans la facture instrumentale en allemand, français et anglais. Dictionary of the technical expressions used in the music trade in German, French and English. Verfasst und herausgegeben von Paul de Wit</td><td><a href="https://musixplora.de/mxp/5001312">5001312</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Kurzgefaßter Katalog aller im Musikhistorischen Museum von Paul de Wit vorhandenen Musikinstrumente. In mehreren Auflagen erschienen:. Mit [erstem] Nachtrag 1893/1894. Mit [zweitem] Nachtrag 1895/1896</td><td><a href="https://musixplora.de/mxp/5002030">5002030</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Katalog des Musikhistorischen Museums von Paul de Wit, Leipzig</td><td><a href="https://musixplora.de/mxp/5002049">5002049</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Die Pochetten oder Taschengeigen</td><td><a href="https://musixplora.de/mxp/5020794">5020794</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Der Flügel Joh. Seb. Bach's</td><td><a href="https://musixplora.de/mxp/5033951">5033951</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Das fragwürdige Todtenbein von Leipzig. Herzerfrischender Bilderbogen als ein Denkmal für einen in Leipzig vergessen-verfaulten, großen Künstler deutschen Geistes. Satire auf die tieftraurige Historie vom Leben, Sterben u. d. Ausgrabung der Gebeine J. S. Bachs. von Ernst Klotz. Gedruckt für 500 Erlauchte u. verlegt bei Paul de Wit i. Leipzig</td><td><a href="https://musixplora.de/mxp/5034200">5034200</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Kommerzienrat Wilhelm Heyer +</td><td><a href="https://musixplora.de/mxp/5034237">5034237</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Perlen aus der Instrumenten-Sammlung von Paul de Wit in Leipzig</td><td><a href="https://musixplora.de/mxp/5040002">5040002</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Weltadressbuch der Musikinstrumenten-Industrie. Paul de Wit's Weltadressbuch der Musikinstrumenten-Industrie</td><td><a href="https://musixplora.de/mxp/5040003">5040003</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Welt-Adressbuch der gesammten Musikinstrumenten-Industrie. mit einem Anhange enthaltend die Eingangszölle auf Musikinstrumente in allen Ländern und ein Wörterbuch der in der Musikinstrumenten-Industrie vorkommenden technischen Ausdrücke in deutsch–französisch–englischer Sprache</td><td><a href="https://musixplora.de/mxp/5040278">5040278</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Welt-Adreßbuch der Musikinstrumenten-Industrie. Teil I: Deutschland, Österreich, Tschechoslowakei</td><td><a href="https://musixplora.de/mxp/5040279">5040279</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Welt-Adreßbuch der Musikinstrumenten-Industrie. Teil II: Europa</td><td><a href="https://musixplora.de/mxp/5040280">5040280</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Paul de Wit's Weltadressbuch der Musikinstrumenten-Industrie</td><td><a href="https://musixplora.de/mxp/5040282">5040282</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Welt-Adreßbuch der gesamten Musikinstrumenten-Industrie. mit einem Anhange enthaltend die Eingangszölle auf Musikinstrumente in allen Ländern und ein Wörterbuch der in der Musikinstrumenten-Industrie vorkommenden technischen Ausdrücke in deutsch-französisch-englischer Sprache</td><td><a href="https://musixplora.de/mxp/5040283">5040283</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Nachtrag zum Internationalen Adressbuch der gesammten Musikinstrumentenbranche. enthaltend die seit October 1885 neu hinzugekommenen Firmen, sowie Aenderungen und Löschungen</td><td><a href="https://musixplora.de/mxp/5040405">5040405</a></td></tr><tr><td>VerfasserInnen</td><td>Verfasser</td><td>Weltadressbuch der gesammten Musikinstrumenten-Industrie</td><td><a href="https://musixplora.de/mxp/5040406">5040406</a></td></tr></tbody></table><br><u>Handel:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>AnbieterInnen</td><td>Anbieter</td><td>Guido Adler</td><td><a href="https://musixplora.de/mxp/a0975">a0975</a></td></tr></tbody></table><br><u>Provenienz:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>Aufnehmende Sammlungen</td><td>Vorbesitzer</td><td>Sammlung Wilhelm Heyer</td><td><a href="https://musixplora.de/mxp/3080001">3080001</a></td></tr><tr><td>Aufnehmende Sammlungen</td><td>Vorbesitzer</td><td>Musikinstrumenten-Museum Berlin</td><td><a href="https://musixplora.de/mxp/3080211">3080211</a></td></tr><tr><td>Aufnehmende Sammlungen</td><td>Vorbesitzer</td><td>Bachhaus Eisenach</td><td><a href="https://musixplora.de/mxp/3080240">3080240</a></td></tr><tr><td>Aufnehmende Sammlungen</td><td>Vorbesitzer</td><td>Musikinstrumentensammlung der Universität Göttingen</td><td><a href="https://musixplora.de/mxp/3080363">3080363</a></td></tr></tbody></table><br><u>Tradition:</u><br><table><tbody><tr><th>Group</th><th>Role</th><th>Name</th><th>mXp-ID</th></tr><tr><td>Interessensbereich</td><td>Nachlassempfänger</td><td>Emil Hammer Orgelbau</td><td><a href="https://musixplora.de/mxp/3030080">3030080</a></td></tr><tr><td>Interessensbereich</td><td>Nachlassempfänger</td><td>Johann Sebastian Bach</td><td><a href="https://musixplora.de/mxp/b1316">b1316</a></td></tr><tr><td>Interessensbereich</td><td>Nachlassempfänger</td><td>Franz Liszt</td><td><a href="https://musixplora.de/mxp/l0603">l0603</a></td></tr><tr><td>Interessensbereich</td><td>Nachlassempfänger</td><td>Felix Mendelssohn Bartholdy</td><td><a href="https://musixplora.de/mxp/m0559">m0559</a></td></tr><tr><td>Interessensbereich</td><td>Interessensbereich</td><td>Josef Focht</td><td><a href="https://musixplora.de/mxp/f0394">f0394</a></td></tr><tr><td>Interessensbereich</td><td>Interessensbereich</td><td>Eszter Fontana</td><td><a href="https://musixplora.de/mxp/f1580">f1580</a></td></tr><tr><td>Interessensbereich</td><td>Interessensbereich</td><td>Hubert Henkel</td><td><a href="https://musixplora.de/mxp/h2889">h2889</a></td></tr><tr><td>Interessensbereich</td><td>Interessensbereich</td><td>Willibald Leo von Lütgendorff</td><td><a href="https://musixplora.de/mxp/l0811">l0811</a></td></tr><tr><td>Interessensbereich</td><td>Interessensbereich</td><td>Bruno Röthig</td><td><a href="https://musixplora.de/mxp/r1828">r1828</a></td></tr><tr><td>Interessensbereich</td><td>Interessensbereich</td><td>Helmut Zeraschi</td><td><a href="https://musixplora.de/mxp/z0560">z0560</a></td></tr></tbody></table><br><u>Begriffe:</u><br><table><tbody><tr></tr><tr><td>Related</td><td></td><td>Data Literacy im MIMUL</td><td>2002528</td></tr><tr><td>Related</td><td></td><td>Weltausstellung</td><td>2003515</td></tr><tr><td>Related</td><td></td><td>ZfI-Interessensvertretung</td><td>2003569</td></tr><tr><td>Related</td><td></td><td>Zettelkasten</td><td>2003588</td></tr></tbody></table><br><u>Institutionen:</u><br><table><tbody><tr><th>Role</th><th>Title</th><th>mXp-ID</th></tr><tr><td>Related</td><td>Instrumenten-Museum Paul de Wit</td><td><a href="https://musixplora.de/mxp/3010371">3010371</a></td></tr><tr><td>Related</td><td>Musikhistorisches Museum Paul de Wit in Leipzig</td><td><a href="https://musixplora.de/mxp/3010372">3010372</a></td></tr><tr><td>Related</td><td>Verein Deutscher Pianoforte-Fabrikanten</td><td><a href="https://musixplora.de/mxp/3040062">3040062</a></td></tr><tr><td>Related</td><td>Gesamtverband Deutscher Musikfachgeschäfte</td><td><a href="https://musixplora.de/mxp/3040065">3040065</a></td></tr><tr><td>Related</td><td>Verlag Paul de Wit</td><td><a href="https://musixplora.de/mxp/3060015">3060015</a></td></tr><tr><td>Related</td><td>Sammlung Paul de Wit</td><td><a href="https://musixplora.de/mxp/3080002">3080002</a></td></tr><tr><td>Related</td><td>Musikinstrumenten-Museum Berlin</td><td><a href="https://musixplora.de/mxp/3080211">3080211</a></td></tr><tr><td>Related</td><td>Musikinstrumentenmuseum Markneukirchen</td><td><a href="https://musixplora.de/mxp/3080295">3080295</a></td></tr></tbody></table><br><u>Titel/Medien:</u><br><table><tbody><tr><th>Role</th><th>Sigel</th><th>Title</th><th>mXp-ID</th></tr><tr><td>Related</td><td>Brand 1892</td><td>Paul de Wit's Colossalgruppe. Allegorie der Tonkunst. auf der Internationalen Ausstellung für Musik und Theaterwesen in Wien 1892</td><td><a href="https://musixplora.de/mxp/5001182">5001182</a></td></tr><tr><td>Related</td><td>Foto De Wit um 1893</td><td>Paul de Wit mit seinen Mitarbeitern. Unbezeichnete Fotografie. Leipzig um 1893</td><td><a href="https://musixplora.de/mxp/5001188">5001188</a></td></tr><tr><td>Related</td><td>Henkel 1989</td><td>Das Musikhistorische Museum von Paul de Wit. In: Das Bosehaus am Thomaskirchhof. Eine Leipziger Kulturgeschichte. Hg. von Armin Schneiderheinze. Im Auftrag der Nationalen Forschungs- und Gedenkstätte Johann Sebastian Bach der DDR</td><td><a href="https://musixplora.de/mxp/5001189">5001189</a></td></tr><tr><td>Related</td><td>Kinsky 1940</td><td>Mozart-Instrumente</td><td><a href="https://musixplora.de/mxp/5001295">5001295</a></td></tr><tr><td>Related</td><td>De Wit 1904</td><td>Katalog des Musikhistorischen Museums von Paul de Wit, Leipzig</td><td><a href="https://musixplora.de/mxp/5001307">5001307</a></td></tr><tr><td>Related</td><td>Kolb 2012</td><td>Das Musikhistorische Museum Wilhelm Heyer, Georg Kinsky und das musikkulturelle Netzwerk im Köln der 1920er-Jahre. In: Musikwissenschaft im Rheinland um 1930. Bericht über die Tagung der Arbeitsgemeinschaft für rheinische Musikgeschichte in Köln, September 2007. Beiträge zur rheinischen Musikgeschichte, Band 171</td><td><a href="https://musixplora.de/mxp/5001308">5001308</a></td></tr><tr><td>Related</td><td>Daehne 1926</td><td>Paul de Wit's Leben und Wirken</td><td><a href="https://musixplora.de/mxp/5001334">5001334</a></td></tr><tr><td>Related</td><td>Weller 2005</td><td>Paul de Wit. Gründer der Zeitschrift für Instrumentenbau und seine Verdienst um die Musikinstrumenten-Industrie</td><td><a href="https://musixplora.de/mxp/5001335">5001335</a></td></tr><tr><td>Related</td><td>Focht 2022b</td><td>Der Leipziger Musikinstrumentenbau im langen 19. Jahrhundert. In: Industrialisierungsprozesse und Industriekultur in Leipzig im 19. und 20. Jahrhundert. Hgg. Markus A. Denzel und Susanne Schötz</td><td><a href="https://musixplora.de/mxp/5001807">5001807</a></td></tr><tr><td>Related</td><td>Foto De Wit um 1885</td><td>Johannes Miesler [?], Hermann Seyffarth, Paul de Wit, Emil Pinkau. Unbezeichnete Fotografie. Leipzig um 1885</td><td><a href="https://musixplora.de/mxp/5001814">5001814</a></td></tr><tr><td>Related</td><td>Seyffarth 1925</td><td>Paul de Wit +.</td><td><a href="https://musixplora.de/mxp/5001815">5001815</a></td></tr><tr><td>Related</td><td>Matzke 2016</td><td>Die Anfänge des Musikinstrumentenmuseums in Leipzig. Paul de Wits Gästebuch 1893 bis 1905</td><td><a href="https://musixplora.de/mxp/5002009">5002009</a></td></tr><tr><td>Related</td><td>Focht 2018</td><td>Die erste Sammlergeneration des Leipziger Musikinstrumentenmuseums. Private Passion – Public Challenge. Musikinstrumente Sammeln in Geschichte und Gegenwart. Tagung im Germanischen Nationalmuseum 2017</td><td><a href="https://musixplora.de/mxp/5002056">5002056</a></td></tr><tr><td>Related</td><td>Focht 2017</td><td>Instrumentenbau und -handel in Leipzig. Musikstadt Leipzig. Beiträge zur ihrer Geschichte</td><td><a href="https://musixplora.de/mxp/5002058">5002058</a></td></tr><tr><td>Related</td><td>Kinsky 1932a</td><td>Der Streicherflügel im Weimarer Goethehause und andere Musikinstrumente aus dem Goethekreise</td><td><a href="https://musixplora.de/mxp/5033594">5033594</a></td></tr><tr><td>Related</td><td>Kinsky 1926b</td><td>Zum Tode von Paul de Wit</td><td><a href="https://musixplora.de/mxp/5033605">5033605</a></td></tr><tr><td>Related</td><td>Fricke 2022a</td><td>Musikinstrumenten-Museum Berlin 1923–1945. Die Rekonstruktion einer unbekannten Sammlung und ihre Verluste. . Erschienen als Enhanced Publication. LM-enc Band 1. Schriftenreihe der Forschungsstelle DIGITAL ORGANOLOGY am Musikinstrumentenmuseum der Universität Leipzig. herausgegeben von Josef Focht</td><td><a href="https://musixplora.de/mxp/5033835">5033835</a></td></tr><tr><td>Related</td><td>Kinsky 1920</td><td>Musikinstrumentensammlungen in Vergangenheit und Gegenwart</td><td><a href="https://musixplora.de/mxp/5033885">5033885</a></td></tr><tr><td>Related</td><td>Simon 1887</td><td>Ein Besuch im Museum de Wit</td><td><a href="https://musixplora.de/mxp/5033946">5033946</a></td></tr><tr><td>Related</td><td>Heyde 1976</td><td>Historische Musikinstrumente im Bachhaus Eisenach</td><td><a href="https://musixplora.de/mxp/5034133">5034133</a></td></tr><tr><td>Related</td><td>Fontana 2022</td><td>Die Konzertgamben des kunstgeübten Dilettanten Paul de Wit. In: "…in das verlorene Paradies". Festschrift in memoriam. Annette Otterstedt zum 70. Geburtstag</td><td><a href="https://musixplora.de/mxp/5034228">5034228</a></td></tr><tr><td>Related</td><td>Focht et al. 2023</td><td>Georg Kinskys nie gedruckte Geschichte der Blasinstrumente. Josef Focht, Heike Fricke, Camilo Salazar Lozada. Erschienen in der Reihe FRAKTAL. In zwei Formaten erhältlich: Print und eBook</td><td><a href="https://musixplora.de/mxp/5034230">5034230</a></td></tr><tr><td>Related</td><td>Brenner 2020</td><td>Musikinstrumentensammlung des Musikwissenschaftlichen Seminars der Georg-August-Universität Göttingen. Bestandskatalog. Mehrere Versionen</td><td><a href="https://musixplora.de/mxp/5034244">5034244</a></td></tr></tbody></table><br><u>Ereignisse:</u><br><table><tbody><tr><th>Role</th><th>Sigel</th><th>Title</th><th>mXp-ID</th></tr><tr><td>Auftraggeber</td><td></td><td>Herstellung</td><td><a href="https://musixplora.de/mxp/6009852">6009852</a></td></tr><tr><td>Auftraggeber</td><td></td><td>Herstellung</td><td><a href="https://musixplora.de/mxp/6009853">6009853</a></td></tr><tr><td>Besitzer</td><td></td><td>Besitz</td><td><a href="https://musixplora.de/mxp/6011183">6011183</a></td></tr><tr><td>Besucher</td><td></td><td>Konzert</td><td><a href="https://musixplora.de/mxp/6003821">6003821</a></td></tr><tr><td>Besucher</td><td></td><td>Konzert</td><td><a href="https://musixplora.de/mxp/6003825">6003825</a></td></tr><tr><td>Besucher</td><td></td><td>Konzert</td><td><a href="https://musixplora.de/mxp/6003828">6003828</a></td></tr><tr><td>Beteiligter</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001327">6001327</a></td></tr><tr><td>Dokumentar</td><td></td><td>Dokumentation</td><td><a href="https://musixplora.de/mxp/6003806">6003806</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6015888">6015888</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6015985">6015985</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung (analog)</td><td><a href="https://musixplora.de/mxp/6016011">6016011</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6016148">6016148</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6016158">6016158</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6016167">6016167</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6016168">6016168</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6016192">6016192</a></td></tr><tr><td>Dokumentar</td><td></td><td>Beschreibung</td><td><a href="https://musixplora.de/mxp/6016193">6016193</a></td></tr><tr><td>Erwerber</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001501">6001501</a></td></tr><tr><td>Erwerber</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001529">6001529</a></td></tr><tr><td>Erwerber</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003113">6003113</a></td></tr><tr><td>Erwerber</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003224">6003224</a></td></tr><tr><td>Erwerber</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003225">6003225</a></td></tr><tr><td>Käufer</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001107">6001107</a></td></tr><tr><td>Käufer</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001348">6001348</a></td></tr><tr><td>Käufer</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001366">6001366</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6009694">6009694</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6009851">6009851</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6015833">6015833</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6015885">6015885</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6015982">6015982</a></td></tr><tr><td>Käufer</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6016145">6016145</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016155">6016155</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016164">6016164</a></td></tr><tr><td>Käufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016189">6016189</a></td></tr><tr><td>Leihgeber</td><td></td><td>Ausstellung</td><td><a href="https://musixplora.de/mxp/6003812">6003812</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003770">6003770</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb </td><td><a href="https://musixplora.de/mxp/6003771">6003771</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb </td><td><a href="https://musixplora.de/mxp/6003773">6003773</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb </td><td><a href="https://musixplora.de/mxp/6003774">6003774</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003775">6003775</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb </td><td><a href="https://musixplora.de/mxp/6003776">6003776</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb </td><td><a href="https://musixplora.de/mxp/6003777">6003777</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb </td><td><a href="https://musixplora.de/mxp/6003778">6003778</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003779">6003779</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003781">6003781</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003783">6003783</a></td></tr><tr><td>Sammler</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6003787">6003787</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011066">6011066</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011079">6011079</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011083">6011083</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011088">6011088</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011128">6011128</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011155">6011155</a></td></tr><tr><td>Sammler</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6011175">6011175</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6009854">6009854</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6015834">6015834</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6015886">6015886</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6015983">6015983</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016146">6016146</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016156">6016156</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016165">6016165</a></td></tr><tr><td>Verkäufer</td><td></td><td>Sammlung</td><td><a href="https://musixplora.de/mxp/6016190">6016190</a></td></tr><tr><td>Vorbesitzer</td><td></td><td>Erwerb</td><td><a href="https://musixplora.de/mxp/6001502">6001502</a></td></tr></tbody></table><br><br><u>Changelog</u>:<br> - v0.0.1: Initial Upload.<br>
All centralising monoids with binary operations as witnesses on the set {0,1,2,3}.
<p>This dataset contains all 33684 centralising monoids on the set <span>\(\{0,1,2,3\}\)</span> that can be witnessed by sets of binary operations. Among them the inclusion maximal proper monoids are shown. Classifications of various subsets of these monoids up to conjugacy are presented, as well. A detailed description of the files in the dataset can be obtained from the file binary_centralising_monoids.pdf (the code source for this file is given in binary_centralising_monoids.tex).</p>
Witness Tree Database for 68 Townships in Northern Wisconsin, Level 0
This database is a collation and digitization of witness tree attributes at 6,609 PLS corners in 68 scattered townships over nine counties (Ashland County east to Florence County and south to Rush County) in northern Wisconsin. These are the same townships used in Manies, K. L., Mladenoff, D. J., and Nordheim, E. V. 2001. Assessing large-scale surveyor variability in the historic forest data of the original US Public Land Survey. Canadian Journal of Forest Research 31(10): 1719-1730.
Witness Tree Database for 4 Survey Districts in Southeastern Ohio, Level 0
This database is a collation and digitization of witness tree attributes at PLS corners in four survey districts in southeastern Ohio: Old Seven Ranges, North of the Seven Ranges, United States Military Tract, Ohio Land Company.
Verification Witnesses from Verification Tools (SV-COMP 2021)
<p>Verification Witnesses</p> <p>This file describes the contents of an archive of the 10th Competition on Software Verification (SV-COMP 2021).<br> <a href="https://sv-comp.sosy-lab.org/2021/">https://sv-comp.sosy-lab.org/2021/</a></p> <p>The competition was run by Dirk Beyer, LMU Munich, Germany.<br> More information is available in the following article:<br> Dirk Beyer. <em>Software Verification: 10th Comparative Evaluation (SV-COMP 2021).</em> In Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021, Luxembourg, March 27 - April 1), 2021. Springer.</p> <p>Copyright (C) Dirk Beyer<br> <a href="https://www.sosy-lab.org/people/beyer/">https://www.sosy-lab.org/people/beyer/</a></p> <p>SPDX-License-Identifier: CC-BY-4.0<br> <a href="https://spdx.org/licenses/CC-BY-4.0.html">https://spdx.org/licenses/CC-BY-4.0.html</a></p> <p>Contents</p> <ul> <li><code>LICENSE.txt</code>: specifies the license</li> <li><code>README.txt</code>: this file</li> <li><code>witnessFileByHash/</code>: This directory contains verification witnesses. Each verification witness in this directory is stored in a file whose name is the SHA2 256-bit hash of its contents followed by the filename extension .graphml. The format of each verification witness is described on the format web page: <a href="https://github.com/sosy-lab/sv-witnesses/">https://github.com/sosy-lab/sv-witnesses/</a> A verification witness contains also metadata in order to relate it to the verification task for which it was produced.</li> <li><code>witnessInfoByHash/</code>: This directory contains for each verification witness in directory witnessFileByHash/ a record in JSON format (also using the SHA2 256-bit hash of the witness as filename, with .json as filename extension) that contains the meta data.</li> <li><code>witnessListByProgramHashJSON/</code>: For convenient access to all verification witnesses for a certain program, this directory represents a function that maps each program (via its SHA2256-bit hash) to a set of verification witnesses (JSON records for verification witnesses as described above) that the verification tools have produced for that program. For each program for which verification witnesses exist, the directory contains a JSON file (using the SHA2 256-bit hash of the program as filename, with .json as filename extension) that contains all JSON records for verification witnesses for that program.</li> </ul> <p>The data structure is described in the following article:<br> Dirk Beyer. <em>A Data Set of Program Invariants and Error Paths.</em> In Proceedings of the 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR 2019, Montreal, Canada, May 26-27), pages 111-115, 2019. IEEE.<br> <a href="https://doi.org/10.1109/MSR.2019.00026">https://doi.org/10.1109/MSR.2019.00026</a></p> <p>Other Archives</p> <p>Overview over archives from SV-COMP 2021 that are available at Zenodo:</p> <ul> <li><a href="https://doi.org/10.5281/zenodo.4459196">https://doi.org/10.5281/zenodo.4459196</a> Witness store (containing the generated verification witnesses)</li> <li><a href="https://doi.org/10.5281/zenodo.4458215">https://doi.org/10.5281/zenodo.4458215</a> Results (XML result files, log files, file mappings, HTML tables)</li> <li><a href="https://doi.org/10.5281/zenodo.4459126">https://doi.org/10.5281/zenodo.4459126</a> Verification tasks, version svcomp21</li> <li><a href="https://doi.org/10.5281/zenodo.4317433">https://doi.org/10.5281/zenodo.4317433</a> BenchExec, version 3.6</li> </ul> <p>All benchmarks were executed for SV-COMP 2021 <a href="https://sv-comp.sosy-lab.org/2021/">https://sv-comp.sosy-lab.org/2021/</a><br> by Dirk Beyer, LMU Munich, based on the following components:</p> <ul> <li><a href="https://gitlab.com/sosy-lab/sv-comp/archives-2021">https://gitlab.com/sosy-lab/sv-comp/archives-2021</a> svcomp21-0-g08c7a98</li> <li><a href="https://gitlab.com/sosy-lab/software/sv-benchmarks">https://gitlab.com/sosy-lab/software/sv-benchmarks</a> svcomp21-0-g4cc6b6d96a</li> <li><a href="https://gitlab.com/sosy-lab/software/benchexec">https://gitlab.com/sosy-lab/software/benchexec</a> 3.6-0-gb278ebbb</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/competition-scripts">https://gitlab.com/sosy-lab/benchmarking/competition-scripts</a> svcomp21-0-g8339740</li> <li><a href="https://gitlab.com/sosy-lab/sv-comp/bench-defs">https://gitlab.com/sosy-lab/sv-comp/bench-defs</a> svcomp21-0-ga57fe48</li> </ul> <p>Contact</p> <p>Feel free to contact me in case of questions: <a href="https://www.sosy-lab.org/people/beyer/">https://www.sosy-lab.org/people/beyer/</a></p>
Demonstrations of witness visualization using the Witness Visualizer Tool
<p>We have three datasets that display visualized <a href="https://sv-comp.sosy-lab.org/">SVCOMP</a> witnesses generated with the help of the <a href="https://github.com/ispras/cv">Witness Visualizer tool</a>. Each dataset comprises two directories: <code>witnesses</code>, which contains the original witnesses provided by SVCOMP tools, and <code>visualization</code>, which contains our visual representations of the respective witnesses in HTML format. The visualization file name contains the prefix <code>error_trace-</code>, for example, <code>error_trace-witness.2ls.html</code> corresponds to a witness named <code>witness.2ls.graphml</code>.</p> <h3>1. Overall thoroughness for all SVCOMP tools (<a href="../records/10988025/files/dataset_1.zip?download=1" target="_blank" rel="noopener">dataset_1.zip</a>)</h3> <p>This dataset includes a single random witness for each SVCOMP tool, accompanied by its corresponding visualization. The visualizations showcase the various witness elements such as function calls, conditions, assumptions, thread specifics, and other operations. Cells marked with <code>+/-</code> indicate that some elements were present in the error trace, but not all of them. All witnesses are presented in the table below:</p> <table> <tbody> <tr> <td>Witness</td> <td>SV-COMP Tool</td> <td>Function calls</td> <td>Threads</td> <td>Assumptions</td> <td>Conditions</td> <td>Link to sources</td> </tr> <tr> <td>witness.2ls.graphml</td> <td>2LS</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.aprove.graphml</td> <td>AProVE (2022)</td> <td>-</td> <td>-</td> <td>-</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.brick.graphml</td> <td>BRICK</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.bubaak.graphml</td> <td>Bubaak</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.cbmc.graphml</td> <td>CBMC</td> <td>-</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.cpa-bam-bnb.graphml</td> <td>CPA-BAM-BnB</td> <td>+</td> <td>-</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.cpa-bam-smg.graphml</td> <td>CPA-BAM-SMG</td> <td>+</td> <td>-</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.cpalockator.graphml</td> <td>CPALockator</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.cpachecker.graphml</td> <td>CPAChecker</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.crux.graphml</td> <td>Crux</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.cseq.graphml</td> <td>Cseq</td> <td>+</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.dartagnan.graphml</td> <td>Dartagnan</td> <td>-</td> <td>+</td> <td>-</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.deagle.graphml</td> <td>Deagle</td> <td>-</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>-</td> <td>DIVINE (until 2022)</td> <td>empty</td> </tr> <tr> <td>-</td> <td>EBF</td> <td>empty</td> </tr> <tr> <td>witness.esbmc-incr.graphml</td> <td>ESBMC-incr</td> <td>-</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.esbmc-kind.graphml</td> <td>ESBMC-kind</td> <td>-</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>-</td> <td>Frama-C-SV</td> <td>empty</td> </tr> <tr> <td>witness.gazer-theta.graphml</td> <td>Gazer-Theta</td> <td>+</td> <td>-</td> <td>+</td> <td>-</td> <td>wrong path</td> </tr> <tr> <td>witness.gdart.graphml</td> <td>Gdart-LLVM</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>-</td> <td>Goblint</td> <td>empty</td> </tr> <tr> <td>witness.graves_cpa.graphml</td> <td>Graves-CPA</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.graves_par.graphml</td> <td>Graves-Par</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>-</td> <td>Infer</td> <td>empty</td> </tr> <tr> <td>witness.korn.graphml</td> <td>Korn</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.lart.graphml</td> <td>LART (2022)</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.lazy-cseq.graphml</td> <td>Lazy-CSeq</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.lfchecker.graphml</td> <td>LF-checker</td> <td>-</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>-</td> <td>Locksmith</td> <td>empty</td> </tr> <tr> <td>-</td> <td>Mopsa</td> <td>empty</td> </tr> <tr> <td>witness.pesco_cpa.graphml</td> <td>PeSCo-CPA</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.pichecker.graphml</td> <td>PIChecker</td> <td>+</td> <td>-</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.pinaka.graphml</td> <td>Pinaka</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.predator.graphml</td> <td>PredatorHP</td> <td>-</td> <td>-</td> <td>-</td> <td>-</td> <td>+</td> </tr> <tr> <td>-</td> <td>SESL (2022)</td> <td>empty</td> </tr> <tr> <td>witness.smack.graphml</td> <td>SMACK (until 2022)</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.symbiotic.graphml</td> <td>Symbiotic</td> <td>-</td> <td>+</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.theta.graphml</td> <td>Theta</td> <td>different format</td> </tr> <tr> <td>witness.uatomozer.graphml</td> <td>UAutomizer</td> <td>+/-</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.ucutter.graphml</td> <td>UgemCutter</td> <td>+/-</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.ukojak.graphml</td> <td>UKojak</td> <td>+/-</td> <td>-</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.utaipan.graphml</td> <td>UTaipan</td> <td>+/-</td> <td>+</td> <td>+</td> <td>+</td> <td>+</td> </tr> <tr> <td>witness.veriabs.graphml</td> <td>VeriAbs</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>wrong path</td> </tr> <tr> <td>witness.veriabsl.graphml</td> <td>VeriAbsL</td> <td>+</td> <td>-</td> <td>+</td> <td>+</td> <td>wrong path</td> </tr> <tr> <td>witness.verifuzz.graphml</td> <td>VeriFuzz</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> <tr> <td>witness.verioover.graphml</td> <td>VeriOover</td> <td>-</td> <td>-</td> <td>+</td> <td>-</td> <td>+</td> </tr> </tbody> </table> <h3>2. Thoroughness by property (<a href="../records/10988025/files/dataset_2.zip?download=1" target="_blank" rel="noopener">dataset_2.zip</a>)</h3> <p>This dataset comprises a selected witness for each SVCOMP property (ReachSafety, MemSafety, Termination, NoOverflow, ConcurrencySafety). The witnesses are presented in the following table:</p> <p> </p> <table> <tbody> <tr> <td>Witness</td> <td>SV-COMP Tool</td> <td>Property</td> <td>Mandatory elements</td> <td>Description</td> </tr> <tr> <td>witness.smg_memory.graphml</td> <td>CPA-BAM-SMG</td> <td>MemSafety</td> <td>Assumptions / conditions, function calls</td> <td>There is a double free operation. Employing function calls <code>append </code>aids in comprehending the structure of the list, while assumptions reveal which branch was chosen.</td> </tr> <tr> <td>witness.graves_overflow.graphml</td> <td>Graves-CPA</td> <td>NoOverflow</td> <td>Assumptions / conditions</td> <td>The witness showcases an explicit (<code>-2147483648</code>, which represents the minimal value for the <code>int</code> type), which has the potential to cause overflow in specific program.</td> </tr> <tr> <td>witness.cpachecker_termination.graphml</td> <td>CPAChecker</td> <td>NoTermination</td> <td>Assumptions / conditions</td> <td>There is a condition leading to an infinite loop.</td> </tr> <tr> <td>witness.cpachecker_unreach.graphml</td> <td>CPAChecker</td> <td>ReachSafety</td> <td>Function calls</td> <td>The error trace indicates a potential scenario where a <code>mutex</code> was unlocked<br>without the corresponding <code>mutex_unlock</code> operation.</td> </tr> <tr> <td>witness.cpachecker_conc.graphml</td> <td>CPAChecker</td> <td>ConcurrencySafety</td> <td>Function calls, thread operations</td> <td>The error trace illustrates the creation of threads and highlights the assignments made within each thread that ultimately resulted in the violation of the property.</td> </tr> </tbody> </table> <div> <h3>3. Known bug (<a href="../records/10988025/files/dataset_2.zip?download=1" target="_blank" rel="noopener">dataset_3.zip</a>)</h3> <p>This dataset contains witnesses for a known bug from SVCOMP (<code>linux-3.14--drivers--usb--misc--adutux.ko.cil.i</code>) involving a data race on <code>dev->udev</code>, where concurrent writes occur without corresponding locks. Only two tools were able to solve the corresponding verification task: ESBMC-kind and CPALockator. The ESBMC error trace (<code>witness.esbmc_2020.graphml</code>) includes only thread specifics and assumptions, while the CPALockator witness (<code>witness.lockator.graphml</code>) comprises all witness elements and is presented in a human-readable format.</p> <h3>4. Comparison with the validation rate</h3> <p>This section presents a comparison between witness thoroughness and the actual validation rate for each property. We considered all tools that participated in the respective category and generated at least 10 error traces, then calculated the validation rate. This comparison demonstrates how effectively thoroughness can approximate the validation rate. The following tables provide details for each property, with the relevant elements used to calculate thoroughness highlighted:</p> <ul> <li>MemSafety property:</li> </ul> <table> <tbody> <tr> <td>SV-COMP Tool</td> <td><strong>Function calls</strong></td> <td>Threads</td> <td><strong>Assumptions</strong></td> <td><strong>Conditions</strong></td> <td>Thoroughness</td> <td>Error traces</td> <td>Validation rate</td> </tr> <tr> <td>Bubaak</td> <td><strong>0</strong></td> <td>0</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>33.33</td> <td>64</td> <td>67.19</td> </tr> <tr> <td>CBMC</td> <td><strong>0</strong></td> <td>1</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>33.33</td> <td>27</td> <td>11.11</td> </tr> <tr> <td>CPA-BAM-SMG</td> <td><strong>1</strong></td> <td>0</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>46</td> <td>78.26</td> </tr> <tr> <td>CPAChecker</td> <td><strong>1</strong></td> <td>1</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>37</td> <td>67.57</td> </tr> <tr> <td>ESBMC-kind</td> <td><strong>0</strong></td> <td>1</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>33.33</td> <td>25</td> <td>20</td> </tr> <tr> <td>Graves-CPA</td> <td><strong>1</strong></td> <td>1</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>44</td> <td>56.82</td> </tr> <tr> <td>Graves-Par</td> <td><strong>1</strong></td> <td>1</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>18</td> <td>77.78</td> </tr> <tr> <td>PeSCo-CPA</td> <td><strong>1</strong></td> <td>1</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>37</td> <td>67.57</td> </tr> </tbody> </table> <ul> <li>NoOverflow property:</li> </ul> <table> <tbody> <tr> <td>SV-COMP Tool</td> <td>Function calls</td> <td>Threads</td> <td><strong>Assumptions</strong></td> <td>Conditions</td> <td>Thoroughness</td> <td>Error traces</td> <td>Validation rate</td> </tr> <tr> <td>2LS</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>2071</td> <td>95.7</td> </tr> <tr> <td>Bubaak</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>2233</td> <td>94.67</td> </tr> <tr> <td>CBMC</td> <td>0</td> <td>1</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>3296</td> <td>62.14</td> </tr> <tr> <td>CPAChecker</td> <td>1</td> <td>1</td> <td><strong>1</strong></td> <td>1</td> <td>100</td> <td>196</td> <td>100</td> </tr> <tr> <td>Crux</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>222</td> <td>95.05</td> </tr> <tr> <td>ESBMC-kind</td> <td>0</td> <td>1</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>3296</td> <td>66.69</td> </tr> <tr> <td>Frama-C-SV</td> <td>0</td> <td>0</td> <td><strong>0</strong></td> <td>0</td> <td>0</td> <td>676</td> <td>0</td> </tr> <tr> <td>Graves-Par</td> <td>1</td> <td>1</td> <td><strong>1</strong></td> <td>1</td> <td>100</td> <td>750</td> <td>2</td> </tr> <tr> <td>Infer</td> <td>0</td> <td>0</td> <td><strong>0</strong></td> <td>0</td> <td>0</td> <td>583</td> <td>0</td> </tr> <tr> <td>Pinaka</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>2232</td> <td>100</td> </tr> <tr> <td>Symbiotic</td> <td>0</td> <td>1</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>1418</td> <td>100</td> </tr> <tr> <td>UAutomizer</td> <td>0.5</td> <td>1</td> <td><strong>1</strong></td> <td>1</td> <td>100</td> <td>2222</td> <td>100</td> </tr> <tr> <td>UKojak</td> <td>0.5</td> <td>0</td> <td><strong>1</strong></td> <td>1</td> <td>100</td> <td>168</td> <td>100</td> </tr> <tr> <td>UTaipan</td> <td>0.5</td> <td>1</td> <td><strong>1</strong></td> <td>1</td> <td>100</td> <td>0</td> <td>100</td> </tr> <tr> <td>VeriFuzz</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td>0</td> <td>100</td> <td>185</td> <td>90.81</td> </tr> </tbody> </table> <ul> <li>NoTermination property:</li> </ul> <table> <tbody> <tr> <td>SV-COMP Tool</td> <td>Function calls</td> <td>Threads</td> <td><strong>Assumptions</strong></td> <td><strong>Conditions</strong></td> <td>Thoroughness</td> <td>Error traces</td> <td>Validation rate</td> </tr> <tr> <td>2LS</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>50</td> <td>663</td> <td>69.08</td> </tr> <tr> <td>Bubaak</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>50</td> <td>578</td> <td>34.78</td> </tr> <tr> <td>CPAChecker</td> <td>1</td> <td>1</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>501</td> <td>97.01</td> </tr> <tr> <td>Symbiotic</td> <td>0</td> <td>1</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>50</td> <td>591</td> <td>52.96</td> </tr> <tr> <td>UAutomizer</td> <td>0.5</td> <td>1</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>100</td> <td>512</td> <td>98.24</td> </tr> <tr> <td>VeriFuzz</td> <td>0</td> <td>0</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>50</td> <td>492</td> <td>71.34</td> </tr> </tbody> </table> <ul> <li>ReachSafety property:</li> </ul> <table> <tbody> <tr> <td>SV-COMP Tool</td> <td><strong>Function calls</strong></td> <td>Threads</td> <td>Assumptions</td> <td>Conditions</td> <td>Thoroughness</td> <td>Error traces</td> <td>Validation rate</td> </tr> <tr> <td>Bubaak</td> <td><strong>0</strong></td> <td>0</td> <td>1</td> <td>0</td> <td>0</td> <td>24</td> <td>54.17</td> </tr> <tr> <td>CBMC</td> <td><strong>0</strong></td> <td>1</td> <td>1</td> <td>0</td> <td>0</td> <td>392</td> <td>1.28</td> </tr> <tr> <td>CPA-BAM-BnB</td> <td><strong>1</strong></td> <td>0</td> <td>1</td> <td>1</td> <td>100</td> <td>69</td> <td>85.51</td> </tr> <tr> <td>CPA-BAM-SMG</td> <td><strong>1</strong></td> <td>0</td> <td>1</td> <td>1</td> <td>100</td> <td>67</td> <td>85.07</td> </tr> <tr> <td>CPAChecker</td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>1</td> <td>100</td> <td>45</td> <td>88.89</td> </tr> <tr> <td>Crux</td> <td><strong>0</strong></td> <td>0</td> <td>1</td> <td>0</td> <td>0</td> <td>1572</td> <td>0.13</td> </tr> <tr> <td>ESBMC-kind</td> <td><strong>0</strong></td> <td>1</td> <td>1</td> <td>0</td> <td>0</td> <td>64</td> <td>21.88</td> </tr> <tr> <td>Graves-CPA</td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>1</td> <td>100</td> <td>66</td> <td>87.88</td> </tr> <tr> <td>Graves-Par</td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>1</td> <td>100</td> <td>24</td> <td>58.33</td> </tr> <tr> <td>PeSCo-CPA</td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>1</td> <td>100</td> <td>63</td> <td>85.71</td> </tr> </tbody> </table> <ul> <li>ConcurrencySafety property:</li> </ul> <table> <tbody> <tr> <td>SV-COMP Tool</td> <td><strong>Function calls</strong></td> <td><strong>Threads</strong></td> <td>Assumptions</td> <td>Conditions</td> <td>Thoroughness</td> <td>Error traces</td> <td>Validation rate</td> </tr> <tr> <td>CBMC</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>50</td> <td>277</td> <td>87</td> </tr> <tr> <td>CPA-Lockator</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>100</td> <td>83</td> <td>26.51</td> </tr> <tr> <td>CPAChecker</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>100</td> <td>257</td> <td>100</td> </tr> <tr> <td>Cseq</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>100</td> <td>277</td> <td>94.58</td> </tr> <tr> <td>Dartagnan</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>0</td> <td>0</td> <td>50</td> <td>281</td> <td>92.17</td> </tr> <tr> <td>Deagle</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>50</td> <td>280</td> <td>96.07</td> </tr> <tr> <td>DIVINE</td> <td><strong>0</strong></td> <td><strong>0</strong></td> <td>0</td> <td>0</td> <td>0</td> <td>230</td> <td>80.87</td> </tr> <tr> <td>EBF</td> <td><strong>0</strong></td> <td><strong>0</strong></td> <td>0</td> <td>0</td> <td>0</td> <td>282</td> <td>89.01</td> </tr> <tr> <td>ESBMC-incr</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>50</td> <td>68</td> <td>79.41</td> </tr> <tr> <td>ESBMC-kind</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>50</td> <td>263</td> <td>89.73</td> </tr> <tr> <td>Graves-CPA</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>100</td> <td>261</td> <td>99.23</td> </tr> <tr> <td>Graves-Par</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>100</td> <td>28</td> <td>100</td> </tr> <tr> <td>Infer</td> <td><strong>0</strong></td> <td><strong>0</strong></td> <td>0</td> <td>0</td> <td>0</td> <td>634</td> <td>0</td> </tr> <tr> <td>Lazy-CSeq</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>100</td> <td>274</td> <td>94.89</td> </tr> <tr> <td>LF-checker</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>50</td> <td>286</td> <td>85.31</td> </tr> <tr> <td>PeSCo-CPA</td> <td><strong>1</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>100</td> <td>256</td> <td>100</td> </tr> <tr> <td>PIChecker</td> <td><strong>1</strong></td> <td><strong>0</strong></td> <td>1</td> <td>1</td> <td>50</td> <td>269</td> <td>98.14</td> </tr> <tr> <td>Symbiotic</td> <td><strong>0</strong></td> <td><strong>1</strong></td> <td>1</td> <td>0</td> <td>50</td> <td>110</td> <td>92.73</td> </tr> <tr> <td>UAutomizer</td> <td><strong>0.5</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>75</td> <td>297</td> <td>94.95</td> </tr> <tr> <td>UgemCutter</td> <td><strong>0.5</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>75</td> <td>283</td> <td>96.47</td> </tr> <tr> <td>UTaipan</td> <td><strong>0.5</strong></td> <td><strong>1</strong></td> <td>1</td> <td>1</td> <td>75</td> <td>293</td> <td>96.25</td> </tr> </tbody> </table> <h3>5. Overall distance for all possible combinations of elements for thoroughness</h3> <p>This section presents the overall difference (i.e., the sum of differences between witness thoroughness and validation rates for each tool) when thoroughness is calculated based on all possible combinations of witness elements (assumptions, conditions, thread specifics, and function calls). The set of witnesses is the same as in the previous section. The following tables provide details for each property, with the minimum difference highlighted:</p> <ul> <li>MemSafety property:</li> </ul> <table> <tbody> <tr> <td>Combination</td> <td>Overall difference</td> </tr> <tr> <td>Function calls</td> <td>250.3</td> </tr> <tr> <td>Thread specifics</td> <td>444.6</td> </tr> <tr> <td>Assumptions</td> <td>353.7</td> </tr> <tr> <td>Conditions</td> <td>250.3</td> </tr> <tr> <td>Function calls, Thread specifics</td> <td>294.6</td> </tr> <tr> <td>Assumptions, Function calls</td> <td>238.08</td> </tr> <tr> <td>Conditions, Function calls</td> <td>250.3</td> </tr> <tr> <td>Assumptions, Thread specifics</td> <td>344.6</td> </tr> <tr> <td>Conditions, Thread specifics</td> <td>294.6</td> </tr> <tr> <td>Assumptions, Conditions</td> <td>238.08</td> </tr> <tr> <td>Assumptions, Function calls, Thread specifics</td> <td>277.94</td> </tr> <tr> <td>Conditions, Function calls, Thread specifics</td> <td>244.59</td> </tr> <tr> <td><strong>Assumptions, Conditions, Function calls</strong></td> <td><strong>221.41</strong></td> </tr> <tr> <td>Assumptions, Conditions, Thread specifics</td> <td>277.94</td> </tr> <tr> <td>Assumptions, Conditions, Function calls, Thread specifics</td> <td>244.6</td> </tr> </tbody> </table> <ul> <li>NoOverflow property:</li> </ul> <table> <tbody> <tr> <td>Combination</td> <td>Overall difference</td> </tr> <tr> <td>Function calls</td> <td>953.06</td> </tr> <tr> <td>Thread specifics</td> <td>745.4</td> </tr> <tr> <td><strong>Assumptions</strong></td> <td><strong>192.94</strong></td> </tr> <tr> <td>Conditions</td> <td>803.06</td> </tr> <tr> <td>Function calls, Thread specifics</td> <td>778.06</td> </tr> <tr> <td>Assumptions, Function calls</td> <td>478.06</td> </tr> <tr> <td>Conditions, Function calls</td> <td>878.06</td> </tr> <tr> <td>Assumptions, Thread specifics</td> <td>445.4</td> </tr> <tr> <td>Conditions, Thread specifics</td> <td>703.06</td> </tr> <tr> <td>Assumptions, Conditions</td> <td>403.06</td> </tr> <tr> <td>Assumptions, Function calls, Thread specifics</td> <td>528.8</td> </tr> <tr> <td>Conditions, Function calls, Thread specifics</td> <td>786.41</td> </tr> <tr> <td>Assumptions, Conditions, Function calls</td> <td>586.43</td> </tr> <tr> <td>Assumptions, Conditions, Thread specifics</td> <td>478.79</td> </tr> <tr> <td>Assumptions, Conditions, Function calls, Thread specifics</td> <td>590.56</td> </tr> </tbody> </table> <ul> <li>NoTermination property:</li> </ul> <table> <tbody> <tr> <td>Combination</td> <td>Overall difference</td> </tr> <tr> <td>Function calls</td> <td>279.39</td> </tr> <tr> <td>Thread specifics</td> <td>226.99</td> </tr> <tr> <td>Assumptions</td> <td>176.59</td> </tr> <tr> <td>Conditions</td> <td>232.91</td> </tr> <tr> <td>Function calls, Thread specifics</td> <td>204.39</td> </tr> <tr> <td><strong>Assumptions, Function calls</strong></td> <td><strong>84.83</strong></td> </tr> <tr> <td>Conditions, Function calls</td> <td>254.39</td> </tr> <tr> <td>Assumptions, Thread specifics</td> <td>107.43</td> </tr> <tr> <td>Conditions, Thread specifics</td> <td>182.91</td> </tr> <tr> <td>Assumptions, Conditions</td> <td>63.35</td> </tr> <tr> <td>Assumptions, Function calls, Thread specifics</td> <td>106.82</td> </tr> <tr> <td>Conditions, Function calls, Thread specifics</td> <td>212.73</td> </tr> <tr> <td>Assumptions, Conditions, Function calls</td> <td>112.74</td> </tr> <tr> <td>Assumptions, Conditions, Thread specifics</td> <td>93.67</td> </tr> <tr> <td>Assumptions, Conditions, Function calls, Thread specifics</td> <td>116.89</td> </tr> </tbody> </table> <ul> <li>ReachSafety property:</li> </ul> <table> <tbody> <tr> <td>Combination</td> <td>Overall difference</td> </tr> <tr> <td><strong>Function calls</strong></td> <td><strong>212.74</strong></td> </tr> <tr> <td>Thread specifics</td> <td>607.58</td> </tr> <tr> <td>Assumptions</td> <td>557.82</td> </tr> <tr> <td>Conditions</td> <td>312.74</td> </tr> <tr> <td>Function calls, Thread specifics</td> <td>357.58</td> </tr> <tr> <td>Assumptions, Function calls</td> <td>316.16</td> </tr> <tr> <td>Conditions, Function calls</td> <td>262.74</td> </tr> <tr> <td>Assumptions, Thread specifics</td> <td>507.32</td> </tr> <tr> <td>Conditions, Thread specifics</td> <td>407.58</td> </tr> <tr> <td>Assumptions, Conditions</td> <td>366.16</td> </tr> <tr> <td>Assumptions, Function calls, Thread specifics</td> <td>373.98</td> </tr> <tr> <td>Conditions, Function calls, Thread specifics</td> <td>307.56</td> </tr> <tr> <td>Assumptions, Conditions, Function calls</td> <td>299.48</td> </tr> <tr> <td>Assumptions, Conditions, Thread specifics</td> <td>407.32</td> </tr> <tr> <td>Assumptions, Conditions, Function calls, Thread specifics</td> <td>332.32</td> </tr> </tbody> </table> <ul> <li>ConcurrencySafety property:</li> </ul> <table> <tbody> <tr> <td>Combination</td> <td>Overall difference</td> </tr> <tr> <td>Function calls</td> <td>1016.62</td> </tr> <tr> <td>Thread specifics</td> <td>442.72</td> </tr> <tr> <td>Assumptions</td> <td>430.78</td> </tr> <tr> <td>Conditions</td> <td>980.44</td> </tr> <tr> <td>Function calls, Thread specifics</td> <td>637.9</td> </tr> <tr> <td>Assumptions, Function calls</td> <td>641.62</td> </tr> <tr> <td>Conditions, Function calls</td> <td>980.78</td> </tr> <tr> <td><strong>Assumptions, Thread specifics</strong></td> <td><strong>427.06</strong></td> </tr> <tr> <td>Conditions, Thread specifics</td> <td>626.72</td> </tr> <tr> <td>Assumptions, Conditions</td> <td>630.44</td> </tr> <tr> <td>Assumptions, Function calls, Thread specifics</td> <td>512.89</td> </tr> <tr> <td>Conditions, Function calls, Thread specifics</td> <td>735.42</td> </tr> <tr> <td>Assumptions, Conditions, Function calls</td> <td>739.14</td> </tr> <tr> <td>Assumptions, Conditions, Thread specifics</td> <td>510.03</td> </tr> <tr> <td>Assumptions, Conditions, Function calls, Thread specifics</td> <td>614.56</td> </tr> </tbody> </table> </div>
Figure 2 in "One is the loneliest number"; are we witnessing the death throes of the single-author research paper in the field of biological invasions?
Figure 2. Changes in % of research papers published over time by single-authors (white circles and grey line) and four or more authors (black circles and black line) in issues of (a) BioInvasions Records, (b) Aquatic Invasions and (c) Management of Biological Invasions.
Figure 1 in "One is the loneliest number"; are we witnessing the death throes of the single-author research paper in the field of biological invasions?
Figure 1. Mean (± SE) % of research papers published in each issue of BioInvasions Records, Aquatic Invasions and Management of Biological Invasions categorised by number of authors.
Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16
<p>This is the description of the supplementary archive of example interactive reports for the approach described in the article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.</p> <p>This archive contains a static snapshot of our system that allows the reader to<br> a) experience the features of our web-service without relying on its online availability and<br> b) reproduce the bug reports displayed in this static snapshot by validating the provided witnesses against the source code and the corresponding specifications using CPAchecker.</p> <p>The witness database is available at:<br> static/index.html<br> The supplied verification tasks can be found at:<br> static/programs/<br> The supplied error witnesses are grouped by their corresponding verification tasks and can be found at:<br> static/witnesses/<br> The software verifier CPAchecker is placed at:<br> CPAchecker/</p> <p>To browse the witness database and explore the supplied error reports, we recommend using the Firefox web browser,<br> because not all features of our bug reports are guaranteed to be available in other browsers.</p> <p>Like the supplementary archive originally provided to the reviewers, this witness database contains only a small selection of the witnesses harvested from the "Competition on Software Verification 2016", because we do not want to burden the reader with an enormous amount of data that likely is not relevant for understanding the concepts. Also, error witnesses produced by some competition candidates that were not even syntactically correct were removed, because they do not add any value to the evaluation. However, the full data is still available online via our web service, for example, the list of witnesses for a verification task can be requested by computing the SHA-1 hash of the verification task's source code and submitting the following query:<br> http://vcloud.sosy-lab.org/webclient/master/witness?inputFile=<program-hash><br> The resulting JSON data contains all hashes of witnesses stored for the given program.<br> A witness stored in the database can be requested via its SHA-1 hash by submitting the following query:<br> https://vcloud.sosy-lab.org/webclient/files/<hash><br> All verification tasks are available at the SV-COMP repository:<br> https://github.com/dbeyer/sv-benchmarks<br> If you use verification tasks from the repository and are interested in validating witnesses produced for SV-COMP '16,<br> please use the 'svcomp16' tag, because the tasks and their hashes might have changed since then.</p> <p>You can use CPAchecker to validate a witness for a verification task and generate an error report.<br> First, navigate to the CPAchecker directory:</p> <p> cd CPAchecker/</p> <p>Now, perform the validation by providing the verification task (consisting of specification and program source code) and a witness:</p> <p> scripts/cpa.sh -generateReport -witness-validation \<br> -spec <specification> \<br> <source-code> \<br> -spec <witness></p> <p>For example:</p> <p> scripts/cpa.sh -generateReport -witness-validation \<br> -spec ../static/programs/loop-acceleration/ALL.prp \<br> ../static/programs/loop-acceleration/array_false-unreach-call3.i \<br> -spec ../static/witnesses/loop-acceleration/array_false-unreach-call3.i/a4572a0c1b505b1d1170b7347e48a2a93cb3f4c1</p> <p>The report will be generated in the subdirectory<br> output/report/</p> <p> </p>
Verification Witnesses from Verification Tools (SV-COMP 2019)
<p>This data set contains verification witnesses produced by tools for software verification that participated in the 8th International Competition on Software Verification (SV-COMP 2019).</p>
Figure 2 in Character assassination: a personal witness account with a taxonomic note on the genus Laufeia s. lat. (Araneae: Salticidae)
Figure 2. Photographs of live specimens of: A - Laufeia aenea, female, B - Junqattus daiquini, male and female, C - "Laufeia" [NOT!] concava, male [note proportions of carapace, especially high thorax], D - Orcevia cf. keyserlingi, male and female. COMMENT. External appearance does not support congeneric status of the above specimens, note that identifications are not confirmed by genitalic characters of the specimens.
Figure 3 in Character assassination: a personal witness account with a taxonomic note on the genus Laufeia s. lat. (Araneae: Salticidae)
Figure 3. Facsimile of description of the genus Laufeia and synonymy with genera Orcevia and Junxattus. The description is general, with diagnostic characters meaningless, quoted in general terms, like: usually, relatively, long or short, coiled or uncoiled, usually indistinct, show high interspecific variation [actually belonging to different genera! J. P.]. Note (given by authors) informs of what the authors were thinking, but does not give actual documentation. Authors refers generally to molecular arguments without giving precise and verifiable data (reference Zhang, J. X. & Maddison, W. P. (2013)), so readers are expected to believe but cannot verify these data. Actually a few species tested are insufficient for taxonomic generalizations, some based on misclassified species ("Laufeia" concava is not congeneric with L. aenea - compare figs 1 E-F with 1 W-X, above). HOWEVER, outside the present description, the second author commands too good knowledge of Salticidae to be dismissed without checking each case.
Figure 1 in Character assassination: a personal witness account with a taxonomic note on the genus Laufeia s. lat. (Araneae: Salticidae)
Figure 1. Simultaneous observation of diagnostic characters is necessary for assessment of morphological similarities and differences: five different genera lumped by WSC into single genus Laufeia. Palps, ventral view of epigyne and internal structure of epigyne in: A - Laufeia aenea - type specimens by Prószyński, B - Laufeia aenea - type specimens by Zhang, C - Laufeia [?] "squamata" [mismatched] by Logunov, D - Junxattus daiqini - type specimens by Prószyński, E - Laufeia aenea - type specimens by Prószyński, F - Laufeia aenea - type specimens by Zhang, G - Junxattus daiqini by Prószyński, H - Junxattus daiqini by Zhang, I - Orcevia keyserlingi - type specimens by Prószyński, J - Orcevia keyserlingi by Zhang, K - Orcevia kuloni - type specimens by Prószyński, L - Junxattus daiqini by Zhang, M - Orcevia keyserlingi - type specimens by Prószyński, N - Orcevia keyserlingi by Zhang, O - Orcevia kuloni - type specimen by Prószyński, P - Lechia squamata - type specimen by Zabka, Q - Lechia squamata by Logunov, R - Orcevia keyserlingi - type specimens by Prószyński, S - Orcevia keyserlingi by Zhang, T - Orcevia kuloni - type specimen by Prószyński, U - Junxattus daiqini - type specimen by Prószyński, V - Junxattus daiqini by Zhang, W, X - "Laufeia" [NOT!] concava by Zhang, Y - Lechia squamata - type specimen by Zabka, Z - Lechia squamata by Logunov.
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.