Gil Utard
Orcid: 0000-0003-3081-6185
  According to our database1,
  Gil Utard
  authored at least 34 papers
  between 1994 and 2025.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2025
    CoRR, September, 2025
    
  
DAPIS: A Secure Proxy Re-encryption Protocol for Delegated Authentication and Privacy Management.
    
  
    Proceedings of the 12th IFIP International Conference on New Technologies, 2025
    
  
    Proceedings of the Engineering Applications of Neural Networks, 2025
    
  
  2023
  2017
    Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017
    
  
  2011
    Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
    
  
  2008
    Proceedings of the Data Management in Grid and Peer-to-Peer Systems, 2008
    
  
  2007
    Proceedings of the Advances in Grid and Pervasive Computing, 2007
    
  
  2005
    J. Autom. Reason., 2005
    
  
    Int. J. High Perform. Comput. Netw., 2005
    
  
Data distribution for failure correlation management in a Peer to Peer storage system.
    
  
    Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005
    
  
    Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
    
  
  2004
    Parallel Comput., 2004
    
  
    Proceedings of the 18th Annual International Conference on Supercomputing, 2004
    
  
  2003
    Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
    
  
    Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
    
  
  2002
    Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002
    
  
    Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
    
  
  2001
    Electron. Notes Discret. Math., 2001
    
  
    Proceedings of the Euro-Par 2001: Parallel Processing, 2001
    
  
  2000
    Proceedings of the High Performance Computing, 2000
    
  
    Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000
    
  
  1999
    Proceedings of the International Workshop on Cluster Computing (IWCC '99), 1999
    
  
    Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999
    
  
  1998
    Proceedings of the High-Performance Computing and Networking, 1998
    
  
  1997
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
    
  
    Theor. Comput. Sci., 1997
    
  
  1996
    Proceedings of the Data Parallel Programming Model: Foundations, 1996
    
  
  1995
  1994
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
    
  
    Proceedings of the Parallel Processing: CONPAR 94, 1994
    
  
A Proofe System for a Simple Data-Parallel Programming Language.
  
    Proceedings of the Applications in Parallel and Distributed Computing, 1994