Search

Your search keyword '"Spoto A"' showing total 85 results
Start Over Author "Spoto A" Publisher springer berlin heidelberg
85 results on '"Spoto A"'

5. On-Chain Smart Contract Verification over Tendermint

Author

Olivieri, Luca, Spoto, Fausto, Tagliaferro, Fabio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bernhard, Matthew, editor, Bracciali, Andrea, editor, Gudgeon, Lewis, editor, Haines, Thomas, editor, Klages-Mundt, Ariah, editor, Matsuo, Shin'ichiro, editor, Perez, Daniel, editor, Sala, Massimiliano, editor, and Werner, Sam, editor

Published
2021
Full Text
View/download PDF

7. HALFMOON TomoTherapy (Helical ALtered Fractionation for iMplant partial OmissiON): implant-sparing post-mastectomy radiotherapy reshaping the clinical target volume in the reconstructed breast

Author

Leonardi, Maria Cristina, Spoto, Ruggero, Miglietta, Eleonora, Trivellato, Sara, La Rocca, Eliana, Luraschi, Rosa, Grosso, Paola, De Lorenzi, Francesca, Fodor, Cristiana, Dicuonzo, Samantha, Dell’Acqua, Veronica, Gerardi, Marianna Alessandra, Morra, Anna, Francia, Claudia Maria, Rietjens, Mario, Galimberti, Viviana Enrica, Veronesi, Paolo, Orecchia, Roberto, Cattani, Federica, and Jereczek-Fossa, Barbara Alicja

Published
2019
Full Text
View/download PDF

8. The Julia Static Analyzer for Java

Author

Spoto, Fausto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rival, Xavier, editor

Published
2016
Full Text
View/download PDF

9. Boolean Formulas for the Static Identification of Injection Attacks in Java

Author

Ernst, Michael D., Lovato, Alberto, Macedonio, Damiano, Spiridon, Ciprian, Spoto, Fausto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Davis, Martin, editor, Fehnker, Ansgar, editor, McIver, Annabelle, editor, and Voronkov, Andrei, editor

Published
2015
Full Text
View/download PDF

13. Definite Expression Aliasing Analysis for Java Bytecode

Author

Nikolić, Đurica, Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Roychoudhury, Abhik, editor, and D’Souza, Meenakshi, editor

Published
2012
Full Text
View/download PDF

14. Reachability Analysis of Program Variables

Author

Nikolić, Đurica, Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Gramlich, Bernhard, editor, Miller, Dale, editor, and Sattler, Uli, editor

Published
2012
Full Text
View/download PDF

15. Automaton-Based Array Initialization Analysis

Author

Nikolić, Đurica, Spoto, Fausto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dediu, Adrian-Horia, editor, and Martín-Vide, Carlos, editor

Published
2012
Full Text
View/download PDF

16. Static Analysis of Android Programs

Author

Payet, Étienne, Spoto, Fausto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Bjørner, Nikolaj, editor, and Sofronie-Stokkermans, Viorica, editor

Published
2011
Full Text
View/download PDF

17. The Nullness Analyser of julia

Author

Spoto, Fausto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Clarke, Edmund M., editor, and Voronkov, Andrei, editor

Published
2010
Full Text
View/download PDF

19. Magic-Sets Transformation for the Analysis of Java Bytecode

Author

Payet, Étienne, Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Nielson, Hanne Riis, editor, and Filé, Gilberto, editor

Published
2007
Full Text
View/download PDF

20. Unveiling the Structure: Effects of Social Feedback on Communication Activity in Online Multiplayer Videogames

Author

Gamberini, Luciano, Martino, Francesco, Scarpetta, Fabiola, Spoto, Andrea, Spagnolli, Anna, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Schuler, Douglas, editor

Published
2007
Full Text
View/download PDF

21. Embedded Persuasive Strategies to Obtain Visitors’ Data: Comparing Reward and Reciprocity in an Amateur, Knowledge-Based Website

Author

Gamberini, Luciano, Petrucci, Giovanni, Spoto, Andrea, Spagnolli, Anna, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Kort, Yvonne, editor, IJsselsteijn, Wijnand, editor, Midden, Cees, editor, Eggen, Berry, editor, and Fogg, B. J., editor

Published
2007
Full Text
View/download PDF

22. Objective Outcome Evaluation of Breast Surgery

Author

Farinella, Giovanni Maria, Impoco, Gaetano, Gallo, Giovanni, Spoto, Salvatore, Catanuto, Giuseppe, Nava, Maurizio B., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Larsen, Rasmus, editor, Nielsen, Mads, editor, and Sporring, Jon, editor

Published
2006
Full Text
View/download PDF

23. Detecting Non-cyclicity by Abstract Compilation into Boolean Functions

Author

Rossignoli, Stefano, Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Emerson, E. Allen, editor, and Namjoshi, Kedar S., editor

Published
2006
Full Text
View/download PDF

25. Information Flow Is Linear Refinement of Constancy

Author

Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Van Hung, Dang, editor, and Wirsing, Martin, editor

Published
2005
Full Text
View/download PDF

26. Pair-Sharing Analysis of Object-Oriented Programs

Author

Secci, Stefano, Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hankin, Chris, editor, and Siveroni, Igor, editor

Published
2005
Full Text
View/download PDF

27. Information Flow Analysis for Java Bytecode

Author

Genaim, Samir, Spoto, Fausto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Cousot, Radhia, editor

Published
2005
Full Text
View/download PDF

28. Component-Based Software: An Overview of Testing

Author

Vincenzi, Auri Marcelo Rizzo, Maldonado, José Carlos, Delamaro, Márcio Eduardo, Spoto, Edmundo Sérgio, Wong, W. Eric, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Cechich, Alejandra, editor, Piattini, Mario, editor, and Vallecillo, Antonio, editor

Published
2003
Full Text
View/download PDF

31. A Foundation of Escape Analysis*

Author

Hill, Patricia M., Spoto, Fausto, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Kirchner, Hélène, editor, and Ringeissen, Christophe, editor

Published
2002
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results