Concepedia

Sebastian Müller

SM

6

Publications

185

Citations

6

H-Index

2001

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Centrale Marseille

Sebastian Müller is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceVerificationAutomated ReasoningBlockchainData SecurityFormal MethodsSatisfiabilityProof ComplexityDistributed Systems

Publications per year

2001–2023

6

Publications

6

Tangle 2.0 Leaderless Nakamoto Consensus on the Heaviest DAG

Sebastian Müller, Andreas Penzkofer, Nikita Polyanskii et al. · IEEE Access · 2022 · 57 citations · Full text

Blockchain, Heaviest Dag, Blockchain Consensus Protocol +14

Proof systems that take advice

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller · Information and Computation · 2010 · 39 citations

Engineering, Automated Reasoning, Verification +7

Distributed constraint optimization for medical appointment scheduling

Markus Hannebauer, Sebastian Müller · 2001 · 34 citations

Mathematical Programming, Constraint Optimization, Engineering +7

Short propositional refutations for dense random 3CNF formulas

Sebastian Müller, Iddo Tzameret · Annals of Pure and Applied Logic · 2014 · 31 citations

Engineering, Automated Reasoning, Propositional Logic +3

Robustness and efficiency of leaderless probabilistic consensus protocols within Byzantine infrastructures

Angelo Capossele, Sebastian Müller, Andreas Penzkofer · arXiv (Cornell University) · 2019 · 13 citations · Full text

Rows per page

1–5 of 6