Manuel Peralta

According to our database1, Manuel Peralta authored at least 7 papers between 2008 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Reasoning about security in sensor networks.
Concurr. Comput. Pract. Exp., 2015

2013
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation.
International Journal of Software Engineering and Knowledge Engineering, 2013

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.
Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

2011
Counterfactually reasoning about security.
Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Code-Change Impact Analysis Using Counterfactuals.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009
Automatic Synthesis and Deployment of Intensional Kahn Process Networks.
Proceedings of the Grid and Distributed Computing, 2009

2008
Cognitive Distributed Networks in Environmental e-Science.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008


  Loading...