We stand with Ukraine  

Mihails Milehins

Orcid: 0009-0000-9163-8672

According to our database1, Mihails Milehins authored at least 10 papers between 2021 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Incremental Collision Laws Based on the Bouc-Wen Model: External Forces and Corner Cases.
[BibTeX]
[DOI]
Mihails Milehins
,
Dan B. Marghitu
CoRR, July, 2025

2024
The Bouc-Wen Model for Binary Direct Collinear Collisions of Convex Viscoplastic Bodies.
[BibTeX]
[DOI]
Mihails Milehins
,
Dan B. Marghitu
CoRR, 2024

2022
An extension of the framework types-to-sets for Isabelle/HOL.
[BibTeX]
[DOI]
Mihails Milehins
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021
Extension of Types-To-Sets.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021

IDE: Introduction, Destruction, Elimination.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021

Conditional Transfer Rule.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021

Conditional Simplification.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021

Category Theory for ZFC in HOL III: Universal Constructions.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021

Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021

Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories.
[BibTeX]
[DOI]
Mihails Milehins
Arch. Formal Proofs, 2021


  Loading...