Lucia Acciai
According to our database1,
Lucia Acciai
authored at least 14 papers
between 2006 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
2012
Inf. Comput., 2012
2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
2009
Deciding Spatial and behavioral properties in the pi-calculus.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
2008
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006