Giulio Garbi

According to our database1, Giulio Garbi authored at least 6 papers between 2017 and 2020.

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

2020
A distributed API for coordinating AbC programs.
Int. J. Softw. Tools Technol. Transf., 2020

Learning Queuing Networks by Recurrent Neural Networks.
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

2018
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms.
Trans. Petri Nets Other Model. Concurr., 2018

<i>G</i>o<i>A</i>t: Attribute-Based Interaction in Google Go.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A Distributed Coordination Infrastructure for Attribute-Based Interaction.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017
Decision Diagrams for Petri Nets: Which Variable Ordering?
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017


  Loading...