Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Mihai Nicola
Observed name:
Nicola, Mihai
Institution:
Stevens Institute of Technology
Observed institution:
Stevens Institute of Technology
ORCID:
0000-0003-0204-1626
Observed ORCID:
0000-0003-0204-1626
OpenAlex ID:
A5091945012
Better Predicates and Heuristics for Improved Commutativity Synthesis
2023
·
Adam Chen
, Parisa Fathololumi
, et al.
·
Lecture notes in computer science
·
2
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
2025
·
Mihai Nicola
, Chaitanya Agarwal
, et al.
·
Proceedings of the ACM on Programming Languages
·
1
PDF
Predicting Bot Vulnerability from Posting Trajectories: Censored Functional Regression under Informative Sampling
2026
·
Koerner, Jake
, Staicu, Ana-Maria
, et al.
·
arXiv (Cornell University)
PDF
Artifact for paper: Automating Induction-Reduction for Concurrent Object Proofs
2026
·
Nicola, Mihai
, Enea, Constantin
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
8
Citation count:
4
H-index:
1
I10-index:
Year
Topic
Type
