Noomene Ben Henda
-
- Model-Driven Software Engineering Techniques 2
-
- Formal Methods in Verification 5
- semigroups and automata theory 2
-
- Logic, programming, and type systems 3
- Cryptography and Data Security 1
- Logic, Reasoning, and Knowledge 1
-
- User Authentication and Security Systems 1
-
- Gene Regulatory Network Analysis 1
- Journals
- Logical Methods in Computer Science (1 paper)International Journal of Foundations of Computer Science (1 paper)KTH Publication Database DiVA (KTH Royal Institute of Technology) (1 paper)
- Partner nations
- SwedenUnited StatesItaly
In The Last Decade
Noomene Ben Henda
6 papers receiving 41 citations
Peers
Comparison fields: 5 of 17
- Software 19
- Computational Theory and Mathematics 36
- Artificial Intelligence 19
- Hardware and Architecture 3
- Computer Networks and Communications 10
Countries citing papers authored by Noomene Ben Henda
This map shows the geographic impact of Noomene Ben Henda's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Noomene Ben Henda with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Noomene Ben Henda more than expected).
Fields of papers citing papers by Noomene Ben Henda
This network shows the impact of papers produced by Noomene Ben Henda. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Noomene Ben Henda. The network helps show where Noomene Ben Henda may publish in the future.
Co-authorship network
The 6 scholars most cited alongside Noomene Ben Henda, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2014 | 6 | |
| 2 | 2009 | 8 | |
| 3 | Regular Model Checking without Transducers | 2007 | 8 |
| 4 | 2007 | 12 | |
| 5 | Eager Markov Chains | 2006 | 0 |
| 6 | 2006 | 4 | |
| 7 | 2005 | 8 |
About Noomene Ben Henda
Noomene Ben Henda is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence, having authored 7 papers that have together received 46 indexed citations. Recurring topics across this work include Formal Methods in Verification (5 papers), Logic, programming, and type systems (3 papers), semigroups and automata theory (2 papers), Model-Driven Software Engineering Techniques (2 papers), Cryptography and Data Security (1 paper), User Authentication and Security Systems (1 paper), Logic, Reasoning, and Knowledge (1 paper) and Gene Regulatory Network Analysis (1 paper). The work is most often cited by research in Software (19 citations), Computational Theory and Mathematics (36 citations) and Artificial Intelligence (19 citations). Noomene Ben Henda has collaborated with scholars based in Sweden, United States and Italy. Frequent co-authors include Parosh Aziz Abdulla, Richard Mayr, Ahmed Rezine, Giorgio Delzanno, Susanne Sandberg and Sven Sandberg. Their work appears in journals such as Logical Methods in Computer Science, International Journal of Foundations of Computer Science, KTH Publication Database DiVA (KTH Royal Institute of Technology) and Edinburgh Research Explorer.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.