default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAhmed Hadj Kacem
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j47]Thouraya Gouasmi
, Ahmed Hadj Kacem:
Global reduction for geo-distributed MapReduce across cloud federation. Future Gener. Comput. Syst. 162: 107492 (2025)- 2024
- [c154]Lotfi Souifi, Nesrine Khabou, Ismael Bouassida Rodriguez, Ahmed Hadj Kacem:
Towards the Use of AI-Based Tools for Systematic Literature Review. ICAART (2) 2024: 595-603 - [e6]Slim Kallel, Zakaria Benzadri, Ahmed Hadj Kacem:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. CEUR Workshop Proceedings 3642, CEUR-WS.org 2024 [contents] - 2023
- [j46]Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem:
Personalized, context-aware, and adaptable persuasive approach for encouraging physical activity among older adults. Entertain. Comput. 46: 100567 (2023) - [j45]Imen Tounsi, Abdessamad Saidi, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. Future Gener. Comput. Syst. 148: 395-407 (2023) - [j44]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
A formal approach to specify and verify Internet of Things architecture. Internet Things 24: 100972 (2023) - [j43]Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem:
MAPE-K patterns for self-adaptation in cyber-physical systems. J. Supercomput. 79(5): 4917-4943 (2023) - [j42]Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem:
A survey on automation approaches of smart contract generation. J. Supercomput. 79(14): 16065-16097 (2023) - [c153]Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem:
An Approach for Modeling Annotation in the e-Health Domain. ICOST 2023: 269-281 - [c152]Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem:
Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC 2023: 27-42 - [c151]Feryel Benina, Nadira Benlahrache, Faiza Belala, Ahmed Hadj Kacem:
Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. TACC 2023: 148-158 - [e5]Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens:
Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13857, Springer 2023, ISBN 978-3-031-31107-9 [contents] - [e4]Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022. CEUR Workshop Proceedings 3333, CEUR-WS.org 2023 [contents] - 2022
- [j41]Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem:
A model transformation approach for multiscale modeling of software architectures applied to smart cities. Concurr. Comput. Pract. Exp. 34(7) (2022) - [j40]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem:
A handshake algorithm for scheduling communications in wireless sensor networks. Concurr. Comput. Pract. Exp. 34(7) (2022) - [j39]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling Autonomic Systems: Review, Classification, and Research Challenges. Int. J. Softw. Innov. 10(1): 1-22 (2022) - [j38]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. Innov. Syst. Softw. Eng. 18(4): 505-521 (2022) - [c150]Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem:
Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS 2022: 127-132 - [c149]Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem:
Annotation Systems in the Medical Domain: A Literature Review. ICOST 2022: 58-69 - [c148]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. ICOST 2022: 166-180 - [c147]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
Automated Transformation of IoT Systems Models into Event-B Specifications. ISDA (2) 2022: 93-104 - [c146]Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem:
ECO-TrackDrive: a tracking system for energy- efficient driving. TACC 2022: 98-105 - [e3]Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. CEUR Workshop Proceedings 3067, CEUR-WS.org 2022 [contents] - 2021
- [j37]Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. IET Softw. 15(4): 260-276 (2021) - [j36]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Healthcare Annotation Systems. Int. J. E Health Medical Commun. 12(3): 74-89 (2021) - [j35]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Educational Recommender System based on Learner's Annotative Activity. Int. J. Emerg. Technol. Learn. 16(10) (2021) - [j34]Slim Kallel, Frédéric Cuppens, Nora Boulahia-Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane:
Special issue on risk and security of smart systems. J. Inf. Secur. Appl. 61: 102925 (2021) - [c145]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. AINA (2) 2021: 95-106 - [c144]Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem:
A persuasive system to improve physical activities of older adults. TACC 2021: 14-24 - [c143]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
A Meta-Modeling Approach to Describe Internet of Things Architectures. TACC 2021: 25-36 - 2020
- [j33]Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem:
A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. 32(15) (2020) - [j32]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Ensuring the correctness of adaptive business processes: a systematic literature review. Int. J. Comput. Appl. Technol. 62(3): 189-199 (2020) - [j31]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. J. Netw. Syst. Manag. 28(2): 367-397 (2020) - [c142]Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem:
Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. ICOST 2020: 142-154 - [c141]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. ICOST 2020: 316-328 - [c140]Nesrine Charradi, Anis Kalboussi, Ahmed Hadj Kacem:
Web-based Applications and Services of Annotation in Electronic Commerce. iiWAS 2020: 322-330 - [c139]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Assistance of Student by Web Services based on Annotations. SIGITE 2020: 260-265 - [e2]Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem:
Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings. Lecture Notes in Computer Science 12026, Springer 2020, ISBN 978-3-030-41567-9 [contents]
2010 – 2019
- 2019
- [j30]Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem:
Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. 13(1): 36-48 (2019) - [j29]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Accountability management for multi-tenant cloud services. Int. J. Grid Util. Comput. 10(2): 141-158 (2019) - [j28]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Feature models as service contracts in service oriented architecture. Int. J. Serv. Technol. Manag. 25(3/4): 267-288 (2019) - [c138]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
An Annotation Model for Patient Record. HEALTHINF 2019: 272-280 - [c137]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC 2019: 57-76 - [c136]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formal Verification approaches of Self-adaptive Systems: A Survey. KES 2019: 1853-1862 - [c135]Amine Guidara, Saúl E. Pomares Hernández, Lil María Rodríguez-Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. SDS 2019: 186-193 - 2018
- [j27]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Exact and heuristic MapReduce scheduling algorithms for cloud federation. Comput. Electr. Eng. 69: 274-286 (2018) - [j26]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. Int. J. Comput. Appl. Technol. 57(1): 28-44 (2018) - [j25]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
Semantic Web Services Discovery: A Survey and Research Challenges. Int. J. Semantic Web Inf. Syst. 14(4): 57-72 (2018) - [j24]Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony:
Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. 101: 16-31 (2018) - [c134]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW 2018: 293-304 - [c133]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. EMCIS 2018: 144-157 - [c132]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Optimal Evidence Collection for Accountability in the Cloud. ICEBE 2018: 78-85 - [c131]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Annotations in e-health Domain. ICOST 2018: 189-199 - [c130]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. iiWAS 2018: 253-262 - [c129]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) 2018: 421-430 - [c128]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh:
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES 2018: 1541-1550 - [c127]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES 2018: 1551-1560 - [c126]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. PDP 2018: 85-92 - [c125]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS 2018: 1-10 - [c124]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. SAC 2018: 207-209 - [c123]Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem:
A refinement-based approach for specifying multi-scale software architectures: application to SoS. SAC 2018: 1660-1667 - [c122]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE 2018: 348-347 - [c121]Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony:
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM 2018: 180-193 - [c120]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Elastic Multi-Tenant Business Process Based on Temporal Constraints. WETICE 2018: 42-47 - [c119]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE 2018: 217-222 - 2017
- [j23]Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Computing of Learner's Personality Traits Based on Digital Annotations. Int. J. Artif. Intell. Educ. 27(2): 241-267 (2017) - [j22]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem:
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21(4) (2017) - [j21]Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning. Int. J. Distance Educ. Technol. 15(1): 28-51 (2017) - [j20]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. Int. J. Softw. Innov. 5(4): 59-73 (2017) - [j19]Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem:
Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. Int. J. Space Based Situated Comput. 7(2): 57-71 (2017) - [j18]Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem:
Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. RAIRO Theor. Informatics Appl. 51(2): 51-70 (2017) - [j17]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Generating reusable, searchable and executable "architecture constraints as services". J. Syst. Softw. 127: 91-108 (2017) - [j16]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Dealing with structural changes on provisioning resources for deadline-constrained workflow. J. Supercomput. 73(7): 2896-2918 (2017) - [c118]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem:
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS 2017: 1-6 - [c117]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Simulation tools for cloud computing: A survey and comparative study. ICIS 2017: 221-226 - [c116]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Design and timed verification of self-adaptive systems. ICIS 2017: 227-232 - [c115]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation. SCC 2017: 289-296 - [c114]Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem:
A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. AICCSA 2017: 622-629 - [c113]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. AINA 2017: 1082-1089 - [c112]Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem:
Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. ANT/SEIT 2017: 351-358 - [c111]Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem:
Model consistency for multi-scale architectures applied to smart systems. ANT/SEIT 2017: 400-407 - [c110]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Transformation of compound SOA Design Patterns. ANT/SEIT 2017: 408-415 - [c109]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Modeling and verification of temporal properties in cyber-physical systems. CCNC 2017: 325-330 - [c108]Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC 2017: 593 - [c107]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. ICEIS (2) 2017: 111-120 - [c106]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. ICEIS (Revised Selected Papers) 2017: 239-264 - [c105]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops 2017: 67-79 - [c104]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA 2017: 92-101 - [c103]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA 2017: 745-754 - [c102]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Iterative multi-scale modeling of software-intensive systems of systems architectures. SAC 2017: 1781-1786 - [c101]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. SERA 2017: 195-202 - [c100]Ahmed Ben Ayed, Julien Subercaze, Frédérique Laforest, Tarak Chaari, Wajdi Louati, Ahmed Hadj Kacem:
Docker2RDF: Lifting the Docker Registry Hub into RDF. SERVICES 2017: 36-39 - [c99]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017: 96-106 - [c98]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
rMatcher: A Tool for Semantic Web Services Discovery & Publication. WETICE 2017: 311-313 - 2016
- [j15]Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel:
Special issue Editorial: New technologies of distributed systems. Concurr. Comput. Pract. Exp. 28(9): 2749 (2016) - [j14]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. Int. J. Agent Oriented Softw. Eng. 5(2/3): 134-166 (2016) - [j13]Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview. Int. J. Emerg. Technol. Learn. 11(2): 4-11 (2016) - [j12]Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon:
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. J. Syst. Softw. 122: 364-377 (2016) - [j11]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. Rev. d'Intelligence Artif. 30(1-2): 159-183 (2016) - [c97]Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem:
Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. AINA Workshops 2016: 331-336 - [c96]Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ 2016: 198-212 - [c95]Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem:
Multi-scale modeling for software-intensive systems-of-systems architectures. SiSoS@ECSA 2016: 10:1-10:6 - [c94]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Time patterns for cyber-physical systems. ISCC 2016: 1208-1211 - [c93]Nizar Omheni, Ahmed Hadj Kacem:
"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. ITS 2016: 221-226 - [c92]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP 2016: 504-511 - [c91]Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem:
Software Architectures: Multi-Scale Refinement. SERA 2016: 265-272 - [c90]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and verifying self-adaptive systems: A refinement approach. SMC 2016: 3967-3972 - [c89]Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem:
A correct by construction approach for modeling and formalizing self-adaptive systems. SNPD 2016: 379-384 - [c88]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE 2016: 44-49 - [c87]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Multiple Software Product Lines for Service Oriented Architecture. WETICE 2016: 56-61 - [c86]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE 2016: 152-157 - [c85]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
A Novel Approach for Semantic Web Service Discovery. WETICE 2016: 250-252 - 2015
- [j10]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A refinement-based approach for building valid SOA design patterns. Int. J. Cloud Comput. 4(1): 78-104 (2015) - [c84]Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem:
A service-oriented architecture (SOA) framework for choreography verification. ICIS 2015: 642-646 - [c83]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Provisioning Approach of Cloud Resources for Dynamic Workflows. CLOUD 2015: 469-476 - [c82]Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira:
An Approach for Multiple-Instance Based Service Composition. SCC 2015: 435-442 - [c81]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A formal pattern for dynamic networks through evolving graphs. AICCSA 2015: 1-4 - [c80]Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah:
Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. AICCSA 2015: 1-7 - [c79]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A formal approach for SOA design patterns composition. AICCSA 2015: 1-8 - [c78]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture. CAL 2015: 61-78 - [c77]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Automatic Translation of Architecture Constraint Specifications into Components. ECSA 2015: 322-338 - [c76]Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment. ICALT 2015: 66-67 - [c75]Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem:
An Interactive Annotation System to Support the Learner with Web Services Assistance. ICALT 2015: 409-410 - [c74]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Analyzing Multi-tenant Cloud Services' Accountability. ICEBE 2015: 239-244 - [c73]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Controlling Elasticity Dependencies for Multi-tenant Business Process. ICEBE 2015: 251-256 - [c72]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A UML-based Approach for Multi-scale Software Architectures. ICEIS (2) 2015: 374-381 - [c71]Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem:
How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations. INTERACT (2) 2015: 115-133 - [c70]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Towards a multi-scale modeling approach for software architectures. SAC 2015: 1468-1470 - [c69]Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem:
Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. SNPD (revised selected papers) 2015: 213-226 - [c68]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) 2015: 227-243 - [c67]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
An Approach for SOA Design Patterns Composition. SOCA 2015: 219-226 - [c66]Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Automatic Recognition of Personality from Digital Annotations. WEBIST 2015: 273-280 - [c65]Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem:
A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. WETICE 2015: 23-28 - [c64]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. WETICE 2015: 35-40 - [c63]Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem:
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. WETICE 2015: 191-196 - 2014
- [j9]Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem:
A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services. Int. J. Metadata Semant. Ontologies 9(4): 350-370 (2014) - [c62]Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
The annotation: a track of reader's personality traits on paper. ACM Southeast Regional Conference 2014: 10:1-10:6 - [c61]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Feature model for modeling compound SOA design patterns. AICCSA 2014: 381-388 - [c60]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Multi-tenancy Aware Cloud Service Composition. AINA Workshops 2014: 404-409 - [c59]Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel:
Energy Saving in WSN Using Monitoring Values Prediction. ANT/SEIT 2014: 1154-1159 - [c58]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. CloudCom 2014: 154-161 - [c57]Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem:
Multi-tenant Services Monitoring for Accountability in Cloud Computing. CloudCom 2014: 620-625 - [c56]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. EMAS@AAMAS 2014: 40-57 - [c55]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A multi-scale modelling perspective for SoS architectures. ECSA Workshops 2014: 30:1-30:5 - [c54]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Workflow Scheduling in Cloud Computing: A Survey. EDOC Workshops 2014: 372-378 - [c53]Imen Graja, Imen Loulou, Ahmed Hadj Kacem:
SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. ENASE 2014: 172-179 - [c52]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem:
A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B. ICAART (2) 2014: 229-236 - [c51]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
Interoperability of healthcare information systems. ISNCC 2014: 1-5 - [c50]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. JFSMA 2014: 139-148 - [c49]Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem:
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM 2014: 363-377 - [c48]Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Prediction of Human Personality Traits From Annotation Activities. WEBIST (2) 2014: 263-269 - [c47]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE 2014: 50-55 - [c46]Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon:
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. WETICE 2014: 80-85 - 2013
- [j8]Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem:
An Approach of Assistance of Learner's Annotative Activity through Web Services. Aust. J. Intell. Inf. Process. Syst. 13(3) (2013) - [j7]Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel:
Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems. Concurr. Comput. Pract. Exp. 25(2): 159-160 (2013) - [j6]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Formal Approach for the Validation of Web Service Orchestrations. Int. J. Web Portals 5(1): 41-54 (2013) - [c45]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. CLOSER 2013: 386-389 - [c44]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Building Correct by Construction SOA Design Patterns: Modeling and Refinement. ECSA 2013: 33-44 - [c43]Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. ICEIS (2) 2013: 294-301 - [c42]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani:
Towards an approach for modeling and formalizing SOA design patterns with Event-B. SAC 2013: 1937-1938 - [c41]Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Annotative Activity as a Potential Source of Web Service Invocation. WEBIST 2013: 288-292 - [c40]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
An Approach for Modeling and Formalizing SOA Design Patterns. WETICE 2013: 330-335 - 2012
- [j5]Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem:
A formal approach to model and verify the behaviour of publish/subscribe architectural style. Int. J. Inf. Technol. Commun. Convergence 2(3): 234-252 (2012) - [c39]Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem:
MDA-Based Approach for Implementing Secure Mobile Agent Systems. AOSE 2012: 56-72 - [c38]Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem:
Vers une architecture d'auto-réparation sur le Cloud Computing. CAL 2012: 123-146 - [c37]Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem:
Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. COMPSAC Workshops 2012: 248-253 - [c36]Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem:
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. ICECCS 2012: 179-188 - [c35]Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem:
Modeling Secure Mobile Agent Systems. KES-AMSTA 2012: 330-339 - [c34]Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem:
A Formal Approach for the Validation of Web Service Orchestrations. WETICE 2012: 42-47 - [c33]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. WETICE 2012: 405-410 - [c32]Sirine Rebai, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. WETICE 2012: 423-425 - [c31]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
BpelVT: A Tool for Formal Validation of Web Service Orchestrations. WETICE 2012: 426-428 - 2011
- [c30]Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem:
Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. ICSOFT (2) 2011: 286-289 - 2010
- [j4]Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem:
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. J. Syst. Softw. 83(3): 412-428 (2010) - [c29]Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem:
$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. AOSE 2010: 148-164 - [c28]Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A Formal Approach to Enforcing Consistency in Self-adaptive Systems. ECSA 2010: 279-294 - [c27]Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Orchestrating Safe Behavioural Adaptations of Component-Based Systems. ICAS 2010: 37-46 - [e1]Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel:
NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings. IEEE 2010, ISBN 978-1-4244-7066-2 [contents]
2000 – 2009
- 2009
- [c26]Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem:
RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. DPM/SETOP 2009: 237-252 - 2008
- [c25]Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel:
Electing a leader in the local computation model using mobile agents. AICCSA 2008: 473-480 - [c24]Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah:
A formal security framework for mobile agent systems: Specification and verification. CRiSIS 2008: 69-76 - [c23]Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel:
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. ICDCN 2008: 286-291 - [c22]Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
Towards modelling and analysis of a coordination protocol for dynamic software adaptation. CSTST 2008: 499-507 - 2007
- [j3]Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel:
ForMAAD: A formal method for agent-based application design. Web Intell. Agent Syst. 5(4): 435-454 (2007) - [c21]Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. ECSA 2007: 44-59 - [c20]Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel:
A Distributed Computational Model for Mobile Agents. PRIMA 2007: 416-421 - [c19]Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel:
A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47 - 2006
- [j2]Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel:
ForMAAD Method: An Experimental Design for Air Traffic Control. Int. Trans. Syst. Sci. Appl. 1(4): 327-334 (2006) - [c18]Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
Compositional specification of event-based software architectural styles. AICCSA 2006: 337-344 - [c17]Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
Describing dynamic software architectures using an extended UML model. SAC 2006: 1245-1249 - [c16]Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira:
An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA 2006: 158-171 - 2005
- [c15]Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel:
A formal model for mobile agent systems using Z. AICCSA 2005: 113 - [c14]Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel:
Towards a formal methodology for developing multi-agent applications using temporal Z. AICCSA 2005: 123 - [c13]Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira:
Towards a UML profile for the description of dynamic software architectures. COEA 2005: 25-39 - [c12]Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira:
Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. ICEIS (3) 2005: 189-195 - [c11]Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira:
Using UML2.0 and GG for Describing the Dynamic of Software Architectures. ICITA (1) 2005: 46-51 - [c10]Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel:
Towards a Formal Methodology for Designing Multi-agent Applications. MATES 2005: 153-164 - 2004
- [c9]Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel:
Specification and Verification of Multi-Agent Applications using Temporal Z. IAT 2004: 260-266 - [c8]Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel:
Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. IBERAMIA 2004: 43-52 - [c7]Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. ICPS 2004: 227-234 - [c6]Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel:
Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA 2004: 228-242 - 2003
- [j1]Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith:
Apport des approches agent pour l'analyse syntaxique de l'arabe. Tech. Sci. Informatiques 22(4): 47-60 (2003) - [c5]Chafik Aloulou, Lamia Hadrich Belguith, Ahmed Hadj Kacem, Souha Hammami Mezghani:
Implémentation du système MASPAR selon une approche multi-agent. IWPT 2003 - 2002
- [c4]Mohamed Jmaiel, Ahmed Hadj Kacem:
An Operational Semantics for Negotiating Agents. PRIMA 2002: 77-91 - 2001
- [c3]Mohamed Jmaiel, Ahmed Hadj Kacem:
Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster). JFIADSMA 2001: 323-326 - [c2]Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem:
Cooperative Systems for Information Sharing and Exchange. WETICE 2001: 313-314
1990 – 1999
- 1993
- [c1]Ahmed Hadj Kacem, Jean-Luc Soubie, J. Frontin:
A Software Architecture for Cooperative Knowledge Based Systems. HCI (2) 1993: 303-308
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
