We stand with Ukraine  

Benjamin Puyobro

According to our database1, Benjamin Puyobro authored at least 7 papers in 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series.
[BibTeX]
[DOI]
Benjamin Puyobro
,
Benoît Ballenghien
,
Burkhart Wolff
Arch. Formal Proofs, 2025

Morley's Theorem.
[BibTeX]
[DOI]
Benjamin Puyobro
Arch. Formal Proofs, 2025

Ultrametric Structure for Restriction Spaces.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Benjamin Puyobro
,
Burkhart Wolff
Arch. Formal Proofs, 2025

Examples of Restriction Spaces.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Benjamin Puyobro
,
Burkhart Wolff
Arch. Formal Proofs, 2025

Restriction Spaces: a Fixed-Point Theory.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Benjamin Puyobro
,
Burkhart Wolff
Arch. Formal Proofs, 2025

Definition and Elementary Properties of Ultrametric Spaces.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Benjamin Puyobro
,
Burkhart Wolff
Arch. Formal Proofs, 2025

Polychronous RSS in a Process-Algebraic Framework - A Case Study.
[BibTeX]
[DOI]
Paolo Crisafulli
,
Adrien Durier
,
Benjamin Puyobro
,
Burkhart Wolff
Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025


  Loading...