Mihails Milehins

11 papers B 1Journal 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Asymptotic Behavior of an Unforced Duhem-Type Hysteretic Oscillator. CoRR Mihails Milehins, Dan B. Marghitu
2025	J	`jnl`	Incremental Collision Laws Based on the Bouc-Wen Model: External Forces and Corner Cases. CoRR Mihails Milehins, Dan B. Marghitu
2024	J	`jnl`	The Bouc-Wen Model for Binary Direct Collinear Collisions of Convex Viscoplastic Bodies. CoRR Mihails Milehins, Dan B. Marghitu
2022	B	`conf`	An extension of the framework types-to-sets for Isabelle/HOL. CPP Mihails Milehins
2021	J	`jnl`	Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories. Arch. Formal Proofs Mihails Milehins
2021	J	`jnl`	Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories. Arch. Formal Proofs Mihails Milehins
2021	J	`jnl`	Category Theory for ZFC in HOL III: Universal Constructions. Arch. Formal Proofs Mihails Milehins
2021	J	`jnl`	Conditional Simplification. Arch. Formal Proofs Mihails Milehins
2021	J	`jnl`	Conditional Transfer Rule. Arch. Formal Proofs Mihails Milehins
2021	J	`jnl`	Extension of Types-To-Sets. Arch. Formal Proofs Mihails Milehins
2021	J	`jnl`	IDE: Introduction, Destruction, Elimination. Arch. Formal Proofs Mihails Milehins