Nija Shi

According to our database1, Nija Shi authored at least 5 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Formal Requirements Elicitation with FRET.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

2014
IKOS: A Framework for Static Analysis Based on Abstract Interpretation.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2012
User-Driven Collaboration for NASA Mission Control.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2006
Reverse Engineering of Design Patterns from Java Source Code.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2002
Improving the Performance of Distributed CORBA Applications.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002


  Loading...