Elena Ratto
According to our database1,
Elena Ratto
authored at least 8 papers
between 1991 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
Int. J. Softw. Eng. Knowl. Eng., 1996
Proceedings of the High-Performance Computing and Networking, 1996
1994
Specifying industrial real-time systems in a logical framework.
Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994
1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Dealing with Time Granularity in the Event Calculus.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
1991
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems.
Real Time Syst., 1991
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991