researcher

Christian Schulz

88 papers hereh-index 334.3k citations128 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

sole author3
first author3
middle author34
last author46

Across the 86 of 88 papers where every author was matched, so the position is known.

fields

cs.DS59
cs.DC11
cs.DL3
cs.NE3
cs.SI3
cs.LO2

same name

Christian Schulz — 15 papers, h 3
Christian Schulz — 5 papers, h 1
Christian Schulz — 2 papers, h 1
Christian Schulz — 2 papers, h 1
Christian Schulz — 1 paper, h 1
Christian Schulz — 1 paper, h 1

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20092026

most citedThe Future is Big Graphs! A Community View on Graph Processing Systems

157 citations · 421 across the 63 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2021★ 6 cited

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata

Reed Oei, Dun Ma, Christian Schulz +1

Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently prov…

cs.LO2021★ 11 cited

Decidability for Sturmian words

Philipp Hieronymi, Dun Ma, Reed Oei +3

We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwa…