cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.15220238
title: INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition (CAV 2025 Artifact)

description: This artifact accompanies the paper INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition, appearing at the 37th International Conference on Computer Aided Verification, 2025. It provides the source code, dataset, evaluation scripts and logs needed to fully reproduce all the results and claims mentioned in the paper. The source code contains the implementations of the BASIC, LOCKSTEP and INTERLEAVE algorithms used. The dataset, evaluation scripts and logs allow anyone to reproduce all the figures and other results in the paper by running these algorithms on the QVBS (or a subset of it). It also provides a fully encapsulated Docker image that includes all dependencies, enabling easy replication of the environment and results. Detailed instructions for using this artifact are present in a README.md file at the root level.
DOI: 10.5281/zenodo.15220239
title: INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition (CAV 2025 Artifact)

description: This artifact accompanies the paper INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition, appearing at the 37th International Conference on Computer Aided Verification, 2025. It provides the source code, dataset, evaluation scripts and logs needed to fully reproduce all the results and claims mentioned in the paper. The source code contains the implementations of the BASIC, LOCKSTEP and INTERLEAVE algorithms used. The dataset, evaluation scripts and logs allow anyone to reproduce all the figures and other results in the paper by running these algorithms on the QVBS (or a subset of it). It also provides a fully encapsulated Docker image that includes all dependencies, enabling easy replication of the environment and results. Detailed instructions for using this artifact are present in a README.md file at the root level.
DOI: 10.15468/dl.q3hwrr
title: Occurrence Download

description: A dataset containing 54246 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Fish Collection NRM"
 ]
}

 The dataset includes 54246 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190242-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.wgtfkd
title: Occurrence Download

description: A dataset listing the 9 species recorded in GBIF matching the query:
{
 "TaxonKey" : [
 "is Quercus dumosa Nutt."
 ]
}

 The dataset's 9 records were derived from 66 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0027020-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.5udmwm
title: Occurrence Download

description: A dataset containing 564 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Utricularia livida E.Mey.)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 564 records from 54 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0053692-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.pgurv7
title: Occurrence Download

description: A dataset containing 2442 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Quedius molochinus (Gravenhorst, 1806)"
 ]
}

 The dataset includes 2442 records from 104 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0081286-200221144449610/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.sd5y2d
title: Occurrence Download

description: A dataset containing 1356 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Africa",
 {
 "or" : [
 "Country is Burkina Faso",
 "Country is Benin",
 "Country is Gambia",
 "Country is Ghana",
 "Country is Guinea",
 "Country is Guinea-Bissau",
 "Country is Mali",
 "Country is Liberia",
 "Country is Mauritania",
 "Country is Niger",
 "Country is Nigeria",
 "Country is Senegal",
 "Country is Sierra Leone",
 "Country is Togo",
 "Country is Saint Helena, Ascension and Tristan da Cunha",
 "Country is South Africa",
 "Country is Namibia",
 "Country is Morocco",
 "Country is Western Sahara",
 "Country is Côte d’Ivoire",
 "Country is Cameroon",
 "Country is Equatorial Guinea",
 "Country is Gabon",
 "Country is Congo, Democratic Republic of the",
 "Country is Congo",
 "Country is Angola",
 "Country is unknown or invalid"
 ]
 },
 "OccurrenceStatus is Present",
 "TaxonKey is Alcyonacea"
 ]
}

 The dataset includes 1356 records from 11 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076915-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.br6j39
title: Occurrence Download

description: A dataset containing 1007 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is Mexico",
 "HasCoordinate is true",
 "TaxonKey is Juniperus deppeana Steud.",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 1007 records from 51 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0017765-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.8f9yyg
title: Occurrence Download

description: A dataset containing 13803 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "OccurrenceStatus is Present",
 "TaxonKey is Glossophaga soricina (Pallas, 1766)"
 ]
}

 The dataset includes 13803 records from 95 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0081301-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.xry72g
title: Occurrence Download

description: A dataset containing 384325 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is The Taiwan Breeding Bird Survey Data"
 ]
}

 The dataset includes 384325 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0037071-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.tbt8vk
title: Occurrence Download

description: A dataset containing 126 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aethionema diastrophis Bunge"
 ]
}

 The dataset includes 126 records from 21 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0033671-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.heo202
title: Occurrence Download

description: A dataset containing 6216 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "HasCoordinate is true",
 "TaxonKey is Bidens pilosa L.",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 6216 records from 263 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003934-180412121330197/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ghvgyp
title: Occurrence Download

description: A dataset containing 475 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "OccurrenceStatus is Present",
 "TaxonKey is Tamandua mexicana (Saussure, 1860)"
 ]
}

 The dataset includes 475 records from 45 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0081311-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.styvxq
title: Occurrence Download

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Arundo donax f. donax"
 ]
}

 The dataset includes 24 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008877-170714134226665/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.sc1btd
title: Occurrence Download

description: A dataset containing 7805 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "HasCoordinate is true",
 "TaxonKey is Tadarida brasiliensis (I.Geoffroy, 1824)",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 7805 records from 71 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024586-190918142434337/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.s4wp9n
title: Occurrence Download

description: A dataset containing 3459 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Iridomyrmex purpureus (Smith, 1858)"
 ]
}

 The dataset includes 3459 records from 25 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016955-191105090559680/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ut9qfz
title: Occurrence Download

description: A dataset containing 408 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Acacia dolichostachya S.F.Blake"
 ]
}

 The dataset includes 408 records from 48 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0084054-200221144449610/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.e5hue8
title: Occurrence Download

description: A dataset containing 911 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Africa",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Psychotria vogeliana Benth.",
 "Year 1000-2020"
 ]
}

 The dataset includes 911 records from 31 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0079021-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.lrhe25
title: Occurrence Download

description: A dataset containing 4569 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Egeria densa Planch."
 ]
}

 The dataset includes 4569 records from 278 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0010944-191105090559680/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.egxltr
title: Occurrence Download

description: A dataset containing 80 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachyglottis cassinioides (Hook.fil.) B.Nord.",
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Observation"
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 80 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0031504-190918142434337/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.r9jk2z
title: Occurrence Download

description: A dataset containing 7427 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Pueraria montana var. lobata (Willd.) Maesen & S.M.Almeida ex Sanjappa & Predeep"
 ]
}

 The dataset includes 7427 records from 233 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0283143-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.c7dcrp
title: Occurrence Download

description: A dataset containing 587 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is EOD – eBird Observation Dataset",
 "Geometry POLYGON((-79.43261 42.3548,-79.43913 42.34072,-79.42901 42.32676,-79.41648 42.34275,-79.43261 42.3548))",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "Year 2015-2021"
 ]
}

 The dataset includes 587 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190258-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qkfrjw
title: Occurrence Download

description: A dataset containing 135 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hyloscirtus larinopygion (Duellman, 1973)"
 ]
}

 The dataset includes 135 records from 11 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003934-190415153152247/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.99ywko
title: Occurrence Download

description: A dataset containing 216 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Alseuosmia quercifolia A.Cunn.",
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Observation"
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 216 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0031489-190918142434337/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qs6wa2
title: Occurrence Download

description: A dataset containing 1175 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Rubus ellipticus Sm."
 ]
}

 The dataset includes 1175 records from 91 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0283144-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.mjsqc5
title: Occurrence Download

description: A dataset containing 2549 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Medicago polymorpha var. polymorpha"
 ]
}

 The dataset includes 2549 records from 32 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0035773-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.nit6s0
title: Occurrence Download

description: A dataset containing 112 species occurrences available in GBIF matching the query:
{
 "or" : [
 "TaxonKey is Machaerium leiophyllum var. latifolium (Benth.) Rudd",
 "TaxonKey is Drepanocarpus crista-castrensis var. latifolius Benth.",
 "TaxonKey is Machaerium frondosum (Mart. ex Benth.) Ducke",
 "TaxonKey is Drepanocarpus frondosus Mart. ex Benth."
 ]
}

 The dataset includes 112 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0025412-191105090559680/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.xnvhkf
title: Occurrence Download

description: A dataset containing 1355 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Antarctic Lakes Brine Raw sequence reads"
 ]
}

 The dataset includes 1355 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190288-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.o3zc7p
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Carmichaelia aligera G.Simpson",
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Observation"
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0031520-190918142434337/datasets/export for details.
DOI: 10.15468/dl.2debx6
title: Occurrence Download

description: A dataset containing 4184 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Fallopia scandens (L.) Holub"
 ]
}

 The dataset includes 4184 records from 115 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0294325-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.upbut4
title: Occurrence Download

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Antarctica",
 "TaxonKey is Boeckella poppei (Mrázek, 1901)"
 ]
}

 The dataset includes 6 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009000-171124123535762/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qcd87q
title: Occurrence Download

description: A dataset containing 54 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Euploca epacridea (F.Muell. ex Benth.) M.W.Frohl. & M.W.Chase"
 ]
}

 The dataset includes 54 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0161587-240321170329656/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.w6nkmv
title: Occurrence Download

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Ichthyophis beddomei Peters, 1880"
 ]
}

 The dataset includes 13 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049903-240229165702484/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.0cr1in
title: Occurrence Download

description: A dataset containing 46896 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Peromyscus leucopus (Rafinesque, 1818)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 46896 records from 65 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009001-151016162008034/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.3utk55
title: Occurrence Download

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Cabassous tatouay (Desmarest, 1804)"
 ]
}

 The dataset includes 16 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0034484-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6b7y63
title: Occurrence Download

description: A dataset containing 713 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Espeletia glandulosa Cuatrec."
 ]
}

 The dataset includes 713 records from 29 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0161588-240321170329656/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.kudp9y
title: Occurrence Download

description: A dataset containing 45 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Equus kiang Moorcroft, 1841"
 ]
}

 The dataset includes 45 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0161586-240321170329656/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.paoy1p
title: Occurrence Download

description: A dataset containing 319 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Codium fragile (Suringar) Har.",
 "Country is Ireland"
 ]
}

 The dataset includes 319 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009001-160118175350007/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.pz2r4y
title: Occurrence Download

description: A dataset containing 1700 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Atelornis pittoides (Lafresnaye, 1834)"
 ]
}

 The dataset includes 1700 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0054833-240229165702484/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qm6gat
title: Occurrence Download

description: A dataset containing 133395 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ramphastos sulfuratus R.Lesson, 1830"
 ]
}

 The dataset includes 133395 records from 141 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0282769-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.urnk6n
title: Occurrence Download

description: A dataset containing 11 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Sphaerodactylus gaigeae Grant, 1932",
 "HasGeospatialIssue is false",
 "Geometry POLYGON((-72.98 15.14,-72.98 23.40,-59.21 23.40,-59.21 15.14,-72.98 15.14))"
 ]
}

 The dataset includes 11 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009001-160311141623029/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.