Julian Siber

Orcid: 0000-0003-0842-0029

According to our database¹, Julian Siber authored at least 10 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

NeuRes: Learning Proofs of Propositional Satisfiability.

[BibT_eX]

[DOI]

CoRR, 2024

Counterfactual Explanations for MITL Violations.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Felix Jahn

Julian Siber

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

Synthesis of Temporal Causality.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Counterfactuals Modulo Temporal Logics.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Julian Siber

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Checking and Sketching Causes on Temporal Sequences.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Formal Specifications from Natural Language.

[BibT_eX]

[DOI]

CoRR, 2022

Attention Flows for General Transformers.

[BibT_eX]

[DOI]

CoRR, 2022

Explaining Hyperproperty Violations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Causality-Based Game Solving.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Julian Siber

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...