◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Schloss Dagstuhl – Leibniz Center for Informatics

Germany

5 papers here171 citations across 5
fields
  • cs.DL2
  • cs.DS1
  • cs.FL1
  • cs.SC1
ROR 00k4h2615OpenAlex

affiliations via OpenAlex

output
20102018
most citedAnalysis of Agglomerative Clustering

159 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

  • Florian Reitz2 · h 7
  • Marcel R. Ackermann2 · h 8
  • Andreas Dolzmann1 · h 11
  • Christof Löding1 · h 26
  • C. Sohler1 · h 38
  • Daniel Kuntze1 · h 4
  • Johannes Blömer1 · h 29
  • M. Kosta1 · h 6
  • T. Sturm1 · h 27
collaborating institutions
  • Max Planck Institute for InformaticsDE1 paper
  • Paderborn UniversityDE1 paper
  • RWTH Aachen UniversityDE1 paper
  • TU Dortmund UniversityDE1 paper
  • VERIDIS: Modeling and Verification of Distributed Algorithms and SystemsFR1 paper
Showing 2015Show all

1 paper · 1 filter

cs.SC2015★ 10 cited

Better Answers to Real Questions

Marek Kosta, Thomas Sturm, Andreas Dolzmann

We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which a…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.