Sebastiaan Jozef Christiaan Joosten

dr.ir.

20172018
If you made any changes in Pure these will be visible here soon.

Research Output 2017 2018

Filter
Conference contribution
2018

A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

Divasón, J., Joosten, S. J. C., Thiemann, R. & Yamada, A. Jul 2018 16th International Workshop on Termination: WST 2018, July 18-19. 2018, Oxford, UK. Lucas, S. (ed.). p. 30-34 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper)

Divasón, J., Joosten, S., Kuncar, O., Thiemann, R. & Yamada, A. 2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. p. 2-13 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2017
3 Citations

A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A. 2017 CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 17-29 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Factorization
Polynomials
Experiments

Certifying safety and termination proofs for integer transition systems

Brockschmidt, M., Joosten, S. J. C., Thiemann, R. & Yamada, A. 2017 Automated Deduction - CADE 26 International Conference on Automated Deduction: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017. Proceedings. de Moura, L. (ed.). Cham: Springer, p. 454-471 18 p. (Lecture Notes in Artificial Intelligence; vol. 10395)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Computer systems
Formal languages
1 Citations

Parsing and Printing of and with Triples

Joosten, S. J. C. 2017 Relational and algebraic methods in computer science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017. Proceedings. Höfner, P., Pous, D. & Struth, G. (eds.). Cham: Springer, p. 159-176 18 p. (Lecture Notes in Computer Science; vol. 10226)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Context free grammars
XML
Printing