Nicolas Manini - Google Scholar

Get my own profile

Cited by

	All	Since 2020
Citations	2	2
h-index	1	1
i10-index	0	0

0

2

1

2022202320241 1

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Francesco RanzatoProfessor of Computer Science, University of Padova, ItalyVerified email at math.unipd.it
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Roberta GoriUniversita' di PisaVerified email at di.unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it

Nicolas Manini

Nicolas Manini

IMDEA Software Institute

Verified email at imdea.org - Homepage

Software Verification Abstract Interpretation Automata Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computing Reachable Simulations P Ganty, N Manini, F Ranzato arXiv preprint arXiv:2204.11804, 2022	2*	2022
Computing Reachable Simulations on Transition Systems P Ganty, N Manini, F Ranzato International Conference on Reachability Problems, 21-37, 2024		2024
Deciding Program Properties via Complete Abstractions on Bounded Domains R Bruni, R Gori, N Manini International Static Analysis Symposium, 175-200, 2022		2022
Deciding program properties via complete abstractions on bounded domains N Manini University of Pisa, 2021		2021

The system can't perform the operation now. Try again later.

Articles 1–4