Sfoglia per Titolo
Bounded cohomology classes of exact forms
2024-01-01 Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio
Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds
2016-01-01 De Pellegrini, Francesco; Massaro, Antonio; Goratti, Leonardo; Azouzi, E. R.
Bounded Model Checking
2003-01-01 Armin, Biere; Cimatti, Alessandro; E. M., Clarke; Ofer, Strichman; Yunshan, Zhu
Bounded Model Checking for past LTL
2003-01-01 Benedetti, Marco; Cimatti, Alessandro
Bounded Model Checking for Timed Systems
2002-01-01 Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Bounded model checking of software using SMT solvers instead of SAT solvers
2009-01-01 Armando, Alessandro; J., Mantovani; L., Platania
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
2006-01-01 Armando, Alessandro; Mantovani, J.; Platania, L.
Bounded Model Property for Multi-Context Systems
2004-01-01 Roelofsen, Floris
Bounded Verification of Past LTL
2004-01-01 Cimatti, Alessandro; Roveri, Marco; D., Sheridan
Bounded-Resource Reasoning as (Strong or Classical) Planning
2009-01-01 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Bowling Alone and Trust Decline in Social Network Sites
2009-01-01 Massa, Paolo; M., Salvetti; D., Tomasoni
Bozen im Messenetz Europas (17.-19. Jahrhundert) / Bolzano nel sistema fieristico europeo (secc. XVII-XIX
2007-01-01 Andrea, Bonoldi; Markus, Denzel
BPMN 2.0 Choreography Language: Interface or Business Contract?
2017-01-01 Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco
BPMN Visual Rule Language for Business Process Aspectization
2011-01-01 Ghidini, Chiara; Di Francescomarino, Chiara; Rospocher, Marco; Tonella, Paolo; Serafini, Luciano
Braccia italiane al servizio del Reich. L’emigrazione dei fremdarbeiter italiani nella Germania nazista (1937-1943)
2017-01-01 Caramel, Niccolò
Brain Connectivity Analysis by Reduction to Pair Classification
2010-01-01 Olivetti, Emanuele; Veeramachaneni, Sriharsha; Greiner, Susanne; Avesani, Paolo
Brain decoding via graph kernels
2013-01-01 Vega Pons, Sandro; Avesani, Paolo
Brain Decoding: Biases in Error Estimation
2010-01-01 Olivetti, Emanuele; Mognon, Andrea; Greiner, Susanne; Avesani, Paolo
BRAINSUP: Brainstorming Support for Creative Sentence Generation
2013-01-01 Özbal, Gözde; Pighin, Daniele; Strapparava, Carlo
A Branch Structure Model in Dense Lidar Data for Confier Classification
2017-01-01 Harikumar, A.; Bovolo, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bounded cohomology classes of exact forms | 1-gen-2024 | Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio | |
Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds | 1-gen-2016 | De Pellegrini, Francesco; Massaro, Antonio; Goratti, Leonardo; Azouzi, E. R. | |
Bounded Model Checking | 1-gen-2003 | Armin, Biere; Cimatti, Alessandro; E. M., Clarke; Ofer, Strichman; Yunshan, Zhu | |
Bounded Model Checking for past LTL | 1-gen-2003 | Benedetti, Marco; Cimatti, Alessandro | |
Bounded Model Checking for Timed Systems | 1-gen-2002 | Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
Bounded model checking of software using SMT solvers instead of SAT solvers | 1-gen-2009 | Armando, Alessandro; J., Mantovani; L., Platania | |
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers | 1-gen-2006 | Armando, Alessandro; Mantovani, J.; Platania, L. | |
Bounded Model Property for Multi-Context Systems | 1-gen-2004 | Roelofsen, Floris | |
Bounded Verification of Past LTL | 1-gen-2004 | Cimatti, Alessandro; Roveri, Marco; D., Sheridan | |
Bounded-Resource Reasoning as (Strong or Classical) Planning | 1-gen-2009 | Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan | |
Bowling Alone and Trust Decline in Social Network Sites | 1-gen-2009 | Massa, Paolo; M., Salvetti; D., Tomasoni | |
Bozen im Messenetz Europas (17.-19. Jahrhundert) / Bolzano nel sistema fieristico europeo (secc. XVII-XIX | 1-gen-2007 | Andrea, Bonoldi; Markus, Denzel | |
BPMN 2.0 Choreography Language: Interface or Business Contract? | 1-gen-2017 | Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco | |
BPMN Visual Rule Language for Business Process Aspectization | 1-gen-2011 | Ghidini, Chiara; Di Francescomarino, Chiara; Rospocher, Marco; Tonella, Paolo; Serafini, Luciano | |
Braccia italiane al servizio del Reich. L’emigrazione dei fremdarbeiter italiani nella Germania nazista (1937-1943) | 1-gen-2017 | Caramel, Niccolò | |
Brain Connectivity Analysis by Reduction to Pair Classification | 1-gen-2010 | Olivetti, Emanuele; Veeramachaneni, Sriharsha; Greiner, Susanne; Avesani, Paolo | |
Brain decoding via graph kernels | 1-gen-2013 | Vega Pons, Sandro; Avesani, Paolo | |
Brain Decoding: Biases in Error Estimation | 1-gen-2010 | Olivetti, Emanuele; Mognon, Andrea; Greiner, Susanne; Avesani, Paolo | |
BRAINSUP: Brainstorming Support for Creative Sentence Generation | 1-gen-2013 | Özbal, Gözde; Pighin, Daniele; Strapparava, Carlo | |
A Branch Structure Model in Dense Lidar Data for Confier Classification | 1-gen-2017 | Harikumar, A.; Bovolo, F. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile