Fonte dei dati: Archivio della Ricerca
http://art.torvergata.it
- Valentini, F., Di Giacobbe, M., Bertuccini, L., Iosi, F., Krasojevic, K., Calcaterra, A., et al. (2021). Chemical interactions and ecotoxicity effects between graphene oxide and Lemna gibba. FULLERENES, NANOTUBES AND CARBON NANOSTRUCTURES, 29(9), 746-753 [10.1080/1536383X.2021.1891046]. Dettagli
- Valentini, F., Calcaterra, A., Antonaroli, S., & Talamo, M. (2018). Smart portable devices suitable for Cultural Heritage: a Review. SENSORS. Dettagli
- Valentini, F., Mari, E., Zicari, A., Calcaterra, A., Talamo, M., Scioli, M.G., et al. (2018). Metal free graphene oxide (GO) nanosheets and pristine-singlewall carbon nanotubes (p-SWCNTs) biocompatibility investigation: A comparative study in different human cell lines. INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES [10.3390/ijms19051316]. Dettagli
- Bicchieri, M., Valentini, F., Pascalicchio, F., Riccardi, M.l., Colaizzi, P., Del Re, C., et al. (2018). The solution to an unresolved problem: Newly synthesised nanocollagen for the preservation of leather. JOURNAL OF CULTURAL HERITAGE, 33, 1-9 [10.1016/j.culher.2018.03.002]. Dettagli
- Valentini, F., Bicchieri, M., Calcaterra, A., & Talamo, M. (2017). Raman, X-Ray Fluorescence Spectroscopies and Graphene Oxide Modified Screen Printed Electrodes to Identify the Pigments and Earth Present in Ancient Leather Samples. ELECTROANALYSIS, 29(12), 2873-2881 [10.1002/elan.201700457]. Dettagli
- Valentini, F., Ciambella, E., Cataldo, F., Calcaterra, A., Menegatti, L., & Talamo, M. (2017). Fullerene Black Modified Screen Printed Electrodes for the Quantification of Acetaminophen and Guanine. ELECTROANALYSIS, 29(12), 2863-2872 [10.1002/elan.201700426]. Dettagli
- Bicchieri, M., Valentini, F., Calcaterra, A., & Talamo, M. (2017). Newly Developed Nano-Calcium Carbonate and Nano-Calcium Propanoate for the Deacidification of Library and Archival Materials. JOURNAL OF ANALYTICAL METHODS IN CHEMISTRY, 2017 [10.1155/2017/2372789]. Dettagli
- Chiaravalloti, A., Schunck, C., Sørensen, T.F., Thestrup, J., Rosengren, P., Pellicano, C., et al. (2017). PICASO: a personalised integrated care platform. Paper presented at 13th National Congress of the Italian Association of Nuclear Medicine and Molecular Imaging (AIMN), Rimini (Italy), 2–5 March 2017. Dettagli
- D'Iddio, A., Schunck, C., Arcieri, F., & Talamo, M. (2017). Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information. In Proceedings - International Carnahan Conference on Security Technology (pp.1-7). Institute of Electrical and Electronics Engineers Inc. [10.1109/CCST.2016.7815703]. Dettagli
- Ramachandran, S., Dimitri, A., Galinium, M., Tahir, M., Ananth, I.v., Schunck, C., et al. (2017). Understanding and granting android permissions: A user survey. In 2017 INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST) (pp.1-6). IEEE [10.1109/CCST.2017.8167834]. Dettagli
- Roozbehani, M., Povilionis, A., Schunck, C., & Talamo, M. (2017). On the Fragility of Network Security Verification in Rare-Observation Regimes. Paper presented at The 20th World Congress of the International Federation of Automatic Control [10.1016/j.ifacol.2017.08.188]. Dettagli
- Talamo, M., Arcieri, F., Schunck, C., & Dimitri, A. (2016). Risk Evaluation and Forecasting Causal Relationships. Dettagli
- Talamo, M., Arcieri, F., Schunck, C., & Povilionis, A. (2016). STRING SEARCH AND MATCHING FOR GATE FUNCTIONALITY. Dettagli
- Talamo, M., Arcieri, F., & Schunck, C. (2016). STRING SEARCH AND MATCHING FOR GATE FUNCTIONALITY. Dettagli
- D'Iddio, A., Schunck, C., Arcieri, F., & Talamo, M. (2016). Online and offline conformance checking of inter-organizational business processes with incomplete process logs. In 2016 IEEE International Carnahan Conference on Security Technology (ICCST) (pp.1-8). Institute of Electrical and Electronics Engineers Inc. [10.1109/CCST.2016.7815702]. Dettagli
- Fantana, A., Ramachandran, S., Schunck, C., & Talamo, M. (2016). Movement based biometric authentication with smartphones. In Proceedings - International Carnahan Conference on Security Technology (pp.235-239). Institute of Electrical and Electronics Engineers Inc. [10.1109/CCST.2015.7389688]. Dettagli
- Huehnlein, D., Rossnagel, H., Schunck, C., & Talamo, M. (a cura di). (2016). Preface. Gesellschaft fur Informatik (GI). Dettagli
- Talamo, M., Povilionis, A., Arcieri, F., & Schunck, C. (2016). Providing online operational support for distributed, security sensitive electronic business processes. In Proceedings - International Carnahan Conference on Security Technology (pp.49-54). Institute of Electrical and Electronics Engineers Inc. [10.1109/CCST.2015.7389656]. Dettagli
- Talamo, M., Arcieri, F., & Schunck, C. (2015). ADAPTIVE SYSTEM PROFILE. Dettagli
- Kubach, M., Leitold, H., Rossnagel, H., Schunck, C., & Talamo, M. (2015). SSEDIC.2020 on Mobile eID. In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) (pp.29-41). Gesellschaft fur Informatik (GI). Dettagli
- Moroni, A., Talamo, M., & Dimitri, A. (2015). Adoption factors of NFC mobile proximity payments in Italy. In MobileHCI 2015 - Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services (pp.393-399). Association for Computing Machinery, Inc [10.1145/2785830.2785874]. Dettagli
- Talamo, M., Ramachandran, S., Barchiesi, M., Merella, D., & Schunck, C. (2014). Towards a seamless digital Europe: The SSEDIC recommendations on digital identity management. Paper presented at Open Identity Summit 2014, Stuttgart; Germany. Dettagli
- Talamo, M., Barchiesi, M.l., Merella, D., & Schunck, C. (2014). Global convergence in digital identity and attribute management: Emerging needs for standardization. In Proceedings of the 2014 ITU Kaleidoscope Academic Conference: Living in a Converged World - Impossible Without Standards?, K 2014 (pp.15-21). IEEE Computer Society [10.1109/Kaleidoscope.2014.6858475]. Dettagli
- Talamo, M., Arcieri, F., Schunck, C., & D'Iddio, A.C. (2013). Conformance checking of electronic business processes to secure distributed transactions. In The 47th Annual international Carnahan conference on security technology (pp.119-126) [10.1109/CCST.2013.6922056]. Dettagli
- Talamo, M., Arcieri, F., Schunck, C., & D'Iddio, A.C. (2013). Providing context-based security for inter-organizational electronic business processes. In Communications and Network Security (CNS), 2013 IEEE Conference on (pp.393-394). IEEE [10.1109/CNS.2013.6682744]. Dettagli
- Talamo, M., Callia D'Iddio, A., Schunck, C., & Arcieri, F. (2013). Coping with incomplete information in Real Time Scheduling Verification. INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND INFORMATICS, 7(1), 1-13. Dettagli
- Talamo, M., Galinium, M., Schunck, C., & Arcieri, F. (2013). Simulation based verification of concurrent processing on security devices. In SYS CON 2013: 7th Annual IEEE International systems conference: proceedings (pp.82-87). IEEE [10.1109/SysCon.2013.6549863]. Dettagli
10.1109/SysCon.2013.6549863
- Citazione
- Talamo, M., Galinium, M., Schunck, C., & Arcieri, F. (2013). Simulation based verification of concurrent processing on security devices. In SYS CON 2013: 7th Annual IEEE International systems conference: proceedings (pp.82-87). IEEE [10.1109/SysCon.2013.6549863].
- Data
- 2013
- id
- PUBBLICAZIONE_221883
- Tipologia
- Intervento a convegno
- SSD
- Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
- metadata4
- Despite the increased use of smartcards in many areas of everyday life the secure interoperability of these devices still remains a significant challenge. Common Criteria certification ensures the secure operation of a particular smartcard in a specific and closed environment and does not explicitly consider potential problems in more open environments where different types of smartcards and their corresponding applications are present at the same time. Since both the range of smartcard applications and the issuing manufacturers continue to grow, the interoperability of smartcards cannot be satisfactorily addressed in an isolated testing and certification environment. Ideally, one should be able to certify that adding a new type of smartcard and a new smartcard application to a such environment is safe without interoperability problems. To conduct this research, we focus on digital signature applications on Common Criteria certified smartcards. We investigated the vulnerabilities of smartcards in such open environments and possible ways to identify and eliminate those using Model Checking approaches. Here we simulate the interaction of many smartcards which interact with their applications via a common middleware. Each smartcard is assumed to execute a Straight Line Program which consists of a series of states or nodes connected by transitions (no loops). We discuss how these results can be taken into account in the design of new types of middleware which can identify and suppress anomalous transitions. These results will help to design systems that support multiple smartcards types and applications simultaneously and securely. © 2013 IEEE.
- Tutti gli Autori
- Simulation based verification of concurrent processing on security devices
- tipologia
- Talamo, M; Galinium, M; Schunck, C; Arcieri, F
- van der Aalst, W., Adriansyah, A., de Medeiros, A., Arcieri, F., Baier, T., Blickle, T., et al. (2012). Process Mining Manifesto. In Business Process Management Workshops (pp.169-194). Springer [10.1007/978-3-642-28108-2_19]. Dettagli
- Talamo, M., & Schunck, C.H. (2012). Re-Thinking the evaluation of eID credentials to simplify interoperability. EUROPEAN JOURNAL OF EPRACTICE(14), 51-62. Dettagli
- Talamo, M., Callia D'Iddio, A., Schunck, C., & Arcieri, F. (2012). Real time scheduling verification with incomplete information. In American-Math'12/CEA'12: proceedings of the 6th WSEAS international conference on computer engineering and applications, and proceedings of the 2012 American conference on applied mathematics (pp.336-344). World Scientific and Engineering Academy and Society (WSEAS). Dettagli
- Talamo, M., Galinium, M., Schunck, C., & Arcieri, F. (2012). Interleaving commands: a threat to the interoperability of smartcard based security. INTERNATIONAL JOURNAL OF COMPUTERS AND COMMUNICATIONS, 6(1), 76-83. Dettagli
- Talamo, M., Galinium, M., Schunck, C., & Arcieri, F. (2012). State space blow-up in the verification of secure smartcard interoperability. In Security Technology (ICCST), 2012 IEEE International Carnahan Conference on (pp.119-125). IEEE [10.1109/CCST.2012.6393546]. Dettagli
- Talamo, M., Galinium, M., Schunck, C.H., & Arcieri, F. (2012). Secure messaging implementation in OpenSC. JOURNAL OF INFORMATION SECURITY, 3(4), 251-258. Dettagli
- Talamo, M., Arcieri, F., Marinelli, G.M., & Schunck, C. (2011). Secure user credential control. Dettagli
- Talamo, M., Arcieri, F., Marinelli, G.M., & Schunck, C. (2011). Secure user credential control. Dettagli
- Talamo, M. (2011). Future Video Delivery: Competition and coopetition between broadcasters, Telcos and Internet Players. Paper presented at Global Forum, Washington, USA. Dettagli
- Talamo, M. (2011). e-ID: rights and Responsabilities. Paper presented at Identity Management for E-Services, Roma. Dettagli
- Talamo, M., Arcieri, F., Marinelli, G.M., & Schunck, C.H. (2011). The Italian eID Solution. In The Italian eID Solution (pp. 140-153). Erlangen : Publicis. Dettagli
- Talamo, M., Galinium, M., Schunck, C., & Arcieri, F. (2011). Interleaving command sequences: a threat to secure smartcard interoperability. In Recent researches in computational intelligence and information security: proceedings of the 10th WSEAS International Conference on computational intelligence, man-machine systems and cybernetics
(CIMMACS '11) (pp.102-107). WSEAS Press. Dettagli
- Talamo, M., Arcieri, F., Schunck, C., & Galinium, M. (2010). Secure Smartcard Interoperability: the interleaving command sequence problem. In Secure S (pp.39-43). Changzhou : Qingyuan Zhou. Dettagli
- Talamo, M., Arcieri, F., Marinelli, G.M., & Merella, D. (2010). System and method for improving reliability of distributed electronic transactions. Dettagli
- Arcieri, Franco (Rome, I., Maurizio (Rome, I., Guido (Rome, I., & Daniela (Rome, I. (2009). System and method for improving reliability of distributed electronic transactions. Dettagli
- Talamo, M., Bonazzoli, S., Dimitri, A., Ortuso, M., & Verde, L. (2009). Modelli di cooperazione e reti sociali: metodi e strumenti di progetto. In Modelli di cooperazione e reti sociali: metodi e strumenti di progetto. Roma : Aracne editrice. Dettagli
- Talamo, M., Gambosi, G., Aversa, A., & Bonazzoli, S. (2009). Automatic building up documents taxonomy through metadata analysis. In Archiving 2009 (pp.160-163). Arlington, VA : Society for Imaging Science and Technology. Dettagli
- Talamo, M., Marinelli, G.M., Aversa, A., & Moceri, S. (2009). Long Term Preservation and Certification. Civil Status in Digital Environment. In Archiving 2009 (pp.82-85). Arlington, VA : Archiving 2009. Dettagli
- Pastura, M.G., Porzio, A., Talamo, M., Aversa, A., Guercio, M., Massella Ducci Teri, E., et al. (2009). Conservazione a lungo termine e certificazione. Lo stato civile in ambiente digitale. In A.P. Maria Grazia Pastura (a cura di), Conservazione a lungo termine e certificazione. Lo stato civile in ambiente digitale. Gangemi Editore. Dettagli
- Talamo, M., & Aversa, A. (2009). Idee e prospettive di ricerca. Dal vincolo archivistico al vincolo di integrità.. In M. Talamo, M.G. Pastura, & A. Porzio (a cura di), Conservazione a lungo termine e certificazione. Lo stato civile in ambiente digitale. (pp. 195-211). Roma : Gangemi Editore. Dettagli
- Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B., & Magazzeni, D. (2008). Robustness and Interoperability Problems in Security Devices. Paper presented at 4th International Conferences on Information Security and Cryptology Inscrypt 2008, Beijing, China. Dettagli
- Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B., & Magazzeni, D. (2008). Verifying extended criteria for the interoperability of security devices. In ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PT II, PROCEEDINGS (pp.1131-1139). BERLIN : SPRINGER-VERLAG BERLIN. Dettagli
- Talamo, M., Batini, C., Cappadozzi, E., & Mecella, M. (2008). Cooperative Architectures
The Italian Way Along e-Government. In Cooperative Architectures The Italian Way Along e-Government. Springer US. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G. (2006). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2006). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2006). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2006). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2006). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Arcieri, F., Ciclosi, M., Dimitri, A., Fioravanti, F., Nardelli, E., & Talamo, M. (2005). The Italian electronic identity card: Overall architecture and IT infrastructure. In Certification and Security in Inter-Organizational E-Services (pp.5-18). NEW YORK : SPRINGER. Dettagli
- Arcieri, F., Dimitri, A., Fioravanti, F., Nardelli, E., Pallucca, K., Postiglione, A., et al. (2005). An Infrastructural approach to secure interoperability of electronic IDs: the bridging backbone. In EGOV'05 Proceedings of the 4th International Conference on Electronic Government (pp. 291-299). Berlin / Heidelberg : Springer [10.1007/11545156_28]. Dettagli
- Arcieri, F., Fioravanti, F., Nardelli, E., & Talamo, M. (2005). Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. In Proceedings of the 3rd International Conference: Electronic Government (pp.250-255). Berlin / Heidelberg : Springer. Dettagli
- NARDELLI, E., Posadziejewski, S., & Talamo, M. (a cura di). (2005). Certification and Security in Inter-Organizational E-Services. Springer. Dettagli
- Talamo, M., Arcieri, F., Marinelli, G.M., & Merella, D. (2004). System and method for improving reliability of distributed electronic transactions. Dettagli
- Talamo, M., Arcieri, F., Marinelli, G.M., & Merella, D. (2004). System and method for improving reliability of distributed electronic transactions. Dettagli
- Arcieri, F., Ciclosi, M., Fioravanti, F., Nardelli, E., & Talamo, M. (2004). The Italian Electronic Identity Card: a short introduction. Paper presented at 2004 annual national conference on Digital government research. Dettagli
- Arcieri, F., Ciclosi, M., Fioravanti, F., Nardelli, E., & Talamo, M. (2004). The Italian Electronic Identity Card: a short introduction. Paper presented at 5th National Conference on Digital Government Research (DG.O'04), Seattle, Washington, USA. Dettagli
- Arcieri, F., Fioravanti, F., Nardelli, E., & Talamo, M. (2004). A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. In Proceedings of the 14th International Workshop on Research Issues in Data Engineering: Web Services for E-Commerce and E-Government Applications (pp.95-102). IEEE Computer Society [10.1109/RIDE.2004.1281708]. Dettagli
- Arcieri, F., Fioravanti, F., Nardelli, E., & Talamo, M. (2004). A Specification for Security Services on Computational Grids. In Grid Services Engineering and Management, Proceedings (pp.237-274). Berlin / Heidelberg : Springer [10.1007/978-3-540-30190-5_9]. Dettagli
- Arcieri, F., Fioravanti, F., Giaccio, R., Nardelli, E., & Talamo, M. (2003). Certifying performance of cooperative services in a digital government framework. In 2003 SYMPOSIUM ON APPLICATIONS AND THE INTERNET, PROCEEDINGS. Dettagli
- Arcieri, F., Fioravanti, F., Nardelli, E., & Talamo, M. (2003). Inter-Organizational E-Services Accounting Management on Computational Grids. Paper presented at 3rd IFIP Conference on E-Commerce, E-Business, E-Government: Digital Government in a Networked Society (I3E'03), Guaraja, Sao Paolo, Brasil. Dettagli
- Nardelli, E., Posadziejewski, S., & Talamo, M. (a cura di). (2003). Certification and Security in E-Services: From E-Government to E-Business. Springer. Dettagli
- Talamo, M. (2003). E-Government Services: Certification and Security. In M. Talamo (a cura di), E-Government Services: Certification and Security. Kluwer Academic Publisher. Dettagli
- Talamo, M. (2003). E-government services: certification and security. In Certification and security in e-services: from e-government to e-business. Kluwer. Dettagli
- Arcieri, F., Cappadozzi, E., Naggar, P., Nardelli, E., & Talamo, M. (2002). Coherence maintainance in cooperative information systems: the access key warehouse approach. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 11(1-2), 175-200. Dettagli
- Arcieri, F., Melideo, G., Nardelli, E., & Talamo, M. (2002). A reference architecture for the certification of e-services in a digital government infrastructure. DISTRIBUTED AND PARALLEL DATABASES, 12, 217-234 [10.1023/A:1016555202639]. Dettagli
- Arcieri, F., Melideo, G., Nardelli, E., & Talamo, M. (2002). Experiences and issues in the realization of e-government services. Paper presented at 12th Int. Workshop on Research Issue on Data Engineering: Engineering E-Commerce/E-Business Systems (RIDE'02), California, USA. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2001). Apparatus for control and certification of the delivery of goods object electronic commerce and for the cocurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2001). An apparatus for control and certification of the delivery of goods and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (2001). Network access control device through fast recognition of application frames. Dettagli
- Arcieri, F., Cappadozzi, E., Melideo, G., Nardelli, E., & Talamo, M. (2001). A Formal Model for Inter-Organizational Data
Coherence Maintenance. Paper presented at International Workshop on Foundations of Models for Information Integration, Viterbo, Italia. Dettagli
- Arcieri, F., Cappadozzi, E., Nardelli, E., & Talamo, M. (2001). Distributed territorial data management and exchange for public organizations. Paper presented at International workshop on advaced issued of e-commerce and web-based information systems, San Jose, California, USA. Dettagli
- Arcieri, F., Cappadozzi, E., Nardelli, E., & Talamo, M. (2001). SIM: A Working Example of an E-government Service Infrastructure for Mountain Communities. Paper presented at 12th International Workshop on Database and Expert Systems Applications, Munich; Germany. Dettagli
- Arcieri, F., Giaccio, R., Nardelli, E., & Talamo, M. (2001). A framework for inter-organizational public administration network services. Paper presented at International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila (Italia). Dettagli
- Arcieri, F., Melideo, G., Nardelli, E., & Talamo, M. (2001). Keeping coherence among web sources. Paper presented at 3rd International Workshop on Web Information and Data Management, Atlanta, Georgia, USA. Dettagli
- Arcieri, F., Melideo, G., Nardelli, E., & Talamo, M. (2001). On the dynamics of an infrastructural approach supporting coherence maintenance for inter-organizational collaboration. Paper presented at International Symposium on Business Strategy Based Software Engineering, Gersau, Switzerland. Dettagli
- Ariceri, F., Cappadozzi, E., Nardelli, E., & Talamo, M. (2001). Geographical information systems interoperability through distributed territorial data exchange. Paper presented at First International Workshop on Databases, Documents, and Information Fusion, Magdeburg, Germany. Dettagli
- Talamo, M. (2001). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., & Vocca, P. (2001). Representing graphs implicitly using almost optimal space. In Discrete Applied Mathematics (pp.193-210). AMSTERDAM : ELSEVIER SCIENCE BV [10.1016/S0166-218X(00)00225-0]. Dettagli
- Gambosi, G., Postiglione, A., & Talamo, M. (2000). Algorithms for the relaxed online bin-packing model. SIAM JOURNAL ON COMPUTING, 30(5), 1532-1551. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, M., & Marinelli, F. (1999). Apparatus and method for monitoring and interpretation of application protocols for network data transmission systems. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). APPARATUS FOR CONTROL AND CERTIFICATION OF THE DELIVERY OF GOODS OBJECT OF ELECTRONIC COMMERCE AND FOR THE CONCURRENT CONTROL AND CERTIFICATION OF THE EXECUTION OF THE RELATED PAYMENT. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus for control and certification of delievery of goods object of electronic commerce and for concurrent control and certification of executionof the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus for control and certification of the delivery of goods object electronic commerce and for the cocurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus for control and certification of the delivery of goods object electronic commerce and for the cocurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus for control and certification of the delivery of goods object electronic commerce and for the cocurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Apparatus for control and certification of the delivery of goods object of electronic commerce and for the concurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). NETWORK ACCESS CONTROL DEVICE THROUGH FAST RECOGNITION OF APPLICATION FRAMES. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1999). Network access control device through fast recognition of application frames. Dettagli
- Arcieri, F., Cammini, C., Nardelli, E., Talamo, M., & Vanza, A. (1999). The Italian Cadastral Information System: A Real-Life Spatio-Temporal DBMS. Paper presented at International Workshop STDBM’99, Edinburgh, Scotland, UK [10.1007/3-540-48344-6_5]. Dettagli
- Arcieri, F., Cappadozzi, E., Naggar, P., Nardelli, E., & Talamo, M. (1999). Access Keys Warehouse: A New Approach to the Development of Cooperative Information Systems. Paper presented at 4th International Conference on Cooperative Information Systems (CoopIS'99), Edinbirgh, UK. Dettagli
- Arcieri, F., Conia, G., Nardelli, E., & Talamo, M. (1999). SICC: An Exchange System for Cadastral Information. Paper presented at 6th International Symposium on Advances in Spatial Databases, Hong Kong, China. Dettagli
- Cafferata, R., & Talamo, M. (1999). Cambiamento tecnologico e riorganizzazione delle amministrazioni pubbliche. In R. Cafferata, & M. Talamo (a cura di), Pubblica amministrazione, strategie organizzative e processi di informatizzazione (pp. 9-28). Milano : Franco Angeli. Dettagli
- Cafferata, R., & Talamo, M. (1999). Pubblica amministrazione, strategie organizzative e processi di informatizzazione. Milano : Franco Angeli. Dettagli
- Nardelli, E., Talamo, M., & Vocca, P. (1999). Efficient searching for multi-dimensional data made simple. In ALGORITHMS - ESA'99 (pp.339-353). BERLIN : SPRINGER-VERLAG BERLIN. Dettagli
- Reverberi, P., & Talamo, M. (1999). Probabilistic model for interactive decision-making. DECISION SUPPORT SYSTEMS, 25(4), 289-308 [10.1016/S0167-9236(99)00013-5]. Dettagli
- Talamo, M., & Vocca, P. (1999). Efficient data structure for lattice operations. SIAM JOURNAL ON COMPUTING, 28(5), 1783-1805 [10.1137/S0097539794274404]. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus for control and certification of the delivery of goods object electronic commerce and for the cocurrent control and certification of the execution of the related payment. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Network access control device through fast recognition of application frames. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). APPARATUS AND METHOD FOR MONITORING AND INTERPRETATION OF APPLICATION PROTOCOLS FOR NETWORK DATA TRANSMISSION SYSTEMS. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission systems. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Apparatus and method for monitoring and interpretation of application protocols for network data transmission systems. Dettagli
- Talamo, M., Arcieri, F., & Marinelli, G.M. (1998). Appts. and method for monitoring and interpretation of application protocols for network data transmission systems. Dettagli
- Talamo, M., & Vocca, P. (1998). Compact implicit representation of graphs (extended abstract). In GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE (pp.164-176). BERLIN : SPRINGER-VERLAG BERLIN. Dettagli
- Talamo, M., Marinelli, G.M., & Arcieri, F. (1997). Apparatus and method for monitoring and interpretation of application protocols for network data transmission system. Dettagli
- Coppa F, Nardelli E, & Talamo, M. (1997). A formal model for the discrete representation of spatial objects. Paper presented at ACM symposium on Applied Computing (SAC). Dettagli
- Gambosi, G., Protasi, M., & Talamo, M. (1997). Preserving approximation in the Min-Weighted Set Cover Problem. DISCRETE APPLIED MATHEMATICS, 73(1), 13-22. Dettagli
- Talamo, M., & Vocca, P. (1997). A data structure for lattice representation. In Theoretical Computer Science (pp.373-392). AMSTERDAM : ELSEVIER SCIENCE BV. Dettagli
- Gambosi, G., Protasi, M., & Talamo, M. (1993). An efficient implicit data structure for relation testing and searching in partially ordered sets. BIT, 33(1), 29-45 [10.1007/BF01990341]. Dettagli
- Gambosi, G., Protasi, M., & Talamo, M. (1989). AN EFFICIENT IMPLICIT DATA STRUCTURE FOR PATH TESTING AND SEARCHING IN ROOTED TREES AND FORESTS, 405, 252-266 [10.1007/3-540-52048-1_48]. Dettagli
- Protasi, M., & Talamo, M. (1989). On the number of arithmetical operations for finding Fibonacci numbers. THEORETICAL COMPUTER SCIENCE, 64(1), 119-124 [10.1016/0304-3975(89)90102-3]. Dettagli