Publications
Publications 2024
F. Tassone, L. Maiano, I. Amerini, Continuous fake media detection: adapting deepfake detectors to new generative techniques, Computer Vision and Image Understanding (CVIU) 2024.
MATTEO ZARAMELLA,XINGQUAN ZHU,IRENE AMERINI, Enhancing Manatee Aggregation Counting through Augmentation and Cross-Domain Learning, IEEE Access 2024.
Beste Ustubioglu, Gul Tahaoglu, Arda Ustubioglu, Guzin Ulutas, Irene Amerini and Muhammed Kilic, Multi pattern features based spoofing detection mechanism using one class learning, IEEEAccess 2024.
L. Papa, P. Russo, I. Amerini and L. Zhou, "A Survey on Efficient Vision Transformers: Algorithms, Techniques, and Performance Benchmarking," in IEEE Transactions on Pattern Analysis and Machine Intelligence 2024, doi: 10.1109/TPAMI.2024.3392941
Lorenzo Papa, Paolo Russo, Irene Amerini D4D: An RGBD diffusion model to boost monocular depth estimation, IEEE Transactions on Circuits and Systems for Video Technology 2024.
L. Maiano et.al, Human vs machine: a comparative analysis in detecting AI-generated images, IEEE Security and Privacy, 2024
Giorgio Leporoni, Luca Maiano, Lorenzo Papa, Irene Amerini, A Guided-Based Approach for Deepfake Detection: RGB-Depth Integration via Features Fusion, Pattern Recognition Letters 2024
Asha S, Vinod P, Irene Amerini and Varun G Menon, "D-Fence: A Deepfake Detection Framework using Audio-Video-Textual Features", Multimedia Tools and Applications, 2024
C. Melis Tonti, L. Papa, I. Amerini, “Lightweight 3D Convolutional Occupancym Networks for virtual object reconstruction”, IEEE Computer Graphics and Applications, 2024
T.M.Wani, S.A.A.Qadri, D. Cominiello and I. Amerini. “ Detecting Audio Deepfakes: Integrating CNN and BiLSTM with Multi-Feature Concatenation.” In Proceedings of the 2024 ACM Workshop on Information Hiding and Multimedia Security. Jun 24-26, Baiona, Spain.
Taiba, M.W., Reeva, G., & Irene, A., (2024). ABC-CapsNet: Attention based Cascaded Capsule Network for Audio Deepfake Detection. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops.
Francesco Pro, Nikolaos Dionelis, Luca Maiano, Irene Amerini, and Bertrand Le Saux. A Semantic Segmentation-Guided Approach For Ground-To-Aerial Image Matching. IGARSS, 2024.
Francesco Pro, Nikolaos Dionelis, Luca Maiano, Irene Amerini, and Bertrand Le Saux, LEARNING FROM UNLABELLED DATA WITH TRANSFORMERS: DOMAIN ADAPTATION FOR SEMANTIC SEGMENTATION OF HIGH RESOLUTION AERIAL IMAGES, IGARSS 2024.
L. Mongelli, L. Maiano, I. Amerini, CMDD: A novel multimodal two-stream CNN deepfake detector, ROMCIR Workshop at ECIR 2024.
Publications 2023
Amerini, Irene ; Rocha, Anderson ; Rosin, Paul L. ; Sun, Xianfang, Weitere Beteiligte (Hrsg. etc.): Irene Amerini and Anderson Rocha and Paul L. Rosin and Xianfang Sun, “Media Forensics and the Challenge of Big Data (Dagstuhl Seminar 23021)” https://doi.org/10.4230/DagRep.13.1.1
Luca Maiano, Antonio Montuschi, Marta Caserio, Egon Ferri, Federico Kieffer, Chiara Germanò, Lorenzo Baiocco, Lorenzo Ricciardi Celsi, Irene Amerini, Aris Anagnostopoulos, “A deep-learning–based antifraud system for car-insurance claims”, Expert Systems with Applications, Volume 231, 2023, 120644, ISSN 0957-4174, https://doi.org/10.1016/j.eswa.2023.120644.
Lorenzo Papa, Paolo Russo, Irene Amerini, METER: a mobile vision transformer architecture for monocular depth estimation, IEEE Transactions on Circuits and Systems for Video Technology 2023.
Lorenzo Papa, Gabriele Proietti Mattia, Paolo Russo, Irene Amerini, Roberto Beraldi, “Lightweight and energy-aware monocular depth estimation models for IoT embedded devices: challenges and performances in terrestrial and underwater scenarios”, Sensors 2023.
Schiavella Claudio, Cirillo Lorenzo, Papa Lorenzo, Russo Paolo, and Amerini Irene, “Optimize Vision Transformer architecture via efficient attention modules: a study on the monocular depth estimation task,” International Conference on Image Analysis and Processing Workshop (ICIAP-W), 2023.
Muhammad Imran, Hassaan Khaliq Qureshi, Irene Amerini, “BHAC-MRI: Backdoor & Hybrid Attacks on MRI Brain Tumor Classification Using CNN”, ICIAP 2023
Taiba Majid, Irene Amerini, "Deepfakes Audio Detection leveraging audio spectrogram and Convolutional Neural Networks", ICIAP 2023
T.S. Bonaventura, L.Maiano, L.Papa, I. Amerini, An Automated Ground-to-Aerial Viewpoint Localization for Content Verification, 2023 24th International Conference on Digital Signal Processing, June 2023
L. Papa, L. Faiella, L. Corvitto, L. Maiano, I. Amerini, “On the use of Stable Diffusion for creating realistic faces: from generation to detection”, 11th International Workshop on Biometrics and Forensics IWBF 2023, April 2023
F. Sanguigni, C. Mikolaj, L. Papa, I. Amerini, and B. Le Saux “Diffusion models for earth observation use-cases: from cloud removal to urban change detection,” Big Data from Space 2023.
Matteo Zaramella, Irene Amerini, and Paolo Russo. 2023. Why Don't You Speak?: A Smartphone Application to Engage Museum Visitors Through Deepfakes Creation. In Proceedings of the 5th Workshop on analySis, Understanding and proMotion of heritAge Contents (SUMAC '23). Association for Computing Machinery, New York, NY, USA, 29–37. https://doi.org/10.1145/3607542.3617359
Federico Siciliano, Luca Maiano, Lorenzo Papa, Federica Baccini, Irene Amerini, Fabrizio Silvestri, Adversarial Data Poisoning for Fake News Detection: How to Make a Model Misclassify a Target News without Modifying It. ECML-PKDD Workshops, 2023
G. Proietti Mattia, R. Beraldi (2023). Lifespan and energy-oriented load balancing algorithms across sets of nodes in Green Edge Computing. 2023 IEEE Cloud Summit.
G. Proietti Mattia, A. Pietrabissa, R. Beraldi (2023). A Load Balancing Algorithm for Equalising Latency across Fog or Edge Computing Nodes. IEEE Transactions on Services Computing
G. Proietti Mattia, R. Beraldi (2023). P2PFaaS: A framework for FaaS peer-to-peer scheduling and load balancing in Fog and Edge computing. SoftwareX.
Publications 2022
L. Papa, E. Alati, P. Russo and I. Amerini, “SPEED: Separable Pyramidal pooling EncodEr-Decoder for real-time Monocular Depth Estimation on low-resource settings”, IEEE Access 2022
Alati, E.; Caracciolo, C.A.; Costa, M.; Sanzari , M.; Russo, P.; Amerini, I. aRTIC GAN: A Recursive Text-Image-Conditioned GAN. Electronics 2022, 11, 1737. https://doi.org/10.3390/electronics11111737
Gianmarco Baldini and Irene Amerini, “Online Distributed Denial of Service (DDoS) intrusion detection based on adaptive sliding window and morphological fractal dimension”, Computer Networks 2022
Irene Amerini, Gianmarco Baldini and Francesco Leotta (Eds.), ”Image and Video Forensics”, ISBN 978-3-0365-2806-9 (Hbk); ISBN 978-3-0365-2807-6 (PDF), January 2022 (This book is a printed edition of the Special Issue Image and Video Forensics that was published in J. Imaging).
L. Papa, P. Russo, I. Amerini, “Real-time monocular depth estimation on embedded devices: challenges and performances in terrestrial and underwater scenarios”, 2022 IEEE International Workshop on Metrology for the Sea.
L. Maiano, L. Papa, K. Vocaj and I. Amerini, “DepthFake: a depth-based strategy for detecting Deepfake videos”, AI4MFDD workshop ICPR 2022.
G. Abbate, I. Amerini and R. Caldelli, “Image Watermarking Backdoor Attacks in CNN-based classification tasks”, AI4MFDD workshop ICPR 2022
I. Amerini, M. Conti, P. Giacomazzi, L. Pajola, “PRaNA: PRNU-based Technique to Tell Real and Deepfake Videos Apart”, IJCNN at IEEE WCCI 2022.
G. Baldini, I. Amerini, "Microphone Identification based on Spectral Entropy with Convolutional Neural Network", WIFS 2022.
G. Proietti Mattia, M. Magnani, R. Beraldi (2022). A latency-levelling load balancing algorithm for Fog and Edge Computing. 25th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’22).
R. Beraldi, G. Proietti Mattia (2022). On off-grid green solar panel supplied edge computing. 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS) (IEEE MASS 2022).
G. Maiorano, G. Proietti Mattia, R. Beraldi (2022). Local and remote fog based trade-offs for QOE in VR applications by using CloudXR and Oculus air link. International Conference on Edge Computing and Applications (ICECAA 2022).
G. Proietti Mattia, R. Beraldi (2022). On real-time scheduling in Fog computing: A Reinforcement Learning algorithm with application to smart cities. 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops).
R. Beraldi, C. Canali, R. Lancellotti, G. Proietti Mattia (2022). On the impact of stale information on distributed online load balancing protocols for edge computing. Computer Networks.
Publications 2021
Russo, Paolo; Di Ciaccio, Fabiana; Troisi, Salvatore; DANAE++: A Smart Approach for Denoising Underwater Attitude Estimation, Sensors (2021)
Russo, Paolo; Ticca, Salvatore; Alati, Edoardo; Pirri, Fiora; Learning to see through a few pixels: Multi Streams Network for extreme low-resolution action recognition. IEEE Access (2021)
Maiano, L.; Amerini, I.; Ricciardi Celsi, L.; Anagnostopoulos, A. Identification of Social-Media Platform of Videos through the Use of Shared Features. J. Imaging 2021, 7, 140. https://doi.org/10.3390/jimaging7080140
Irene Amerini, Aris Anagnostopoulos, Luca Maiano and Lorenzo Ricciardi Celsi (2021), "Deep Learning for Multimedia Forensics", Foundations and Trends® in Computer Graphics and Vision: Vol. 12: No. 4, pp 309-457. http://dx.doi.org/10.1561/0600000096
R. Caldelli, L. Galteri; I. Amerini; A. Del Bimbo, “Optical Flow based CNN for detection of unlearnt deepfake manipulations”, Pattern Recognition Letters 2021
C. Pasquini, I. Amerini, G. Boato, "Media Forensics on Social Media Platforms: a Survey" EURASIP Journal on Information Security, 2021
G. Baldini, J. L. Hernández Ramos, I. Amerini, “Intrusion detection based on gray-level co-occurrence matrix and 2D Dispersion Entropy”, Journal of Applied Sciences 2021
I.Amerini, A. Anagnostopoulos, L. Maiano, L. R. Celsi, “Learning double-compression video fingerprints left from social media platforms”, ICASSP 2021.
G. Proietti Mattia, R. Beraldi (2021). Leveraging Reinforcement Learning for online scheduling of real-time tasks in the Edge/Fog-to-Cloud computing continuum. 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA).
G. Proietti Mattia, R. Beraldi (2021). A study on real-time image processing applications with edge computing support for mobile devices. 2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT).
T. Alawsi, G. Proietti Mattia, Z. Al-Bawi, R. Beraldi (2021). Smartphone-based colorimetric sensor application for measuring biochemical material concentration. Sensing and Bio-Sensing Research.
G. Proietti Mattia, R. Beraldi (2021). Towards Testbed as-a-Service: design and implementation of an unattended SoC cluster. 2021 International Conference on Computer Communications and Networks (ICCCN).
Publications 2020
Exploiting prediction error inconsistencies through LSTM-based classifiers to detect deepfake videos
Amerini, Irene; Caldelli, Roberto;
Proceedings of the 2020 ACM Workshop on Information Hiding and Multimedia Security (2020)
IEEE Access Special Section: Digital Forensics Through Multimedia Source Inference
Amerini, Irene; Li, Chang-Tsun; Memon, Nasir; Huang, Jiwu;
IEEE Access (2020)
An Evaluation of Entropy Measures for Microphone Identification
Baldini, Gianmarco; Amerini, Irene;
Entropy (2020)
DANAE: a denoising autoencoder for underwater attitude estimation
Paolo Russo, Fabiana Di Ciaccio, Salvatore Troisi;
2020 IMEKO TC-19 International Workshop on Metrology for the Sea (2020)
On bibliometrics in academic promotions: a case study in computer science and engineering in Italy
Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea; Schaerf, Marco;
Scientometrics (2020)
Are Italian research assessment exercises size-biased?
Demetrescu, Camil; Ribichini, Andrea; Schaerf, Marco;
Scientometrics (2020)
Power of random choices made efficient for fog computing
Beraldi, Roberto; Proietti Mattia, Gabriele;
IEEE Transactions on Cloud Computing (2020)
A Random Walk based Load Balancing Algorithm for Fog Computing
Beraldi, Roberto; Canali, Claudia; Lancellotti, Riccardo; Proietti Mattia, Gabriele;
(2020)
Distributed load balancing for heterogeneous fog computing infrastructures in smart cities
Beraldi, Roberto; Canali, Claudia; Lancellotti, Riccardo; Proietti Mattia, Gabriele;
Pervasive and Mobile Computing (2020)
Randomized load balancing under loosely correlated state information in fog computing
Beraldi, Roberto; Canali, Claudia; Lancellotti, Riccardo; Proietti Mattia, Gabriele;
Proceedings of the 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (2020)
Publications 2019
Social network identification through image classification with CNN
Amerini, Irene; Li, Chang-Tsun; Caldelli, Roberto;
IEEE access (2019)
Deepfake video detection through optical flow based cnn
Amerini, Irene; Galteri, Leonardo; Caldelli, Roberto; Del Bimbo, Alberto;
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops (2019)
WiCV 2019: The Sixth Women In Computer Vision Workshop
Amerini, Irene; Balashova, Elena; Ebrahimi, Sayna; Leonard, Kathryn; Nagrani, Arsha; Salvador, Amaia;
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (2019)
Special issue on deep learning in image and video forensics
Caldelli, Roberto; Chaumont, Marc; Li, Chang Tsun; Amerini, Irene;
Signal Processing: Image Communication (2019)
Tracking multiple image sharing on social networks
Phan, Quoc-Tin; Boato, Giulia; Caldelli, Roberto; Amerini, Irene;
ICASSP 2019-2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (2019)
Microphone identification using convolutional neural networks
Baldini, Gianmarco; Amerini, Irene; Gentile, Claudio;
IEEE Sensors Letters (2019)
Smartphones identification through the built-in microphones with Convolutional Neural Network
Baldini, Gianmarco; Amerini, Irene;
IEEE Access (2019)
Towards multi-source adaptive semantic segmentation
Russo, Paolo; Tommasi, Tatiana; Caputo, Barbara;
International Conference on Image Analysis and Processing (2019)
Hallucinating Agnostic Images to Generalize Across Domains.
Carlucci, Fabio Maria; Russo, Paolo; Tommasi, Tatiana; Caputo, Barbara;
ICCV Workshops (2019)
Broadening Deep Learning horizons: models for RGB and Depth images adaptation
Russo, Paolo;
(2019)
On the Shapley value and its application to the Italian VQR research assessment exercise
Demetrescu, Camil; Lupia, Francesco; Mendicelli, Angelo; Ribichini, Andrea; Scarcello, Francesco; Schaerf, Marco;
Journal of Informetrics (2019)
Expressing the Tacit Knowledge of a Digital Library System as Linked Data
Di Iorio, Angela; Schaerf, Marco;
Computers (2019)
Autonomous Flight of a Quadrocopter Group with the Use of the Virtual Leader Strategy
Samoilov, Philipp; Caucasus, North; Vinokursky, Dmitry; Schaerf, Marco; Mecella, Massimo;
CEUR Workshop Proceedings (2019)
Anticipating Next Goal for Robot Plan Prediction
Alati, Edoardo; Mauro, Lorenzo; Ntouskos, Valsamis; Pirri, Fiora;
Proceedings of SAI Intelligent Systems Conference (2019)
Help by Predicting What to Do
Alati, Edoardo; Mauro, Lorenzo; Ntouskos, Valsamis; Pirri, Fiora;
2019 IEEE International Conference on Image Processing (ICIP) (2019)
Anticipation and next action forecasting in video: an end-to-end model with memory
Pirri, Fiora; Mauro, Lorenzo; Alati, Edoardo; Ntouskos, Valsamis; Izadpanahkakhk, Mahdieh; Omrani, Elham;
arXiv preprint arXiv:1901.03728 (2019)
A Randomized Low Latency Resource Sharing Algorithm for Fog Computing
Beraldi, Roberto; Proietti Mattia, Gabriele;
2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (2019)
Publications 2018
PRNU-based image classification of origin social network with CNN
Caldelli, Roberto; Amerini, Irene; Li, Chang Tsun;
2018 26th European Signal Processing Conference (EUSIPCO) (2018)
DE^2CO: Deep depth colorization
Carlucci, Fabio Maria; Russo, Paolo; Caputo, Barbara;
IEEE Robotics and Automation Letters (2018)
From source to target and back: symmetric bi-directional adaptive gan
Russo, Paolo; Carlucci, Fabio M; Tommasi, Tatiana; Caputo, Barbara;
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (2018)
Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program
Lupia, Francesco; Mendicelli, Angelo; Ribichini, Andrea; Scarcello, Francesco; Schaerf, Marco;
Journal of Experimental & Theoretical Artificial Intelligence (2018)
Accuracy of author names in bibliographic data sources: An Italian case study
Demetrescu, Camil; Ribichini, Andrea; Schaerf, Marco;
Scientometrics (2018)
The adaptive control system of quadrocopter motion
Schaerf, Marco; Mecella, Massimo; Vinokursky, Dmitry; Samoilov, Filipp;
Integrating Research Agendas and Devising Joint Challenges (2018)
Addressing the tacit knowledge of a digital library system
Di Iorio, Angela; Schaerf, Marco;
Proceedings of the REMS (2018)
Addressing the Tacit Knowledge of a Digital Library System
Angela, Di Iorio; Schaerf, Marco;
Integrating Research Agendas and Devising Joint Challenges (2018)
Deep execution monitor for robot assistive tasks
Mauro, Lorenzo; Alati, Edoardo; Sanzari, Marta; Ntouskos, Valsamis; Massimiani, Gianluca; Pirri, Fiora;
Proceedings of the European Conference on Computer Vision (ECCV) (2018)
Visual search and recognition for robot task execution and monitoring
Ntouskos, Valsamis; Sanzari, Marta; Alati, Edoardo; Freda, Luigi; Pirri, Fiora;
Applications of Intelligent Systems (2018)
Previous Publications
Localization of JPEG double compression through multi-domain convolutional neural networks
Amerini, Irene; Uricchio, Tiberio; Ballan, Lamberto; Caldelli, Roberto;
2017 IEEE Conference on computer vision and pattern recognition workshops (CVPRW) (2017)
Media trustworthiness verification and event assessment through an integrated framework: a case-study
Amerini, Irene; Becarelli, Rudy; Brancati, Francesco; Caldelli, Roberto; Giunta, Gabriele; Itria, Massimiliano L;
Multimedia Tools and Applications (2017)
Dealing with video source identification in social networks
Amerini, Irene; Caldelli, Roberto; Del Mastio, Andrea; Di Fuccia, Andrea; Molinari, Cristiano; Rizzo, Anna Paola;
signal processing: Image communication (2017)
Tracing images back to their social network of origin: A CNN-based approach
Amerini, Irene; Uricchio, Tiberio; Caldelli, Roberto;
2017 IEEE Workshop on Information Forensics and Security (WIFS) (2017)
Image origin classification based on social network provenance
Caldelli, Roberto; Becarelli, Rudy; Amerini, Irene;
IEEE Transactions on Information Forensics and Security (2017)
Smartphone fingerprinting combining features of on-board sensors
Amerini, Irene; Becarelli, Rudy; Caldelli, Roberto; Melani, Alessio; Niccolai, Moreno;
IEEE Transactions on Information Forensics and Security (2017)
A deep representation for depth images from synthetic data
Carlucci, Fabio Maria; Russo, Paolo; Caputo, Barbara;
2017 IEEE International Conference on Robotics and Automation (ICRA) (2017)
Research Assessment: A Contribution to Solving the Publication Credit Allocation Problem
Schaerf, Marco;
CEUR Workshop Proceedings (2017)
Robust smartphone fingerprint by mixing device sensors features for mobile strong authentication
Amerini, Irene; Bestagini, Paolo; Bondi, Luca; Caldelli, Roberto; Casini, Matteo; Tubaro, Stefano;
Electronic Imaging (2016)
Learning the roots of visual domain shift
Tommasi, Tatiana; Lanzi, Martina; Russo, Paolo; Caputo, Barbara;
European Conference on Computer Vision (2016)
A feature-based forensic procedure for splicing forgeries detection
Amerini, Irene; Becarelli, Rudy; Caldelli, Roberto; Casini, Matteo;
Mathematical Problems in Engineering (2015)
Detection of manipulations on printed images to address crime scene analysis: A case study
Amerini, Irene; Caldelli, Roberto; Del Bimbo, Alberto; Di Fuccia, Andrea; Rizzo, Anna Paola; Saravo, Luigi;
Forensic science international (2015)
SIFT match removal and keypoint preservation through dominant orientation shift
Caldelli, Roberto; Amerini, Irene; Costanzo, Andrea;
2015 23rd European Signal Processing Conference (EUSIPCO) (2015)
On the complexity of second-best abductive explanations
Liberatore, Paolo; Schaerf, Marco;
International Journal of Approximate Reasoning (2015)
A semantic model for content description in the sapienza digital library
Di Iorio, Angela; Schaerf, Marco;
Italian Research Conference on Digital Libraries (2015)
The size of BDDs and other data structures in temporal logics model checking
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco;
IEEE Transactions on Computers (2015)
Collision detection for articulated deformable characters
Rumman, Nadine Abu; Schaerf, Marco; Bechmann, Dominique;
Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games (2015)
Clustering and collision detection for clustered shape matching
Jones, Ben; Martin, April; Levine, Joshua A; Shinar, Tamar; Bargteil, Adam W;
Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games (2015)
Blind image clustering based on the normalized cuts criterion for camera identification
Amerini, Irene; Caldelli, Roberto; Crescenzi, Pierluigi; Del Mastio, Andrea; Marino, Andrea;
Signal Processing: Image Communication (2014)
Forensic analysis of SIFT keypoint removal and injection
Costanzo, Andrea; Amerini, Irene; Caldelli, Roberto; Barni, Mauro;
IEEE transactions on information forensics and security (2014)
Exploiting perceptual quality issues in countering SIFT-based forensic methods
Amerini, Irene; Battisti, Federica; Caldelli, Roberto; Carli, Marco; Costanzo, Andrea;
2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (2014)
Acquisition source identification through a blind image classification
Amerini, Irene; Becarelli, Rudy; Bertini, Bruno; Caldelli, Roberto;
IET image processing (2014)
Copy-move forgery detection from printed images
Amerini, Irene; Caldelli, Roberto; Del Bimbo, Alberto; Di Fuccia, Andrea; Saravo, Luigi; Rizzo, Anna Paola;
Media Watermarking, Security, and Forensics 2014 (2014)
Splicing forgeries localization through the use of first digit features
Amerini, Irene; Becarelli, Rudy; Caldelli, Roberto; Del Mastio, Andrea;
2014 IEEE International Workshop on Information Forensics and Security (WIFS) (2014)
Providing Proof of Trustworthiness Reconstructing Digital Objects’ Custody Chain
Di Iorio, Angela; Schaerf, Marco;
OTM Confederated International Conferences" On the Move to Meaningful Internet Systems" (2014)
The Sapienza Digital Library from the holistic vision to the actual implementation
Catarci, Tiziana; Di Iorio, Angela; Schaerf, Marco;
Procedia Computer Science (2014)
The organization information integration in the management of a digital library system
Di Iorio, Angela; Schaerf, Marco;
IEEE/ACM Joint Conference on Digital Libraries (2014)
Identification Semantics for an Organization Establishing a Digital Library System.
Di Iorio, Angela; Schaerf, Marco;
SDA@ JCDL/TPDL (2014)
SIFT keypoint removal and injection for countering matching-based image forensics
Amerini, Irene; Barni, Mauro; Caldelli, Roberto; Costanzo, Andrea;
Proceedings of the first ACM workshop on Information hiding and multimedia security (2013)
Copy-move forgery detection and localization by means of robust clustering with J-Linkage
Irene, Amerini; Lamberto, Ballan; Roberto, Caldelli; Del Bimbo, Alberto; Del Tongo, Luca; Serra, Giuseppe;
(2013)
Removal and injection of keypoints for SIFT-based copy-move counter-forensics
Amerini, Irene; Barni, Mauro; Caldelli, Roberto; Costanzo, Andrea;
EURASIP Journal on Information Security (2013)
Counter-forensics of SIFT-based copy-move detection by means of keypoint classification
Amerini, Irene; Barni, Mauro; Caldelli, Roberto; Costanzo, Andrea;
EURASIP Journal on Image and Video Processing (2013)
Copy-move forgery detection and localization by means of robust clustering with J-Linkage
Amerini, Irene; Ballan, Lamberto; Caldelli, Roberto; Del Bimbo, Alberto; Del Tongo, Luca; Serra, Giuseppe;
Signal Processing: Image Communication (2013)
Support tools for the VQR Italian Research Assessment Exercise: the Sapienza Experience
Demetrescu, Camil; Schaerf, Marco;
(2013)
The scientific legacy of Marco Cadoli in artificial intelligence
Lenzerini, Maurizio; Schaerf, Marco;
Intelligenza Artificiale (2013)
The compilability framework
Liberatore, Paolo; Schaerf, Marco;
Intelligenza Artificiale (2013)
A digital infrastructure for trustworthiness
Di Iorio, Angela; Schaerf, Marco; Guercio, Maria; Ortolani, Silvia; Bertazzo, Matteo;
Italian Research Conference on Digital Libraries (2013)
Applicability of digital library descriptive metadata to the contemporary artworks
Di Iorio, Angela; Schaerf, Marco;
International Conference on Information Technologies for Performing Arts, Media Access, and Entertainment (2013)
On the effectiveness of local warping against SIFT-based copy-move detection
Caldelli, Roberto; Amerini, Irene; Ballan, Lamberto; Serra, Giuseppe; Barni, Mauro; Costanzo, Andrea;
2012 5th International Symposium on Communications, Control and Signal Processing (2012)
Establishing a Digital Library in wide-ranging University’s context
Di Iorio, Angela; Schaerf, Marco; Bertazzo, Matteo;
Italian Research Conference on Digital Libraries (2012)
A sift-based forensic method for copy–move attack detection and transformation recovery
Amerini, Irene; Ballan, Lamberto; Caldelli, Roberto; Del Bimbo, Alberto; Serra, Giuseppe;
IEEE transactions on information forensics and security (2011)
An analysis on attacker actions in fingerprint-copy attack in source camera identification
Caldelli, Roberto; Amerini, Irene; Novi, Andrea;
2011 IEEE International Workshop on Information Forensics and Security (2011)
An image forensics tool for copy-move detection and localization
Irene, Amerini; Lamberto, Ballan; Roberto, Caldelli; Del Bimbo, Alberto; Del Tongo, Luca; Serra, Giuseppe;
IEEE ICME (2011)
Applying uct to boolean satisfiability
Previti, Alessandro; Ramanujan, Raghuram; Schaerf, Marco; Selman, Bart;
International Conference on Theory and Applications of Satisfiability Testing (2011)
Monte-carlo style uct search for boolean satisfiability
Previti, Alessandro; Ramanujan, Raghuram; Schaerf, Marco; Selman, Bart;
Congress of the Italian Association for Artificial Intelligence (2011)
Estimate of PRNU noise based on different noise models for source camera Identification
Amerini, Irene; Caldelli, Roberto; Cappellini, Vito; Picchioni, Francesco; Piva, Alessandro;
International Journal of Digital Crime and Forensics (IJDCF) (2010)
Fast image clustering of unknown source images
Caldelli, Roberto; Amerini, Irene; Picchioni, Francesco; Innocenti, Matteo;
2010 IEEE International Workshop on Information Forensics and Security (2010)
A DVB-MHP web browser to pursue convergence between Digital Terrestrial Television and Internet
Amerini, Irene; Ballocca, Giovanni; Becarelli, Rudy; Borri, Roberto; Caldelli, Roberto; Filippini, Francesco;
Multimedia tools and applications (2010)
A DFT-based analysis to discern between camera and scanned images
Caldelli, Roberto; Amerini, Irene; Picchioni, Francesco;
International Journal of Digital Crime and Forensics (IJDCF) (2010)
Image Forensics: source identification and tampering detection
Amerini, Irene; Cappellini, Vito; Piva, Dott Ing Alessandro; Caldelli, Dott Ing Roberto; Bucci, Giacomo;
(2010)
Multimedia forensic techniques for acquisition device identification and digital image authentication
Caldell, Roberto; Amerini, Irene; Picchioni, Francesco; De Rosa, Alessia; Uccheddu, Francesca;
Handbook of Research on Computational Forensics, Digital Crime, and Investigation: Methods and Solutions (2010)
Geometric tampering estimation by means of a SIFT-based forensic analysis
Amerini, Irene; Ballan, Lamberto; Caldelli, Roberto; Del Bimbo, Alberto; Serra, Giuseppe;
2010 IEEE International Conference on Acoustics, Speech and Signal Processing (2010)
On the size of data structures used in symbolic model checking
Liberatore, Paolo; Schaerf, Marco;
arXiv preprint arXiv:1012.3018 (2010)
Multimedia forensics: Technologies for imagery investigation
Caldelli, Roberto; Amerini, Irene; Picchioni, Francesco; De Rosa, Alessia; Cappellini, Vito;
Electronic Information, the Visual Arts and Beyond (2009)
Distinguishing between camera and scanned images by means of frequency analysis
Caldelli, Roberto; Amerini, Irene; Picchioni, Francesco;
International Conference on Forensics in Telecommunications, Information, and Multimedia (2009)
Analysis of denoising filters for photo response non uniformity noise extraction in source camera identification
Amerini, Irene; Caldelli, Roberto; Cappellini, Vito; Picchioni, Francesco; Piva, Alessandro;
2009 16th International Conference on Digital Signal Processing (2009)
Integration between Digital Terrestrial Television and Internet by Means of a DVB-MHP Web Browser.
Amerini, Irene; Caldelli, Roberto; Becarelli, Rudy; Filippini, Francesco; Ballocca, Giovanni; Borri, Roberto;
WEBIST (2009)
Facial motion cloning with radial basis functions in MPEG-4 FBA
Fratarcangeli, Marco; Schaerf, Marco; Forchheimer, Robert;
Graphical Models (2007)
Compilability of propositional abduction
Liberatore, Paolo; Schaerf, Marco;
ACM Transactions on Computational Logic (TOCL) (2007)
Model checking and preprocessing
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco;
Congress of the Italian Association for Artificial Intelligence (2007)
Marco Cadoli (1965–2006)
Schaerf, Marco;
AI Communications (2007)
Animazione interattiva di personaggi 3D con dinamica basata sulle posizioni
Schaerf, Marco; Pascucci, Fiammetta; Ragnemalm, Ingemar; Fratarcangeli, Marco;
(2007)
Describing and reasoning on web services using process algebra
Salaun, Gwen; Bordeaux, Lucas; Schaerf, Marco;
International Journal of Business Process Integration and Management (2006)
Partial solutions with unique completion
Cadoli, Marco; Schaerf, Marco;
Reasoning, Action and Interaction in AI Theories and Systems (2006)
K-Approximating circuits
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
IEEE Transactions on Computers (2006)
Lecture Notes In Computer Science
Stock, O; Schaerf, M;
(2006)
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello
Stock, Oliviero; Schaerf, Marco;
(2006)
ARTIFICIAL INTELLIGENCE: 50TH ANNIVERSARY 1956-2006
Carlucci Aiello, L; Gori, M; Schaerf, M; Serra, Roberto; Stock, O; Torasso, P;
(2006)
Partial solutions with unique completion, Reasoning, Action and Interaction in AI Theories and Systems: essays dedicated to Luigia Carlucci Aiello
Cadoli, Marco; Schaerf, Marco;
(2006)
Fast facial motion cloning in mpeg-4
Fratarcangeli, Marco; Schaerf, Marco;
ISPA 2005. Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis, 2005. (2005)
The complexity of model checking for propositional default logics
Liberatore, Paolo; Schaerf, Marco;
Data & Knowledge Engineering (2005)
Facial Motion Cloning Using Global Shape Deformation.
Fratarcangeli, Marco; Schaerf, Marco;
Eurographics (Short Presentations) (2005)
The complexity of action redundancy
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco;
Congress of the Italian Association for Artificial Intelligence (2005)
The Complexity of Checking Action Redundancy
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco;
(2005)
Realistic modeling of animatable faces in MPEG-4
Fratarcangeli, Marco; Schaerf, Marco;
Computer Animation and Social Agents (2004)
The compactness of belief revision and update operators
Liberatore, Paolo; Schaerf, Marco;
Fundamenta Informaticae (2004)
Model checking, preprocessing, and BDD size
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco;
AiML-2004: Advances in Modal Logic (2004)
Describing and reasoning on web services using process algebra. Web Services
Salaun, Gwen; Bordeaux, Lucas; Schaerf, Marco;
IEEE International Conference on, 0 (2004)
An algorithm to evaluate quantified boolean formulae and its experimental evaluation
Cadoli, Marco; Schaerf, Marco; Giovanardi, Andrea; Giovanardi, Massimo;
Journal of Automated Reasoning (2002)
Preprocessing of intractable problems
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
Information and Computation (2002)
Solving QBF with SMV
Donini, Francesco M; Liberatore, Paolo; Massacci, Fabio; Schaerf, Marco;
(2002)
Atserias, Albert, 136
Bartlett, Peter L; Bender, Michael A; Bonet, Maria Luisa; Cadoli, Marco; Carton, Olivier; Donini, Francesco M; Esteban, Juan Luis; Fernández, Antonio; Fischer, Paul; Freivalds, Rusinš;
Information and Computation (2002)
Satisfiability in the Year 2000
CADOLI, MARCO; SCHAERF, MARCO; GIOVANARDI, ANDREA;
Journal of Automated Reasoning (2002)
Preprocessing of intractable problems
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
Information and Computation (2002)
Towards intelligent decision support systems for emergency managers: the IDA approach
Gadomski, Adam Maria; Bologna, Sandro; Costanzo, Giovanni Di; Perini, Anna; Schaerf, Marco;
International Journal of Risk Assessment and Management (2001)
Belief revision and update: Complexity of model checking
Liberatore, Paolo; Schaerf, Marco;
Journal of Computer and System Sciences (2001)
An approach to the intelligent decision advisor (IDA) for emergency managers
Gadomski, Adam M; Bologna, Sandro; DiCostanzo, Giovanni; Perini, Anna; Schaerf, Marco;
Int. J. Risk Assessment and Management (2001)
BReLS: A system for the integration of knowledge bases
Liberatore, Paolo; Schaerf, Marco;
(2000)
Space efficiency of propositional knowledge representation formalisms
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
Journal of Artificial Intelligence Research (2000)
Compilability of abduction
Liberatore, Paolo; Schaerf, Marco;
AAAI/IAAI (2000)
The compactness of belief revision and update operators
Liberatore, Paolo; Schaerf, Marco;
(2000)
ICARUS: Intelligent Content-Based Retrieval of 3D Scene.
Colaci, Raffaella; Schaerf, Marco;
AAAI/IAAI (2000)
An algorithm to evaluate quantified Boolean formulas and its evaluation
Cadoli, M; Schaerf, M; Giovanardi, A; Giovanardi, M;
highlights of Satisfiability Research in the Year 2000 (2000)
The size of a revised knowledge base
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
Artificial Intelligence (1999)
JubilEasy: Build a personalized 3D visit of Rome
Schaerf, Marco; Tessicini, Alessandro;
Proceedings of the fourth symposium on Virtual reality modeling language (1999)
JERRY: A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm
Cesta, Amedeo; Riccucci, P; Daniele, PM; Giunchiglia, E; Piaggio, M; Schaerf, M;
Artificial Intelligence, Robotics and Automation in Space (1999)
A system integrating high and low level planning with a 3D-visualizer
Finzi, Alberto; Pirri, Fiora; Schaerf, Marco;
Proc. 5th International Symposium on Artificial Intelligence, Robotics and Automation in Space (1999)
ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.
Domenicucci, Emilio; Donini, Francesco M; Schaerf, Marco;
Description Logics (1999)
A System Integrating High and Low Level Planning of Complex Tasks with a 3-D Visualiser
Finzi, A; Pirri, F; Schaerf, M;
Artificial Intelligence, Robotics and Automation in Space (1999)
Using Grice’s maxim of Quantity to select the content of plan descriptions (2) 215–256
Cadoli, M; Donini, FM; Liberatore, P; Schaerf, M; de Jong, H; van Raalte, F; Donini, FM; seeCadoli, M; Drakengren, T; Bjäreland, M;
Artificial Intelligence (1999)
An algorithm to evaluate quantified Boolean formulae
Cadoli, Marco; Giovanardi, Andrea; Schaerf, Marco;
AAAI/IAAI (1998)
Arbitration (or how to merge knowledge bases)
Liberatore, Paolo; Schaerf, Marco;
IEEE Transactions on Knowledge and Data Engineering (1998)
The Complexity of Model Checking for Propositional Default Logics.
Liberatore, Paolo; Schaerf, Marco;
ECAI (1998)
On compact representations of propositional circumscription
Cadoli, Marco; Donini, Francesco M; Schaerf, Marco; Silvestri, Riccardo;
Theoretical Computer Science (1997)
Reducing belief revision to circumscription (and vice versa)
Liberatore, Paolo; Schaerf, Marco;
Artificial intelligence (1997)
Experimental analysis of the computational cost of evaluating quantified boolean formulae
Cadoli, Marco; Giovanardi, Andrea; Schaerf, Maxco;
Congress of the Italian Association for Artificial Intelligence (1997)
Reducing belief revision to circumscription
Liberatore, Paolo; Schaerf, Marco;
(1997)
Is intractability of nonmonotonic reasoning a real drawback?
Cadoli, Marco; Donini, Francesco M; Schaerf, Marco;
Artificial intelligence (1996)
On the complexity of entailment in propositional multivalued logics
Cadoli, Marco; Schaerf, Marco;
Annals of Mathematics and Artificial Intelligence (1996)
The complexity of model checking for belief revision and update
Liberatore, Paolo; Schaerf, Marco;
AAAI/IAAI, Vol. 1 (1996)
Feasibility and Unfeasibility of Off-Line Processing.
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
ISTCS (1996)
Comparing space efficiency of propositional knowledge representation formalisms
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
(1996)
Experimental analysis of the computational cost of satisfiability checking in logics for commonsense reasoning
Cadoli, Marco; Giovanardi, Andrea; Giunchiglia, Enrico; Giunchiglia, Fausto; Schaerf, Marco; Sebastiani, Roberto;
(1996)
S. Kambhampati, S. Katukam and Yong Qu, Failure driven dynamic search control for partial order planners: an explanation based approach
Cadoli, M; Donini, EM; Schaerf, M;
Artificial Intelligence (1996)
Timetabling at Southern African Tertiary Institutions
Schaerf, A; Schaerf, M; Schreuder, JAM; Visscher, AJ; Thizy, JM;
Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, UK, August 29-Septmber 1, 1995: Selected Papers (1996)
Tractable reasoning via approximation
Schaerf, Marco; Cadoli, Marco;
Artificial Intelligence (1995)
Arbitration: A Commutative Operator for Belief Revision.
Liberatore, Paolo; Schaerf, Marco;
WOCFAI (1995)
Approximate inference in default logic and circumscription
Cadoli, Marco; Schaerf, Marco;
Fundamenta Informaticae (1995)
The size of a revised knowledge base
Cadoli, Marco; Donini, Francesco M; Liberatore, Paolo; Schaerf, Marco;
Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1995)
On compact representations of propositional circumscription
Cadoli, Marco; Donini, Francesco M; Schaerf, Marco;
Annual Symposium on Theoretical Aspects of Computer Science (1995)
Relating belief revision and circumscription
Liberatore, Paolo; Schaerf, Marco;
IJCAI (1995)
Negation and minimality in disjunctive databases
Schaerf, Marco;
The Journal of logic programming (1995)
Modal and meta languages: consistency and expressiveness
Aiello, Luigia Carlucci; Cialdea, Marta; Nardi, Daniele; Schaerf, Marco;
Metalogics and logic programming (1995)
Modal and meta languages: consistency and expressiveness, Meta-logics and logic programming
Aiello, Luigia Carlucci; Cialdea, Marta; Nardi, Daniele; Schaerf, Marco;
(1995)
Local search techniques for high school timetabling
Schaerf, Andrea; Schaerf, Marco;
Proc. of the 1st Intl. Conf. on the Practice and Theory of Automated Timetabling (1995)
On Compact Representations of Propositional
Cadoli, Marco; Donini, Francesco M; Schaerf, Marco;
Annual Symposium on Theoretical Aspects of Computer Science: STACS:[proceedings]. (1995)
Approximate inference in default logic and circumscription
Cadoli, Marco; Schaerf, Marco;
Fundamenta Informaticae (1994)
language opportunities.
Schaerf, Marco; Boulanger, Dmitri; De Giacomo, Giuseppe; Denecker, Marc; Schwalb, Eddie; Sonenberg, Elizabeth; Stumptner, Marcus; Omohundro, Stephen; Portinale, Luigi; Vandecasteele, Henk;
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR'94) (1994)
A survey of complexity results for non-monotonic logics
Cadoli, Marco; Schaerf, Marco;
The Journal of Logic Programming (1993)
Logic programming and autoepistemic logics: new relations and complexity results
Schaerf, Marco;
Congress of the Italian Association for Artificial Intelligence (1993)
Negation and minimality in non-Horn databases
Schaerf, Marco;
Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1993)
Approximate reasoning and non-omniscient agents
Cadoli, Marco; Schaerf, Marco;
Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge (1992)
Approximation in Concept Description Languages.
Cadoli, Marco; Schaerf, Marco;
(1992)
Logic programming and autoepistemic logics: new relations and complexity results
Schaerf, Marco;
Proceedings of the Italian AI Conference (IA* AI), number 728 in Springer LNCS/AI (1992)
cadoli@ vaxrma. romal. infn. it mschaerf@ vaxrma. roma1. infn. it
Cadoli, Marco; Schaerf, Marco;
Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference (TARK 1992), March 22-25, 1992, Monterey, California (1992)
Approximate entailment
Cadoli, Marco; Schaerf, Marco;
Congress of the Italian Association for Artificial Intelligence (1991)
Closed world reasoning in hybrid systems
Cadoli, Marco; Donini, Frnacesco M; Schaerf, Marco;
Methodologies for intelligent systems, 5 (1991)
Reasoning about reasoning in a meta-level architecture
Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco;
Applied Intelligence (1991)
Notes on Ginsberg's multivalued logics
Schaerf, Marco;
Computational intelligence (1991)
Reasoning about knowledge: the meta-level approach
Aiello, LC; Nardi, D; Schaerf, M; Gabbay, DM; Shoham, Y; Legendre, G; Miyata, Y; Smolensky, P; Benjamins, R; Abu-Hanna, A;
Scandinavian Conference on Artificial Intelligence: Proc.\of the SCAI'91 (1991)
Can we believe our beliefs?
Aiello, Luigia Carlucci; Donini, Francesco M; Pirri, Fiora; Schaerf, Marco;
Methodologies for intelligent systems, 5 (1991)
Nonmonotonic reasoning
Donini, FM; Lenzerini, M; Pirri, F; Schaerf, M; Nardi, D;
Rivista di Informatica (1991)
A Semantically Well-Founded Multivalued Logic
Schaerf, Marco;
Artificial Intelligence in the Pacific Rim: Proceedings of Pacific Rim International Conference on Artificial Intelligence, Nagoya, 1990 (1991)
Closed world reasoning in Hybrid systems, Methodologies for intelligent systems, 5
Cadoli, Marco; Donini, Frnacesco M; Schaerf, Marco;
(1991)
Nonmonotonic reasoning
Donini, Francesco M; Lenzerini, Maurizio; Nardi, Daniele; Pirri, Fiora; Schaerf, Marco;
Artificial Intelligence Review (1990)
A survey on nonmonotonic reasoning
Aiello, Luigia Carlucci; Donini, Francesco M; Lenzerini, Maurizio;
Intelligent Systems: State of the Art and Future Directions (1990)
Reasoning About Knowledge and Ignorance.
Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco;
FGCS (1988)
Yet Another Solution to the Three Wisemen Puzzle.
Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco;
ISMIS (1988)
AN IMAGE FORENSICS TOOL FOR COPY-MOVE DETECTION AND LOCALIZATION
Amerini, Irene; Ballan, Lamberto; Caldelli, Roberto; Del Bimbo, Alberto; Del Tongo, Luca; Serra, Giuseppe;
Introduction to the special section on image processing in security applications (VSI-ipsa)
Cabal-Yepez, Eduardo; Ledesma-Carrillo, Luis Manuel; Botella, Guillermo; Amerini, Irene;
Approximate Reasoning and non-Omniscient
Cadoli, Marco; Schaerf, Marco;
KNOWLEDGE AND DATA ENGINEERING
Liberatore, P; Schaerf, M;
Is Intractability of Non-Monotonic Reasoning a Real
Cadoli, Marco; F’rancesco, M Donini; Schaerf, Marco;
Algoritmi per l’illuminazione interattiva di materiali traslucenti deformabili su GPU
Schaerf, Marco; De Martino, Giacomo; Fratarcangeli, Marco;
REASONING ABOUT KNOWLEDGE AND IGNORANCE
Aifillo, Luigia Carinoci; Nardi, Daniele; Schaerf, Marco;
An algorithm to evaluate quantified Boolean formulae
Cadoli, Marco; Giovanardi, Andrea; Schaerf, Marco;
Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI’98)