Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Violetta Sim
Observed names:
Sim, Violetta,
V. M. Sim
Institution:
Innopolis University
Observed institution:
Innopolis University
ORCID:
0009-0003-3261-9473
Observed ORCID:
0009-0003-3261-9473
OpenAlex ID:
A5069369240
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
2022
·
Nikolai Kudasov
, Violetta Sim
·
Formal Techniques for Java-like Programs
·
8
PDF
Mathematical Modeling of the Transient Processes in the Blood Flow Along a Vessel at the Presence of Circular Clot
2023
·
I. V. Konyukhov
, V. M. Konyukhov
, et al.
·
Lobachevskii Journal of Mathematics
·
2
Rzk: a Proof Assistant for Synthetic $\infty$-Categories
2026
·
Kudasov, Nikolai
, Sim, Violetta
, et al.
·
arXiv (Cornell University)
PDF
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
2022
·
Korbashov, Vitaliy
, Kudasov, Nikolai
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
4
Citation count:
10
H-index:
2
I10-index:
Year
Topic
Type
