Manuel Mazzara

298 papers A 1B 10C 3Misc 4Journal 160Unranked 104

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Weighted Framework for Security Patterns Selection Used for Hosting on the Cloud. AINA (5) Asma Salem, Amjad Hudaib, Nadia Salem, Khawla M. Al-tarawneh, Hamza Salem, Manuel Mazzara
2025	J	`jnl`	A comprehensive survey for Hyperspectral Image Classification: The evolution from conventional to transformers and Mamba models. Neurocomputing Muhammad Ahmad, Salvatore Distefano, Adil Mehmood Khan, Manuel Mazzara, Chenyu Li, Hao Li, Jagannath Aryal, Yao Ding, Gemine Vivone, Danfeng Hong
2025	J	`jnl`	AI-Driven Resource Allocation for RIS-Assisted NOMA in IoT Networks. IEEE Access Syed M. Hamedoon, Jawwad Nasar Chattha, Umair Rashid, S. M. Ahsan Kazmi, Manuel Mazzara
2025	—	`conf`	Autoscaling Containerized Microservices: A Survey. AINA (7) Maxim Filippov, Manuel Mazzara
2025	J	`jnl`	Byte Latent Mamba With State Space and Knowledge Distillation for Hyperspectral Image Classification. IEEE Trans. Geosci. Remote. Sens. Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan
2025	J	`jnl`	Cutting-Edge Intrusion Detection in IoT Networks: A Focus on Ensemble Models. IEEE Access Najm Us Sama, Saeed Ullah, S. M. Ahsan Kazmi, Manuel Mazzara
2025	—	`conf`	DDOS Attack Detection in SD-IOT Networks Using CTELC. AINA (5) Khawla M. Al-tarawneh, Nadia Salem, Saleh Al-Sharaeh, Asma Salem, Hamza Salem, Siham Maher Hattab, Manuel Mazzara
2025	J	`jnl`	DiffFormer: A Differential Spatial-Spectral Transformer for Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Silvia Liberata Ullo
2025	J	`jnl`	Differential Attention With Enhanced Squeeze-and-Excitation for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Saad Sohail, Muhammad Usama, Usman Ghous, Manuel Mazzara, Muhammad Ahmad
2025	J	`jnl`	Dynamic Memory-enhanced Transformer for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan
2025	J	`jnl`	Efficient Smooth Tensor Train and Tensor Ring Completion for Image Classification Enhancement. IEEE Access Salman Ahmadi-Asl, Roman Garaev, Rustam A. Lukmanov, Naeim Rezaeian, Asad Masood Khattak, Manuel Mazzara
2025	J	`jnl`	EnergyFormer: Energy Attention With Fourier Embedding for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Saad Sohail, Muhammad Usama, Usman Ghous, Manuel Mazzara, Salvatore Distefano, Muhammad Ahmad
2025	J	`jnl`	EnergyFormer: Energy Attention with Fourier Embedding for Hyperspectral Image Classification. CoRR Saad Sohail, Muhammad Usama, Usman Ghous, Manuel Mazzara, Salvatore Distefano, Muhammad Ahmad
2025	J	`jnl`	GraphMamba: Graph Tokenization Mamba for Hyperspectral Image Classification. IEEE Trans. Emerg. Top. Comput. Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Muhammad Hassaan Farooq Butt, Muhammad Usama, Danfeng Hong
2025	—	`conf`	Harnessing Large Language Models for Personalized Learning: A Case Study in Algorithm Education at Mu'tah University. AINA (7) Nadia Salem, Loai M. Alnemer, Khawla M. Al-tarawneh, Hamza Salem, Manuel Mazzara, Asma Salem
2025	—	`conf`	Hidden Risks: The Centralization of NFT Metadata and What It Means for the Market. AINA (5) Hamza Salem, Hadi Salloum, Manuel Mazzara, Nursultan Askarbekuly, Leonard Johard, Giancarlo Succi
2025	—	`conf`	Hidden Risks: The Centralization of NFT Metadata and What It Means for the Market. AINA (2) Hamza Salem, Hadi Salloum, Manuel Mazzara, Nursultan Askarbekuly, Karl Koberg, Giancarlo Succi
2025	J	`jnl`	Hybrid State-Space and GRU-based Graph Tokenization Mamba for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Muhammad Usama, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Danfeng Hong
2025	—	`conf`	Large Language Models: An Empirical Study in Computer Science. AINA (7) Muhammad Naveed Zafar, Manuel Mazzara, Mahmoud Naderi
2025	J	`jnl`	Leveraging Deep Reinforcement Learning and Healthcare Devices for Active Travelling in Smart Cities. IEEE Trans. Consumer Electron. S. M. Ahsan Kazmi, Zaheer Khan, Adil Mehmood Khan, Manuel Mazzara, Asad Masood Khattak
2025	J	`jnl`	Mathematical Model and Algorithm for Accurate Main Content Extraction From News Websites. IEEE Access Hamza Salem, Hadi Salloum, Manuel Mazzara
2025	J	`jnl`	Performance of Quantum Annealing Machine Learning Classification Models on ADMET Datasets. IEEE Access Hadi Salloum, Kamil Sabbagh, Vladislav Savchuk, Ruslan Lukin, Osama Orabi, Marat Isangulov, Manuel Mazzara
2025	J	`jnl`	PolicyMamba: Localized Policy Attention With State Space Model for Land Cover Classification. IEEE Trans. Neural Networks Learn. Syst. Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Muhammad Hassaan Farooq Butt, Danfeng Hong
2025	J	`jnl`	Self-Supervised Learning for Precise Individual Tree Segmentation in Airborne LiDAR Point Clouds. IEEE Access Lama Shaheen, Bader Rasheed, Manuel Mazzara
2025	J	`jnl`	Spatial-spectral morphological mamba for hyperspectral image classification. Neurocomputing Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Muhammad Usama, Swalpa Kumar Roy, Jocelyn Chanussot, Danfeng Hong
2025	—	`conf`	Survey on Requirements Elicitation Techniques for UI Design Projects. AINA (7) Marko Pezer, Daniil Shilintsev, Mahmoud Naderi, Manuel Mazzara
2025	J	`jnl`	Transformer-Driven Active Transfer Learning for Cross-Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Muhammad Ahmad, Francesco Mauro, Rana Aamir Raza, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Silvia Liberata Ullo
2025	J	`jnl`	Trustworthy Face Recognition as a Service: A Multi-Layered Approach for Mitigating Spoofing and Ensuring System Integrity. Future Internet Mostafa Kira, Zeyad Alajamy, Ahmed Soliman, Yusuf Mesbah, Manuel Mazzara
2025	J	`jnl`	WaveMamba: Spatial-Spectral Wavelet Mamba for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Muhammad Ahmad, Muhammad Usama, Manuel Mazzara, Salvatore Distefano
2024	—	`conf`	A Survey of Machine Learning's Integration into Traditional Software Risk Management. KES-IDT Gerald B. Imbugwa, Tom Gilb, Manuel Mazzara
2024	—	`conf`	Advanced Engineering School at Innopolis University: A Global Ecosystem for Future Leaders. KES-IDT Manuel Mazzara, Iouri Kotorov, Yuliya Krasylnykova, Nursultan Askarbekuly, Petr Zhdanov, Evgeny Bobrov
2024	J	`jnl`	Cache Sharing in UAV-Enabled Cellular Network: A Deep Reinforcement Learning-Based Approach. IEEE Access Hamidullah Muslih, S. M. Ahsan Kazmi, Manuel Mazzara, Gaspard Baye
2024	J	`jnl`	DiffFormer: a Differential Spatial-Spectral Transformer for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Silvia Liberata Ullo
2024	Misc	`conf`	Early Design Mechanism for Upgrading Smart Contract Business Processes. CISIS Swati Goel, Manuel Mazzara
2024	—	`conf`	Empowering User Consent: Transparent Data Collection for Learner Profile in Educational Products. KES-AMSTA Gleb Osotov, Nursultan Askarbekuly, Manuel Mazzara
2024	J	`jnl`	Fusing Transformers in a Tuning Fork Structure for Hyperspectral Image Classification Across Disjoint Samples. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Muhammad Ahmad, Muhammad Usama, Manuel Mazzara, Salvatore Distefano, Hamad Ahmed Altuwaijri, Silvia Liberata Ullo
2024	J	`jnl`	Hidden Risks: The Centralization of NFT Metadata and What It Means for the Market. CoRR Hamza Salem, Manuel Mazzara
2024	—	`conf`	Higher Education Institutions and the Imperative for Transformation in the 21st Century. KES-AMSTA Iouri Kotorov, Yuliya Krasylnykova, Manuel Mazzara, Evgeny Bobrov
2024	B	`conf`	Hyperspectral Image Classification With Fuzzy Spatial-Spectral Class Discriminate Information. ICIP Muhammad Ahmad, Muhammad Usama, Salvatore Distefano, Manuel Mazzara
2024	J	`jnl`	Importance of Disjoint Sampling in Conventional and Transformer Models for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Manuel Mazzara, Salvatore Distifano
2024	J	`jnl`	Improving Generalization for Hyperspectral Image Classification: The Impact of Disjoint Sampling on Deep Models. Comput. Mater. Continua Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Hamad Ahmed Altuwaijri
2024	—	`conf`	Integration of Machine Learning with Quantum Annealing. AINA (3) Hadi Salloum, Hamza Shafee Aldaghstany, Osama Orabi, Ahmad Haidar, Mohammad Reza Bahrami, Manuel Mazzara
2024	J	`jnl`	Multi-head Spatial-Spectral Mamba for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Muhammad Usama, Hamad Ahmed Altuwaijri, Manuel Mazzara, Salvatore Distefano
2024	J	`jnl`	Pyramid Hierarchical Spatial-Spectral Transformer for Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Hamad Ahmed Altuwaijri
2024	J	`jnl`	Pyramid Hierarchical Transformer for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Manuel Mazzara, Salvatore Distifano
2024	—	`conf`	Quantum Advancements in Securing Networking Infrastructures. AINA (6) Hadi Salloum, Murhaf Alawir, Mohammad Anas Alatasi, Saleem Asekrea, Manuel Mazzara, Mohammad Reza Bahrami
2024	B	`conf`	Quantum Annealing in Machine Learning: QBoost on D-Wave Quantum Annealer. KES Hadi Salloum, Ali Salloum, Manuel Mazzara, Sergey Zykov
2024	—	`conf`	Quantum Microservices: Transforming Software Architecture with Quantum Computing. AINA (6) Suleiman Karim Eddin, Hadi Salloum, Mohamad Nour Shahin, Badee Salloum, Manuel Mazzara, Mohammad Reza Bahrami
2024	B	`conf`	Quranic Audio Dataset: Crowdsourced and Labeled Recitation from Non-Arabic Speakers. KES Raghad Salameh, Mohamad Al Mdfaa, Nursultan Askarbekuly, Manuel Mazzara
2024	J	`jnl`	Quranic Audio Dataset: Crowdsourced and Labeled Recitation from Non-Arabic Speakers. CoRR Raghad Salameh, Mohamad Al Mdfaa, Nursultan Askarbekuly, Manuel Mazzara
2024	J	`jnl`	SCSNet: Sharpened Cosine Similarity-Based Neural Network for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Muhammad Ahmad, Manuel Mazzara
2024	J	`jnl`	Spatial-Spectral Morphological Mamba for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Muhammad Usama, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Hamad Ahmed Altuwaijri, Swalpa Kumar Roy, Jocelyn Chanussot, Danfeng Hong
2024	J	`jnl`	Spatial-Spectral Transformer With Conditional Position Encoding for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Muhammad Ahmad, Muhammad Usama, Adil Mehmood Khan, Salvatore Distefano, Hamad Ahmed Altuwaijri, Manuel Mazzara
2024	J	`jnl`	Spectral-Spatial Transformer with Active Transfer Learning for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano
2024	—	`conf`	Survival Strategies for IT Companies During Crisis: A Case Study of Russia. AINA (6) Mohammad Khalil, Manuel Mazzara
2024	J	`jnl`	Traditional to Transformers: A Survey on Current Trends and Future Prospects for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Salvatore Distifano, Manuel Mazzara, Adil Mehmood Khan
2024	J	`jnl`	Transformers Fusion across Disjoint Samples for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Manuel Mazzara, Salvatore Distifano
2024	J	`jnl`	Unified extractive-abstractive summarization: a hybrid approach utilizing BERT and transformer models for enhanced document summarization. PeerJ Comput. Sci. Divya S, Sripriya N, J. Andrew, Manuel Mazzara
2024	J	`jnl`	WaveFormer: Spectral-Spatial Wavelet Transformer for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Muhammad Ahmad, Usman Ghous, Muhammad Usama, Manuel Mazzara
2023	J	`jnl`	A Case Study on Applications of the Hook Model in Software Products. Softw. Elena Lukyanchikova, Nursultan Askarbekuly, Hamna Aslam, Manuel Mazzara
2023	—	`conf`	An Overview and Current Status of Blockchains Performance. AINA (3) Hamza Salem, Manuel Mazzara, Siham Maher Hattab
2023	—	`conf`	Comparing Behaviour Tree and Hierarchical Task Network Planning Methods for their Impact on Player Experience. SSCI Alexander Kedalo, Andrey Zykov, Hamna Aslam, Manuel Mazzara
2023	J	`jnl`	ConvSegNet: Automated Polyp Segmentation From Colonoscopy Using Context Feature Refinement With Multiple Convolutional Kernel Sizes. IEEE Access Ayokunle Olalekan Ige, Nikhil Kumar Tomar, Felix Ola Aranuwa, Oluwafemi Oriola, Alaba O. Akingbesote, Mohd Halim Mohd Noor, Manuel Mazzara, Segun Benjamin Aribisala
2023	—	`conf`	Energy-Aware Anomaly Detection in Railway Systems. UCAmI (3) Manuel Mazzara, Alberto Sillitti
2023	—	`conf`	Innopolis University: An Agile and Resilient Academic Institution Navigating the Rocky Waters of the COVID-19 Pandemic. KES-AMSTA Yuliya Krasylnykova, Iouri Kotorov, Jaroslav Demel, Manuel Mazzara, Evgeny Bobrov
2023	—	`conf`	Learning Fair Representations through Uniformly Distributed Sensitive Attributes. SaTML Patrik Joslin Kenfack, Adín Ramírez Rivera, Adil Mehmood Khan, Manuel Mazzara
2023	—	`conf`	Multi Languages Pattern Matching-Based Scraping of News and Articles Websites. AINA (3) Hamza Salem, Manuel Mazzara
2023	—	`conf`	Prototype for Controlled Use of Social Media to Reduce Depression. AINA (3) Furqan Haider, Hamna Aslam, Rabab Marouf, Manuel Mazzara
2023	—	`conf`	Simulation Modeling of Human Aortic Valve Blood Flow. AINA (3) Ilya Kudrenok, Maxim Davidov, Manuel Mazzara
2023	—	`conf`	Traffic Light Algorithms in Smart Cities: Simulation and Analysis. AINA (1) Artem Yuloskov, Mohammad Reza Bahrami, Manuel Mazzara, Gerald B. Imbugwa, Ikechi Ndukwe, Iouri Kotorov
2022	J	`jnl`	A Fast and Compact 3-D CNN for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Mohsin Ali, Muhammad Shahzad Sarfraz
2022	—	`conf`	A NLP Framework to Generate Video from Positive Comments in Youtube. AINA (3) Hamza Salem, Manuel Mazzara
2022	J	`jnl`	Analyzing the Trade-Off Between Complexity Measures, Ambiguity in Insertion System and Its Applications. IEEE Access Anand Mahendran, Kumar Kannan, Mohamed Hamada, Manuel Mazzara
2022	J	`jnl`	Attention Autoencoder for Generative Latent Representational Learning in Anomaly Detection. Sensors Ariyo Oluwasanmi, Muhammad Umar Aftab, Edward Yellakuor Baagyere, Zhiguang Qin, Muhammad Ahmad, Manuel Mazzara
2022	J	`jnl`	Attention Mechanism Meets with Hybrid Dense Network for Hyperspectral Image Classification. CoRR Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Swalpa Kumar Roy, Xin Wu
2022	—	`conf`	Development of a Blockchain-Based Ad Listing Application. AINA (1) Hamza Salem, Manuel Mazzara, Hadi M. Saleh, Rami Husami, Siham Maher Hattab
2022	—	`conf`	Face Mask Recognition Based on Two-Stage Detector. ISDA (2) Hewan Shrestha, Swati Megha, Subham Chakraborty, Manuel Mazzara, Iouri Kotorov
2022	J	`jnl`	Game Theory-Based Parameter Tuning for Energy-Efficient Path Planning on Modern UAVs. ACM Trans. Cyber Phys. Syst. Diksha Moolchandani, Kishore Yadav, Geesara Kulathunga, Ilya Afanasyev, Anshul Kumar, Manuel Mazzara, Smruti Sarangi
2022	J	`jnl`	Hybrid Dense Network With Attention Mechanism for Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Swalpa Kumar Roy, Xin Wu
2022	J	`jnl`	Hyperspectral Image Classification - Traditional to Deep Models: A Survey for Future Prospects. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Muhammad Ahmad, Sidrah Shabbir, Swalpa Kumar Roy, Danfeng Hong, Xin Wu, Jing Yao, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Jocelyn Chanussot
2022	—	`book`	Innopolis University - From Zero to Hero - Ten Years of Challenges and Victories Manuel Mazzara, Giancarlo Succi, Alexander Tormasov
2022	—	`conf`	Perception Towards "Zoom" Live Lectures by Master's Students of Sweden. ICL (1) Ziyad Elbanna, Manuel Mazzara
2022	—	`conf`	Perception of the Internationalization Process by the University Employees: The Case Study of Innopolis University. ICL (2) Hamna Aslam, Maria Naumcheva, Petr Zhdanov, Iouri Kotorov, Manuel Mazzara, Elmira Akhmetgaraeva, Radik Valiev, Yuliya Krasylnykova
2022	J	`jnl`	Secure aggregate signature scheme for smart city applications. Comput. Commun. Nabeil Eltayieb, Rashad Elhabob, Muhammad Umar Aftab, Ramil Kuleev, Manuel Mazzara, Muhammad Ahmad
2022	J	`jnl`	Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2022	J	`jnl`	The Role of Formalism in System Requirements. ACM Comput. Surv. Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
2022	J	`jnl`	Towards Predicting Architectural Design Patterns: A Machine Learning Approach. Comput. Sirojiddin Komolov, Gcinizwe Dlamini, Swati Megha, Manuel Mazzara
2021	J	`jnl`	3D/2D regularized CNN feature hierarchy for Hyperspectral image classification. CoRR Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano
2021	—	`conf`	A Survey on Data Science Techniques for Predicting Software Defects. AINA (3) Farah Atif, Manuel Rodríguez, Luiz J. P. Araújo, Utih Amartiwi, Barakat J. Akinsanya, Manuel Mazzara
2021	—	`conf`	Automatically Injecting Semantic Annotations into Online Articles. AINA (3) Hamza Salem, Manuel Mazzara, Said Elnaffar
2021	J	`jnl`	Benchmarks and performance metrics for assessing the migration to microservice-based architectures. J. Object Technol. Nichlas Bjørndal, Luiz Jonatã Pires de Araújo, Antonio Bucchiarone, Nicola Dragoni, Manuel Mazzara, Schahram Dustdar
2021	—	`conf`	Building an Educational Product: Constructive Alignment and Requirements Engineering. AHFE (13) Nursultan Askarbekuly, Alexandr Solovyov, Elena Lukyanchikova, Denis Pimenov, Manuel Mazzara
2021	Misc	`conf`	Game Theory-Based Parameter-Tuning for Path Planning of UAVs. VLSID Diksha Moolchandani, Geesara Prathap, Ilya Afanasyev, Anshul Kumar, Manuel Mazzara, Smruti R. Sarangi
2021	J	`jnl`	Hyperspectral Image Classification: Artifacts of Dimension Reduction on Hybrid CNN. CoRR Muhammad Ahmad, Sidrah Shabbir, Rana Aamir Raza, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan
2021	J	`jnl`	Hyperspectral Imaging for Bloodstain Identification. Sensors Maheen Zulfiqar, Muhammad Ahmad, Sohaib Ahmed, Manuel Mazzara, Salvatore Distefano
2021	J	`jnl`	Hyperspectral imaging-based unsupervised adulterated red chili content transformation for classification: Identification of red chili adulterants. Neural Comput. Appl. Muhammad Hussain Khan, Zainab Saleem, Muhammad Ahmad, Sohaib Ahmed, Hamail Ayaz, Manuel Mazzara, Rana Aamir Raza
2021	J	`jnl`	Microservices: Migration of a Mission Critical System. IEEE Trans. Serv. Comput. Manuel Mazzara, Nicola Dragoni, Antonio Bucchiarone, Alberto Giaretta, Stephan Thordal Larsen, Schahram Dustdar
2021	J	`jnl`	Regularized CNN Feature Hierarchy for Hyperspectral Image Classification. Remote. Sens. Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano
2021	J	`jnl`	Smart Cities in Russia: Current Situation and Insights for Future Development. Future Internet Artem Yuloskov, Mohammad Reza Bahrami, Manuel Mazzara, Iouri Kotorov
2021	—	`conf`	Survey on Blockchain Applications for Healthcare: Reflections and Challenges. AINA (3) Swati Megha, Hamza Salem, Enes Ayan, Manuel Mazzara, Hamna Aslam, Mirko Farina, Mohammad Reza Bahrami, Muhammad Ahmad
2021	—	`conf`	TeleML: Deploying Trained Machine Learning Models in Cross-Platform Applications. AINA (2) Sirojiddin Komolov, Youssef Youssry Ibrahim, Manuel Mazzara
2021	—	`conf`	Towards a Secure Smart Parking Solution for Business Entities. AINA (3) Gerald B. Imbugwa, Manuel Mazzara
2021	J	`jnl`	Trustworthiness for Transportation Ecosystems: The Blockchain Vehicle Information System. IEEE Trans. Intell. Transp. Syst. Salvatore Distefano, Andrea Di Giacomo, Manuel Mazzara
2021	—	`conf`	Welcome from the Organizers FormReq 2021. RE Workshops Sophie Ebersold, Régine Laleau, Manuel Mazzara
2020	—	`conf`	A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles. AINA Workshops Ziyad Elbanna, Ilya Afanasyev, Luiz Jonatã Pires de Araújo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar
2020	J	`jnl`	A PLS-SEM Neural Network Approach for Understanding Cryptocurrency Adoption. IEEE Access Osama Sohaib, Walayat Hussain, Muhammad Asif, Muhammad Ahmad, Manuel Mazzara
2020	—	`conf`	A Survey of Blockchain-Based Solutions for Energy Industry. AINA Workshops Swati Megha, Joseph Lamptey, Hamza Mohamed Salem, Manuel Mazzara
2020	—	`conf`	An Open Source Solution for Smart Contract-Based Parking Management. OSS Nikolay Buldakov, Timur Khalilev, Salvatore Distefano, Manuel Mazzara
2020	J	`jnl`	An Open Source Solution for Smart Contract-based Parking. CoRR Nikolay Buldakov, Timur Khalilev, Salvatore Distefano, Manuel Mazzara
2020	—	`conf`	An empirical study of multi-threading paradigms Reactive programming vs continuation-passing style. ICCBD Sirojiddin Komolov, Nursultan Askarbekuly, Manuel Mazzara
2020	J	`jnl`	C-POS: A Context-Aware Adaptive Part-of-Speech Language Learning Framework. IEEE Access Shazia Maqsood, Abdul Shahid, Fakhra Nazar, Muhammad Asif, Muhammad Ahmad, Manuel Mazzara
2020	J	`jnl`	Code Review in the Classroom. CoRR Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2020	—	`conf`	Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project. OSS Nursultan Askarbekuly, Andrey Sadovykh, Manuel Mazzara
2020	—	`ch.`	DevOps and Its Philosophy: Education Matters! Microservices, Science and Engineering Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2020	—	`ed.`	Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers FISEE Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh
2020	J	`jnl`	Machine Learning and value generation in Software Development: a survey. CoRR Barakat J. Akinsanya, Luiz Jonata Pires de Araujo, Mariia Charikova, Susanna Gimaeva, Alexandr Grichshenko, Adil Khan, Manuel Mazzara, Ozioma Okonicha N, Daniil Shilintsev
2020	J	`jnl`	Micro-frontends: application of microservices to web front-ends. J. Internet Serv. Inf. Secur. Andrey Pavlenko, Nursultan Askarbekuly, Swati Megha, Manuel Mazzara
2020	—	`book`	Microservices, Science and Engineering. Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh
2020	J	`jnl`	Prediction of Microbial Spoilage and Shelf-Life of Bakery Products Through Hyperspectral Imaging. IEEE Access Zainab Saleem, Muhammad Hussain Khan, Muhammad Ahmad, Sohaib Ahmed, Hamail Ayaz, Manuel Mazzara
2020	—	`ed.`	Proceedings of 6th International Conference in Software Engineering for Defence Applications, SEDA 2018, Rome, Italy, June 7-8, 2018 SEDA Paolo Ciancarini, Manuel Mazzara, Angelo Messina, Alberto Sillitti, Giancarlo Succi
2020	—	`conf`	Proximity-Based Context Information Retrieval for Bluetooth Enabled Devices. AINA Workshops Sergey Koziakov, Manuel Mazzara
2020	—	`ch.`	Size Matters: Microservices Research and Applications. Microservices, Science and Engineering Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera
2020	—	`ed.`	Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers DEVOPS Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2019	J	`jnl`	A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism. CoRR Vivek Kumar, Manuel Mazzara, Angelo Messina, Jooyoung Lee
2019	J	`jnl`	A Machine to Machine framework for the charging of Electric Autonomous Vehicles. CoRR Ziyad Elbanna, Ilya Afanasyev, Luiz Jonata Pires de Araujo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar
2019	B	`conf`	A Reference Architecture for Smart and Software-Defined Buildings. SMARTCOMP Manuel Mazzara, Ilya Afanasyev, Smruti R. Sarangi, Salvatore Distefano, Vivek Kumar, Muhammad Ahmad
2019	J	`jnl`	A Reference Architecture for Smart and Software-defined Buildings. CoRR Manuel Mazzara, Ilya Afanasyev, Smruti R. Sarangi, Salvatore Distefano, Vivek Kumar
2019	J	`jnl`	A survey of of blockchain-based solutions for Energy Industry. CoRR Swati Megha, Joseph Lamptey, Hamza Salem, Manuel Mazzara
2019	—	`conf`	An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles. AINA Workshops Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Ilya Afanasyev, Jooyoung Lee
2019	—	`conf`	Anomaly Detection in DevOps Toolchain. DEVOPS Antonio Capizzi, Salvatore Distefano, Luiz Jonata Pires de Araujo, Manuel Mazzara, Muhammad Ahmad, Evgeny Bobrov
2019	J	`jnl`	Anomaly Detection in DevOps Toolchain. CoRR Antonio Capizzi, Salvatore Distefano, Manuel Mazzara, Luiz Jonata Pires de Araujo, Muhammad Ahmad, Evgeny Bobrov
2019	J	`jnl`	AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2019	J	`jnl`	Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era. Future Internet Michele De Donno, Alberto Giaretta, Nicola Dragoni, Antonio Bucchiarone, Manuel Mazzara
2019	J	`jnl`	DevOps and its Philosophy : Education Matters! CoRR Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2019	—	`conf`	Digital image forgery. ITTCS Daniel Atonge, Ananga Thapaliya, Manuel Mazzara, Subham Chakraborty, Ilya Afanasyev
2019	B	`conf`	Expressing Trust with Temporal Frequency of User Interaction in Online Communities. AINA Ekaterina Yashkina, Arseny Pinigin, Jooyoung Lee, Manuel Mazzara, Akinlolu Solomon Adekotujo, Adam Zubair, Luca Longo
2019	J	`jnl`	Expressing Trust with Temporal Frequency of User Interaction in Online Communities. CoRR Ekaterina Yashkina, Arseny Pinigin, Jooyoung Lee, Manuel Mazzara, Akinlolu Solomon Adekotujo, Adam Zubair, Luca Longo
2019	Misc	`conf`	Extended sammon projection and wavelet kernel extreme learning machine for gait-based legitimate user identification. SAC Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Amjad Ali, Ali Tufail
2019	—	`conf`	Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization. FISEE Iouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara
2019	—	`conf`	FormReq@RE2019 Preface. RE Workshops Sophie Ebersold, Régine Laleau, Manuel Mazzara
2019	J	`jnl`	Formality in Software Requirements. CoRR Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
2019	—	`conf`	From DevOps to DevDataOps: Data Management in DevOps Processes. DEVOPS Antonio Capizzi, Salvatore Distefano, Manuel Mazzara
2019	J	`jnl`	From DevOps to DevDataOps: Data Management in DevOps processes. CoRR Antonio Capizzi, Salvatore Distefano, Manuel Mazzara
2019	—	`conf`	Internationalization Strategy of Innopolis University. FISEE Iouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara
2019	—	`conf`	Multi-layer Extreme Learning Machine-based Autoencoder for Hyperspectral Image Classification. VISIGRAPP (4: VISAPP) Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano
2019	J	`jnl`	Prediction of Malignant & Benign Breast Cancer: A Data Mining Approach in Healthcare Applications. CoRR Vivek Kumar, Brojo Kishore Mishra, Manuel Mazzara, Dang N. H. Thanh, Abhishek Verma
2019	C	`conf`	Prediction of Twitter Message Deletion. DeSE Alisa Gazizullina, Manuel Mazzara
2019	—	`conf`	Reflections on Teaching Formal Methods for Software Development in Higher Education. FISEE Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown
2019	J	`jnl`	Size Matters: Microservices Research and Applications. CoRR Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera
2019	—	`ed.`	Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers DEVOPS Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2019	—	`ed.`	Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings TOOLS Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko
2019	J	`jnl`	Spatial Prior Fuzziness Pool-Based Interactive Classification of Hyperspectral Images. Remote. Sens. Muhammad Ahmad, Asad Khan, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Sohaib Ahmed, Omar Nibouche
2019	—	`conf`	Spontaneous Emotion Recognition in Response to Videos. TOOLS Alisa Gazizullina, Manuel Mazzara
2019	—	`conf`	Teaching DevOps in Academia and Industry: Reflections and Vision. DEVOPS Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
2019	J	`jnl`	Teaching DevOps in academia and industry: reflections and vision. CoRR Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
2019	—	`conf`	Teaching Theoretical Computer Science at Innopolis University. FISEE Manuel Mazzara
2019	J	`jnl`	Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education. CoRR Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam
2019	J	`jnl`	Towards Blockchain-based Multi-Agent Robotic Systems: Analysis, Classification and Applications. CoRR Ilya Afanasyev, Alexander Kolotov, Ruslan Rezin, Konstantin Danilov, Manuel Mazzara, Subham Chakraborty, Alexey M. Kashevnik, Andrey Chechulin, Aleksandr A. Kapitonov, Vladimir Jotsov, Andon V. Topalov, Nikola Georgiev Shakev, Sevil Ahmed
2019	—	`conf`	Towards Code Review Guideline in a Classroom. FISEE Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2019	—	`conf`	Towards Designing Smart Learning Environments with IoT. DEVOPS Mohamad Kassab, Manuel Mazzara
2019	C	`conf`	Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges. DeSE Ilya Afanasyev, Manuel Mazzara, Subham Chakraborty, Nikita Zhuchkov, Aizhan Maksatbek, Aydin Yesildirek, Mohamad Kassab, Salvatore Distefano
2019	J	`jnl`	Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges. CoRR Ilya Afanasyev, Manuel Mazzara, Subham Chakraborty, Nikita Zhuchkov, Aizhan Maksatbek, Mohamad Kassab, Salvatore Distefano
2019	J	`jnl`	User Acceptance of HUMP-Model: The Role of E-Mavenism and Polychronicity. IEEE Access Muhammad Awais, Tanzila Samin, Muhammad Awais Gulzar, Hanan Aljuaid, Muhammad Ahmad, Manuel Mazzara
2018	—	`conf`	A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism. SEDA Vivek Kumar, Manuel Mazzara, Angelo Messina, Jooyoung Lee
2018	—	`conf`	Bi-lingual Intent Classification of Twitter Posts: A Roadmap. SEDA Akinlolu Solomon Adekotujo, Jooyoung Lee, Ayokunle Oluwatoyin Enikuomehin, Manuel Mazzara, Segun Benjamin Aribisala
2018	J	`jnl`	From Monolithic to Microservices: An Experience Report from the Banking Domain. IEEE Softw. Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Stephan Thordal Larsen, Manuel Mazzara
2018	—	`conf`	GA-based Fractal and Neuroevolution Compressions. IEEE Conf. on Intelligent Systems Vladislav Tkachuk, Maria Koreneva, Ilya Afanasyev, Victor Rivera, Manuel Mazzara
2018	—	`conf`	Gene Expression for Simulation of Biological Tissue. AINA Workshops Sadyk Sayfullin, Fedor Akhmetov, Manuel Mazzara, Ruslan Mustafin, Victor Rivera
2018	—	`conf`	Hikester - The Event Management Application. AINA Workshops Rinat Khatipov, Aydar Negimatzhanov, Ilgiz Zamaleev, Anvar Zakirov, Manuel Mazzara, Victor Rivera
2018	J	`jnl`	Hikester - the event management application. CoRR Rinat Khatipov, Manuel Mazzara, Aydar Negimatzhanov, Victor Rivera, Anvar Zakirov, Ilgiz Zamaleev
2018	—	`conf`	Implementing Distributed Lamda-Calculus Interpreter. AINA Workshops Alexandr Basov, Daniel de Carvalho, Manuel Mazzara
2018	J	`jnl`	Implementing distributed λ-calculus interpreter. CoRR Alexandr Basov, Daniel de Carvalho, Manuel Mazzara
2018	—	`conf`	Innopolis Going Global - Internationalization of a Young IT University. SEDA Sergey Karapetyan, Alexander Dolgoborodov, Sergey Masyagin, Manuel Mazzara, Angelo Messina, Ekaterina Protsko
2018	J	`jnl`	M2M Billing for Electric Autonomous Vehicles. CoRR Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera
2018	—	`conf`	Mapping Event-B Machines into Eiffel Programming Language. SEDA Victor Rivera, Jooyoung Lee, Manuel Mazzara
2018	B	`conf`	Model Checking in Multiplayer Games Development. AINA Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera
2018	J	`jnl`	On M2M Micropayments : A Case Study of Electric Autonomous Vehicles. CoRR Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin
2018	—	`conf`	On M2M Micropayments: A Case Study of Electric Autonomous Vehicles. iThings/GreenCom/CPSCom/SmartData Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin
2018	—	`conf`	On the Parcellation of Functional Magnetic Resonance Images. SEDA Adam Folohunsho Zubair, Segun Benjamin Aribisala, Marco Manca, Manuel Mazzara
2018	—	`conf`	Open Source Platform Digital Personal Assistant. AINA Workshops Azat Khusnutdinov, Denis Usachev, Manuel Mazzara, Adil Khan, Ivan Panchenko
2018	J	`jnl`	Open source platform Digital Personal Assistant. CoRR Denis Usachev, Azat Khusnutdinov, Manuel Mazzara, Adil Khan, Ivan Panchenko
2018	B	`conf`	Pseudorehearsal in Actor-Critic Agents with Neural Network Function Approximation. AINA Vladimir Marochko, Leonard Johard, Manuel Mazzara, Luca Longo
2018	J	`jnl`	Reputation in M2M Economy. CoRR Dragos Strugar, Rasheed Hussain, Jooyoung Lee, Manuel Mazzara, Victor Rivera
2018	—	`conf`	Semantic Query Language for Temporal Genealogical Trees. SEDA Evgeniy Gryaznov, Manuel Mazzara
2018	J	`jnl`	Smartwatch-Based Legitimate User Identification for Cloud-Based Secure Services. Mob. Inf. Syst. Muhammad Ahmad, Mohammed A. Alqarni, Asad Khan, Adil Khan, Sajjad Hussain Chauhdary, Manuel Mazzara, Tariq Umer, Salvatore Distefano
2018	—	`ed.`	Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers STAF Workshops Manuel Mazzara, Iulian Ober, Gwen Salaün
2018	J	`jnl`	Software architectural patterns in practice: an empirical study. Innov. Syst. Softw. Eng. Mohamad Kassab, Manuel Mazzara, Jooyoung Lee, Giancarlo Succi
2018	—	`conf`	Stance Prediction for Russian: Data and Analysis. SEDA Nikita Lozhnikov, Leon Derczynski, Manuel Mazzara
2018	J	`jnl`	Stance Prediction for Russian: Data and Analysis. CoRR Nikita Lozhnikov, Leon Derczynski, Manuel Mazzara
2018	—	`conf`	Teaching DevOps in Corporate Environments - An Experience Report. DEVOPS Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
2018	J	`jnl`	Teaching DevOps in Corporate Environments: An experience report. CoRR Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
2018	—	`conf`	Teaching Programming and Design-by-Contract. ICL (1) Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, JooYong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2018	B	`conf`	Towards Dynamic Interaction-Based Reputation Models. AINA Almaz Melnikov, Jooyoung Lee, Victor Rivera, Manuel Mazzara, Luca Longo
2018	J	`jnl`	Towards dynamic interaction-based model. CoRR Almaz Melnikov, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Luca Longo
2017	J	`jnl`	A contract-based method to specify stimulus-response requirements. CoRR Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
2017	—	`conf`	An Architecture for Non-invasive Software Measurement. Ershov Informatics Conference Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi, Eugene Zouev
2017	J	`jnl`	An architecture for non-invasive software measurement. CoRR Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi, Eugene Zouev
2017	J	`jnl`	AntibIoTic: Protecting IoT Devices Against DDoS Attacks. CoRR Michele De Donno, Nicola Dragoni, Alberto Giaretta, Manuel Mazzara
2017	J	`jnl`	Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view. CoRR Manuel Mazzara
2017	J	`jnl`	Domain Objects and Microservices for Systems Development: a roadmap. CoRR Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera
2017	—	`conf`	Evaluation of Spatial Trees for the Simulation of Biological Tissue. AINA Workshops Ilya Dmitrenok, Viktor Drobnyy, Leonard Johard, Manuel Mazzara
2017	J	`jnl`	Expressing and verifying embedded software requirements. CoRR Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2017	J	`jnl`	Initial steps towards assessing the usability of a verification tool. CoRR Mansur Khazeev, Victor Rivera, Manuel Mazzara
2017	J	`jnl`	Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer. CoRR Alberto Giaretta, Nicola Dragoni, Manuel Mazzara
2017	—	`conf`	Link Prediction Using Top-k Shortest Distances. BICOD Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara
2017	J	`jnl`	Link Prediction using Top-$k$ Shortest Distances. CoRR Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara
2017	Misc	`conf`	MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices. SAC Munir Makhmutov, Joseph Alexander Brown, Manuel Mazzara, Leonard Johard
2017	—	`conf`	Microservice-Based IoT for Smart Buildings. AINA Workshops Kevin Khanda, Dilshat Salikhov, Kamill Gusmanov, Manuel Mazzara, Nikolaos Mavridis
2017	J	`jnl`	Microservices Science and Engineering. CoRR Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2017	—	`ch.`	Microservices: A Language-Based Approach. Present and Ulterior Software Engineering Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017	—	`conf`	Microservices: How To Make Your Application Scale. Ershov Informatics Conference Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
2017	J	`jnl`	Microservices: How To Make Your Application Scale. CoRR Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
2017	J	`jnl`	Microservices: Migration of a Mission Critical System. CoRR Nicola Dragoni, Schahram Dustdar, Stephan Thordal Larsen, Manuel Mazzara
2017	—	`ch.`	Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2017	J	`jnl`	Microservices: a Language-based Approach. CoRR Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017	J	`jnl`	Model Checking in multiplayer games development. CoRR Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera
2017	—	`book`	Present and Ulterior Software Engineering. Manuel Mazzara, Bertrand Meyer
2017	—	`conf`	Pseudorehearsal in Value Function Approximation. KES-AMSTA Vladimir Marochko, Leonard Johard, Manuel Mazzara
2017	J	`jnl`	Pseudorehearsal in actor-critic agents with neural network function approximation. CoRR Vladimir Marochko, Leonard Johard, Manuel Mazzara, Luca Longo
2017	J	`jnl`	Pseudorehearsal in actor-critic agents. CoRR Vladimir Marochko, Leonard Johard, Manuel Mazzara
2017	J	`jnl`	Pseudorehearsal in value function approximation. CoRR Vladimir Marochko, Leonard Johard, Manuel Mazzara
2017	J	`jnl`	Self-adaptive node-based PCA encodings. CoRR Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee
2017	J	`jnl`	Teaching Programming and Design-by-Contract. CoRR Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2017	J	`jnl`	The Internet of Hackable Things. CoRR Nicola Dragoni, Alberto Giaretta, Manuel Mazzara
2017	J	`jnl`	Towards Static Type-checking for Jolie. CoRR Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara, Larisa Safina, Alexander Tchitchigin
2017	J	`jnl`	Translating Event-B machines to Eiffel programs. CoRR Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard
2017	J	`jnl`	Verified type checker for Jolie programming language. CoRR Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara
2016	J	`jnl`	A Cognitive Architecture for the Implementation of Emotions in Computing Systems. CoRR Jordi Vallverdú, Max Talanov, Salvatore Distefano, Manuel Mazzara, Alexander Tchitchigin, Ildar Nurgaliev
2016	J	`jnl`	Analysis of the data transportation multi-hop network for an intelligent environment. J. Ambient Intell. Smart Environ. Josu Etxaniz, Gerardo Aranguren, Manuel Mazzara
2016	—	`conf`	AntibIoTic: Protecting IoT Devices Against DDoS Attacks. SEDA Michele De Donno, Nicola Dragoni, Alberto Giaretta, Manuel Mazzara
2016	—	`conf`	Assessing the process of an Eastern European software SME using systemic analysis, GQM, and reliability growth models: a case study. ICSE (Companion Volume) Vladimir Ivanov, Manuel Mazzara, Witold Pedrycz, Alberto Sillitti, Giancarlo Succi
2016	B	`conf`	Data-Driven Workflows for Microservices: Genericity in Jolie. AINA Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera
2016	—	`conf`	Domain Objects and Microservices for Systems Development: A Roadmap. SEDA Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera
2016	J	`jnl`	Evaluation of spatial trees for simulation of biological tissue. CoRR Ilya Dmitrenok, Viktor Drobnyy, Leonard Johard, Manuel Mazzara
2016	—	`conf`	Initial Steps Towards Assessing the Usability of a Verification Tool. SEDA Mansur Khazeev, Victor Rivera, Manuel Mazzara, Leonard Johard
2016	—	`conf`	Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer. SEDA Alberto Giaretta, Nicola Dragoni, Manuel Mazzara
2016	—	`conf`	Jolie Community on the Rise. SOCA Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
2016	J	`jnl`	Jolie Community on the Rise. CoRR Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
2016	J	`jnl`	Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices. CoRR Kamill Gusmanov, Kevin Khanda, Dilshat Salikhov, Manuel Mazzara, Nikolaos Mavridis
2016	J	`jnl`	LTL-based Verification of Reconfigurable Workflows. CoRR Manuel Mazzara
2016	J	`jnl`	Lessons from DEPLOYment. CoRR Manuel Mazzara, Cliff B. Jones, Alexei Iliasov
2016	J	`jnl`	MOMOS-MT: Mobile Monophonic System for Music Transcription. CoRR Munir Makhmutov, Joseph Alexander Brown, Manuel Mazzara, Leonard Johard
2016	J	`jnl`	Microservice-based IoT for Smart Buildings. CoRR Dilshat Salikhov, Kevin Khanda, Kamill Gusmanov, Manuel Mazzara, Nikolaos Mavridis
2016	—	`conf`	Microservices Science and Engineering. SEDA Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2016	J	`jnl`	Microservices: yesterday, today, and tomorrow. CoRR Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2016	J	`jnl`	Model Checking of BPMN Models for Reconfigurable Workflows. CoRR Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato
2016	J	`jnl`	Neuromorphic Robot Dream. CoRR Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
2016	—	`ed.`	Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers Ershov Memorial Conference Manuel Mazzara, Andrei Voronkov
2016	—	`conf`	Quality Attributes in Practice: Contemporary Data. KES-AMSTA Rasul Tumyrkin, Manuel Mazzara, Mohamad Kassab, Giancarlo Succi, Jooyoung Lee
2016	J	`jnl`	Quality Attributes in Practice: Contemporary Data. CoRR Rasul Tumyrkin, Manuel Mazzara, Mohamad Kassab, Giancarlo Succi, Jooyoung Lee
2016	J	`jnl`	Refinement types in Jolie. CoRR Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
2016	—	`conf`	Robot Dream. KES-AMSTA Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
2016	J	`jnl`	Robot Dream. CoRR Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
2016	—	`conf`	Self-adaptive Node-Based PCA Encodings. SEDA Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee
2016	—	`conf`	The Agile Coordination Processes. SEDA Manuel Mazzara, Alberto Sillitti
2016	J	`jnl`	The BioDynaMo Project. CoRR Roman Bauer, Lukas Breitwieser, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Max Talanov
2016	J	`jnl`	The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations. CoRR Lukas Breitwieser, Roman Bauer, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Fons Rademakers, Max Talanov
2016	—	`conf`	The Internet of Hackable Things. SEDA Nicola Dragoni, Alberto Giaretta, Manuel Mazzara
2016	J	`jnl`	Towards Anthropo-inspired Computational Systems: the $P^3$ Model. CoRR Michael W. Bridges, Salvatore Distefano, Manuel Mazzara, Marat Minlebaev, Max Talanov, Jordi Vallverdú
2016	J	`jnl`	Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing. CoRR Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese
2016	J	`jnl`	Usability of AutoProof: a case study of software verification. CoRR Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin
2015	J	`jnl`	Data-driven Workflows for Microservices. CoRR Larisa Safina, Manuel Mazzara, Fabrizio Montesi
2015	J	`jnl`	Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi
2015	B	`conf`	Neuromodulating Cognitive Architecture: Towards Biomimetic Emotional AI. AINA Max Talanov, Jordi Vallverdú, Salvatore Distefano, Manuel Mazzara, Radhakrishnan Delhibabu
2015	J	`jnl`	Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2015	—	`conf`	Towards Anthropo-Inspired Computational Systems: The P KES-AMSTA Michael W. Bridges, Salvatore Distefano, Manuel Mazzara, Marat Minlebaev, Max Talanov, Jordi Vallverdú
2014	—	`conf`	A Timed Semantics of Workflows. ICSOFT (Selected Papers) Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara
2014	J	`jnl`	An LTL Semantics of Business Workflows with Recovery. CoRR Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
2014	—	`conf`	An LTL Semantics of BusinessWorkflows with Recovery. ICSOFT PT Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
2014	J	`jnl`	Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. Int. J. Syst. Serv. Oriented Eng. Manuel Mazzara, Michele Ciavotta
2014	J	`jnl`	On Formalisms for Dynamic Reconfiguration of Dependable Systems. CoRR Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce, Manuel Mazzara
2014	—	`ed.`	Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. MOD* Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara
2013	J	`jnl`	Dynamic allocation and admission policies for QoS-aware provisioning systems. Int. J. Crit. Comput. Based Syst. Michele Mazzucco, Manuel Mazzara, Nicola Dragoni
2013	J	`jnl`	Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. CoRR Manuel Mazzara, Michele Ciavotta
2013	J	`jnl`	Social Networks and Collective Intelligence: A Return to the Agora. CoRR Manuel Mazzara, Luca Biselli, Pier Paolo Greco, Nicola Dragoni, Antonio Marraffa, Nafees Qamar, Simona de Nicola
2013	J	`jnl`	Towards a Formalism-Based Toolkit for Automotive Applications. CoRR Rainer Gmehlich, Katrin Grau, Alexei Iliasov, Michael Jackson, Felix Loesch, Manuel Mazzara
2013	J	`jnl`	Towards a formal analysis of dynamic reconfiguration in WS-BPEL. Intell. Decis. Technol. Faisal Abouzaid, Manuel Mazzara, John Mullins, Nafees Qamar
2013	—	`conf`	Towards a formalism-based toolkit for automotive applications. FormaliSE@ICSE Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara
2012	J	`jnl`	Implementing Workflow Reconfiguration in WS-BPEL. J. Internet Serv. Inf. Secur. Manuel Mazzara, Nicola Dragoni, Mu Zhou
2012	—	`conf`	Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. KES-AMSTA Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni
2012	J	`jnl`	On Methods for the Formal Specification of Fault Tolerant Systems CoRR Manuel Mazzara
2012	—	`conf`	Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift). AT Luca Biselli, Nicola Dragoni, Emanuela Goldoni, Pier Paolo Greco, Antonio Marraffa, Manuel Mazzara, Georgios Papageorgiou
2011	—	`conf`	Design, Modelling and Analysis of a Workflow Reconfiguration. PNSE Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya
2011	J	`jnl`	The Polidoxa Shift: a New Approach to Social Networks. J. Internet Serv. Inf. Secur. Manuel Mazzara, Antonio Marraffa, Luca Biselli, Luca Chiarabini
2011	—	`conf`	Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. WS-FM Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya
2010	J	`jnl`	Deriving Specifications of Dependable Systems: toward a Method CoRR Manuel Mazzara
2010	J	`jnl`	Design of QoS-aware Provisioning Systems CoRR Michele Mazzucco, Manuel Mazzara, Nicola Dragoni
2010	J	`jnl`	On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems CoRR Manuel Mazzara, Anirban Bhattacharyya
2009	—	`conf`	A Formal Semantics for the WS-BPEL Recovery Framework - The WS-FM Nicola Dragoni, Manuel Mazzara
2007	J	`jnl`	A pi-calculus based semantics for WS-BPEL. J. Log. Algebraic Methods Program. Roberto Lucchi, Manuel Mazzara
2007	A	`conf`	BPMO: Semantic Business Process Modeling and WSMO Extension. ICWS Zhixian Yan, Emilia Cimpian, Michal Zaremba, Manuel Mazzara
2007	—	`conf`	Business Process Modeling: Classifications and Perspectives. BPSC Zhixian Yan, Manuel Mazzara, Emilia Cimpian, Alexander Urbanec
2006	—	`conf`	Towards a Unifying Theory for Web Services Composition. WS-FM Manuel Mazzara, Ivan Lanese
2006	—	`—`	Towards abstractations for web services composition. Manuel Mazzara
2005	C	`conf`	A Case Study of Web Services Orchestration. COORDINATION Manuel Mazzara, Sergio Govoni
2005	—	`conf`	Timing Issues in Web Services Composition. EPEW/WS-FM Manuel Mazzara
2004	—	`conf`	A Formal Framework for Web Services Coordination. FOCLASA Claudio Guidi, Roberto Lucchi, Manuel Mazzara
2004	—	`conf`	A Framework for Generic Error Handling in Business Processes. WSFM Manuel Mazzara, Roberto Lucchi