Risultati della ricerca - Sanchez, Cesar

  • Mostra 1 - 17 risultati su 17
Raffina i risultati
  1. 1
    Copertina

    Embriología + electónica = embriónica Autoría: Ortega Sánchez, César A

    Pubblicazione 2002
    Fuente: SIBUMAR
    Tipo de material: Libro

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Monitoring the Future of Smart Contracts Autoría: Capretto, Margarita, Ceresa, Martin, Sanchez, Cesar

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis Autoría: Rodríguez, Andoni, Gorostiaga, Felipe, Sánchez, César

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    Unifying Asynchronous Logics for Hyperproperties Autoría: Bombardelli, Alberto, Bozzelli, Laura, Sánchez, César, Tonetta, Stefano

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    Efficient Dynamic Shielding for Parametric Safety Specifications Autoría: Corsi, Davide, Mallik, Kaushik, Rodriguez, Andoni, Sanchez, Cesar

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    Temporal Hyperproperties for Population Protocols Autoría: Waldburger, Nicolas, Weil-Kennedy, Chana, Ganty, Pierre, Sánchez, César

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    Shield Synthesis for LTL Modulo Theories Autoría: Rodriguez, Andoni, Amir, Guy, Corsi, Davide, Sanchez, Cesar, Katz, Guy

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

    Explanations for Unrealizability of Infinite-State Safety Shields Autoría: Rodriguez, Andoni, Shaik, Irfansha, Corsi, Davide, Fox, Roy, Sanchez, Cesar

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

    Fast and Secure Decentralized Optimistic Rollups Using Setchain Autoría: Capretto, Margarita, Ceresa, Martín, Anta, Antonio Fernández, Moreno-Sánchez, Pedro, Sánchez, César

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    Verification-Guided Shielding for Deep Reinforcement Learning Autoría: Corsi, Davide, Amir, Guy, Rodriguez, Andoni, Sanchez, Cesar, Katz, Guy, Fox, Roy

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

    A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus Autoría: Capretto, Margarita, Ceresa, Martín, Anta, Antonio Fernández, Moreno-Sánchez, Pedro, Sánchez, César

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

    A Secure Sequencer and Data Availability Committee for Rollups (Extended Version) Autoría: Capretto, Margarita, Ceresa, Martín, Anta, Antonio Fernández, Moreno-Sanchez, Pedro, Sánchez, César

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

    Setchain Algorithms for Blockchain Scalability Autoría: Karmegam, Arivarasan, Bianchi, Gabina Luz, Capretto, Margarita, Ceresa, Martín, Anta, Antonio Fernández, Sánchez, César

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

    Realizable Continuous-Space Shields for Safe Reinforcement Learning Autoría: Kim, Kyungmin, Corsi, Davide, Rodriguez, Andoni, Lanier, JB, Parellada, Benjami, Baldi, Pierre, Sanchez, Cesar, Fox, Roy

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

    Nest architecture and parental care in Ruddy Treerunner Margarornis rubiginosus Autoría: Sánchez, Julio E., Conejo-Barboza, Karla, Sánchez, César, Fonseca Arce, Ariel A., Tenorio, Javier, Sandoval, Luis

    Pubblicazione 2018
    Fuente: Zenodo
    Tipo de material: Recurso digital
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

    HyperQB: A Bounded Model Checker for Hyperproperties Autoría: Hsu, Tzu-Han, Rabizadeh, Milad, Rogale, Kenneth, Filippov, Fedor, Batista, Marco A. de Oliveira, Sánchez, César, Bonakdarpour, Borzoo

    Pubblicazione 2021
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

    The optical architecture of a heterogenous quantum network deployed in production facilities Autoría: Sebastián-Lombraña, Alberto, Brunner, Hans H., Rincón, David, Brito, Juan P., Méndez, Rubén B., Vicente, Rafael J., Buruaga, Jaime S., Ortiz, Laura, Rosales, José L., Fung, Chi-Hang Fred, Peev, Momtchil, Rivas-Moscoso, José M., Jiménez, Felipe, Pastor, Antonio, López, Diego R., Folgueira, Jesús, Sánchez, César, Martín, Vicente

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: