Concepedia

Author

Nicolás Ricci

Consejo Nacional de Investigaciones Científicas y Técnicas

Also Known As

Nicolas Ricci, Nicolás Ricci, Ricci, Nicolás

9

Publications

39

Citations

3

H-Index

11

Concepts

All Affiliations

Consejo Nacional de Investigaciones Científicas y Técnicas
NR

About

Nicolás Ricci is an author at Consejo Nacional de Investigaciones Científicas y Técnicas specializing in formal methods, automated reasoning, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

23

2

Computer Science

1

1

23

3

Systems Engineering

1

1

23

4

Design

1

1

23

5

Software Engineering

1

1

23

Nicolás Ricci

×

1

Publications

23

Citations

1

H-Index

YearCitations

Goal-conflict detection based on temporal satisfiability checking

Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh,

2016

23

Page 1