default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAli Jaoua
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c53]Sardar Anisul Haque, Ali Jaoua, Jihad Mohamad Al Ja'am, Hafeez Ur Rehman:
Reducing a 3-SAT Instance to a Set of 2-SAT Instances Using the Idea of Set Covering Problem. ICCA 2023: 1-3- 2022
- [j39]Aboubakr Aqle
, Dena Al-Thani, Ali Jaoua:
Can search result summaries enhance the web search efficiency and experiences of the visually impaired users? Univers. Access Inf. Soc. 21(1): 171-192 (2022) - [j38]Aboubakr Aqle, Dena Al-Thani, Ali Jaoua:
Correction to: Can search result summaries enhance the web search efficiency and experiences of the visually impaired users? Univers. Access Inf. Soc. 21(1): 327 (2022) - 2021
- [c52]Ahammed Waseem Palliyali, Maaz Abdulaziz Al-Khalifa, Saad Farooq, Julien Abinahed, Abdulla Al-Ansari, Ali Jaoua:
Comparative Study of Extractive Text Summarization Techniques. AICCSA 2021: 1-6 - 2020
- [j37]Ahmad Qadeib Alban, Fahad Islam, Qutaibah M. Malluhi, Ali Jaoua:
Anomalies Detection in Software by Conceptual Learning From Normal Executions. IEEE Access 8: 179845-179856 (2020) - [c51]Ahmad Qadeib Alban, Ali Jaoua:
A Goal-Oriented Fault Tolerance Software Enhanced by Critical Information Code Protection. AICCSA 2020: 1-8 - [c50]Mohamed A. Ali, Ali Jaoua, Somaya Ali Al-Máadeed:
A novel Conceptual Machine Learning Method using Random Conceptual Decomposition. ICIoT 2020: 18-22
2010 – 2019
- 2019
- [j36]Alaa Awad Abdellatif, Ahmed Emam, Carla-Fabiana Chiasserini, Amr Mohamed, Ali Jaoua, Rabab Ward:
Edge-based compression and classification for smart healthcare systems: Concept, implementation and evaluation. Expert Syst. Appl. 117: 1-14 (2019) - [i3]Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias:
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR abs/1910.14011 (2019) - 2018
- [c49]Aboubakr Aqle, Dena Al-Thani, Ali Jaoua:
Conceptual Interactive Search Engine Interface for Visually Impaired Web Users. AICCSA 2018: 1-6 - [c48]Haya Al-Thani, Hanadi Hassen, Somaya Al-Máadeed, Noora Fetais, Ali Jaoua:
Unsupervised Technique for Anomaly Detection in Qatar Stock Market. ICCA 2018: 116-9 - [c47]Yeshwanth Durairaj Gunasekaran, Abolfazl Asudeh, Sona Hasani, Nan Zhang, Ali Jaoua, Gautam Das:
QR2: A Third-Party Query Reranking Service over Web Databases. ICDE 2018: 1653-1656 - [i2]Yeshwanth D. Gunasekaran, Abolfazl Asudeh, Sona Hasani, Nan Zhang, Ali Jaoua, Gautam Das:
QR2: A Third-party Query Reranking Service Over Web Databases. CoRR abs/1807.05258 (2018) - [i1]Aboubakr Aqle, Dena Al-Thani, Ali Jaoua:
Analyze Unstructured Data Patterns for Conceptual Representation. CoRR abs/1808.10259 (2018) - 2017
- [j35]Jameela Al Otaibi, Zeineb Safi, Abdelaali Hassaïne, Fahad Islam, Ali Jaoua:
Machine Learning and Conceptual Reasoning for Inconsistency Detection. IEEE Access 5: 338-346 (2017) - [j34]Eman Rezk, Zainab Awan, Fahad Islam, Ali Jaoua, Somaya Al-Máadeed, Nan Zhang, Gautam Das, Nasir M. Rajpoot:
Conceptual data sampling for breast cancer histology image classification. Comput. Biol. Medicine 89: 59-67 (2017) - [j33]Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili:
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13(2-3): 219-239 (2017) - [c46]Abdelaali Hassaïne, Zeineb Safi, Jameela Al Otaibi, Ali Jaoua:
Text Categorization Using Weighted Hyper Rectangular Keyword Extraction. AICCSA 2017: 959-965 - [c45]Azade Nazi, Abolfazl Asudeh, Gautam Das, Nan Zhang, Ali Jaoua:
MobiFace: A Mobile Application for Faceted Search over Hidden Web Databases. ICCA 2017: 13-17 - [c44]Fahad Islam, Abdelaali Hassaïne, Ali Jaoua, Gautam Das, Nan Zhang:
Individual Query Cardinality Estimation using Multiple Query Combinations on a Search Engine's Corpus. ICCA 2017: 312-316 - [c43]Eman Rezk, Aboubakr Aqle, Ali Jaoua, Gautam Das, Nan Zhang:
Optimized Processing of a Batch of Aggregate Queries over Hidden Databases. ICCA 2017: 317-324 - [c42]Saad Bin Suhaim, Nan Zhang, Gautam Das, Ali Jaoua:
HDBExpDetector: Aggregate Sudden-Change Detector over Dynamic Web Databases. ICDE 2017: 1369-1370 - 2016
- [j32]Somaya Al-Máadeed, Fethi Ferjani, Samir Elloumi, Ali Jaoua:
A novel approach for handedness detection from off-line handwriting using fuzzy conceptual reduction. EURASIP J. Image Video Process. 2016: 1 (2016) - [j31]Samir Elloumi, Fethi Ferjani, Ali Jaoua:
Using minimal generators for composite isolated point extraction and conceptual binary relation coverage: Application for extracting relevant textual features. Inf. Sci. 336: 129-144 (2016) - [c41]Aboubakr Aqle, Fahad Islam, Eman Rezk, Ali Jaoua:
Mobile app conceptual browser: Online marketplaces information extraction. AICCSA 2016: 1-8 - [c40]Abdelaali Hassaïne, Zeineb Safi, Ali Jaoua:
Authenticity detection as a binary text categorization problem: Application to Hadith authentication. AICCSA 2016: 1-7 - [c39]Eman Rezk, Syrinne Babi, Fahad Islam, Ali Jaoua:
Uncertain training data set conceptual reduction: A machine learning perspective. FUZZ-IEEE 2016: 1842-1849 - [c38]Alaa Awad, Amal Saad, Ali Jaoua, Amr Mohamed, Carla-Fabiana Chiasserini:
In-Network Data Reduction Approach Based on Smart Sensing. GLOBECOM 2016: 1-7 - 2015
- [c37]Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili:
Relational Mathematics for Relative Correctness. RAMiCS 2015: 191-208 - [c36]Abdelaali Hassaïne, Souad Mecheter, Ali Jaoua:
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification. RAMiCS 2015: 312-325 - [c35]Jameela Al Otaibi, Samir Elloumi, Ali Jaoua, Abdelaali Hassaïne:
Using conceptual reasoning for inconsistencies detection in Islamic advisory opinion (Fatwas). AICCSA 2015: 1-5 - 2014
- [j30]Ali Mili, Ali Jaoua, Marcelo F. Frias, Rasha Gaffer Mohamed Helali:
Semantic metrics for software products. Innov. Syst. Softw. Eng. 10(3): 203-217 (2014) - [j29]Samir Elloumi, Bilel Boulifa, Ali Jaoua, Mohammad Saleh, Jameela Al Otaibi, Marcelo F. Frias:
Inference engine based on closure and join operators over Truth Table Binary Relations. J. Log. Algebraic Methods Program. 83(2): 180-193 (2014) - [j28]Weimo Liu, Saad Bin Suhaim, Saravanan Thirumuruganathan, Nan Zhang, Gautam Das, Ali Jaoua:
HDBTracker: Monitoring the Aggregates On Dynamic Hidden Web Databases. Proc. VLDB Endow. 7(13): 1569-1572 (2014) - [c34]Ali Mili, Marcelo F. Frias, Ali Jaoua:
On Faults and Faulty Programs. RAMiCS 2014: 191-207 - [c33]Abdelaali Hassaïne, Samir Elloumi, Fethi Ferjani, Ali Jaoua:
Hyper rectangular trend analysis application to Islamic rulings (fatwas). AICCSA 2014: 318-325 - [c32]Samir Elloumi, Ali Jaoua, Bilel Boulifa, Mohammad Saleh, Jameela Al Otaibi:
ConProve: A conceptual prover system. AICCSA 2014: 647-651 - 2013
- [j27]Samir Elloumi, Ali Jaoua, Fethi Ferjani, Nasredine Semmar, Romaric Besançon, Jihad Mohamad Al'Jaam, Helmi Hammami:
General learning approach for event extraction: Case of management change event. J. Inf. Sci. 39(2): 211-224 (2013) - [c31]Abdelaali Hassaïne, Somaya Al-Máadeed, Jihad Mohamad Al'Jaam, Ali Jaoua:
ICDAR 2013 Competition on Gender Prediction from Handwriting. ICDAR 2013: 1417-1421 - [c30]Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias:
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE 2013: 88-107 - 2012
- [j26]Fethi Ferjani, Samir Elloumi, Ali Jaoua, Sadok Ben Yahia, Sahar Ahmad Ismail, Sheikha Ravan:
Formal context coverage based on isolated labels: An efficient solution for text feature extraction. Inf. Sci. 188: 198-214 (2012) - [c29]Sahar Ahmad Ismail, Ali Jaoua:
Incremental Pseudo Rectangular Organization of Information Relative to a Domain. RAMiCS 2012: 264-277 - [c28]Masoud Udi Mwinyi, Sahar Ahmad Ismail, Jihad M. Alja'am, Ali Jaoua:
Understanding Simple Stories through Concepts Extraction and Multimedia Elements. NDT (1) 2012: 23-32 - 2011
- [j25]Jihad Mohamad Jaam, Ali Jaoua, Saleh Alhazbi, Ahmad Hasnah, Ali Karime, Abdelmutalib A. Elsaddik:
An Assistive Computerized System with Tangible User Interfaces for Children with Moderate Intellectual and Learning Disabilities. Int. J. Emerg. Technol. Learn. 6(S2): 11-19 (2011) - [j24]Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 80(6): 219-220 (2011) - [c27]Abdelaali Hassaïne, Somaya Al-Máadeed, Jihad M. Alja'am, Ali Jaoua, Ahmed Bouridane:
The ICDAR2011 Arabic Writer Identification Contest. ICDAR 2011: 1470-1474 - [c26]Ines Bouzouita, Michel Liquiere, Samir Elloumi, Ali Jaoua:
A Comparative Study of a New Associative Classification Approach for Mining Rare and Frequent Classification Rules. ISA 2011: 43-52 - [c25]Moutaz Saleh Mustafa, Jihad Mohamad Al'Jaam, Ali Jaoua, Abdulmotaleb El-Saddik:
An Arabic-Based Tutorial System for Children with Special Needs. SPIT/IPC 2011: 16-20 - 2010
- [c24]Nasredine Semmar, Hassane Essafi, Ali Jaoua, Ayman Ahmed Zayan, Helmi Hammami, Firas Laban:
Using a cross-language information retrieval approach to improve Computer-Aided Translation performance. ISDA 2010: 760-765 - [c23]Ali Jaoua, Jihad Mohamad Al'Jaam, Helmi Hammami, Fethi Ferjani, Firas Laban, Nasredine Semmar, Hassane Essafi, Samir Elloumi:
Financial events detection by conceptual news categorization. ISDA 2010: 1101-1106
2000 – 2009
- 2009
- [c22]Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia:
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. RelMiCS 2009: 199-210 - [c21]Jihad M. Alja'am, Samir ElSeoud, Arthur Edwards Block, Miguel Ángel García-Ruíz, Ali Jaoua:
An Assistive Computerized System for Children with Intellectual and Learning Disabilities. ICOST 2009: 9-16 - [c20]Jihad M. Alja'am, Ali Jaoua, Hosam F. El-Sofany, Haya Alsuwaidi, Noor Alkuwari, Hamda Aldosari, Samir ElSeoud, Arthur Edwards Block, Miguel Ángel García-Ruíz, Brenda Lazarus:
A Tutorial-Based System for Children with Intellectual Disability. ICTA 2009: 211-214 - [e1]Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings. Lecture Notes in Computer Science 5827, Springer 2009, ISBN 978-3-642-04638-4 [contents] - 2006
- [j23]Jihad M. Alja'am, Ali Jaoua, Ahmad Hasnah, Fatma Hassan, Hassan Mohamed, Tahani Mosaid, Hanan Saleh, Fatma Abdullah, Hassan Cherif:
Text Summarization Based on Conceptual Data Classification. Int. J. Inf. Technol. Web Eng. 1(4): 22-36 (2006) - [c19]Ibtissem Nafkha, Ali Jaoua:
Cooperative Conceptual Retrieval for Heterogeneous Information. ICDIM 2006: 326-331 - 2005
- [c18]Ibtissem Nafkha, Ali Jaoua:
Using Formal Concept Analysis for Heterogeneous Information Retrieval. CLA 2005 - 2004
- [j22]Samir Elloumi, Jihad Mohamad Jaam, Ahmad Hasnah, Ali Jaoua, Ibtissem Nafkha:
A multi-level conceptual data reduction approach based on the Lukasiewicz implication. Inf. Sci. 163(4): 253-262 (2004) - [c17]Ibtissem Nafkha, Samir Elloumi, Ali Jaoua:
Using Concept Formal Analysis for Cooperative Information Retrieval. CLA 2004 - 2003
- [c16]Sadok Ben Yahia, Cherif Chiraz Latiri, Guy W. Mineau, Ali Jaoua:
Découverte des règles associatives non redondantes - Application aux corpus textuels. EGC 2003: 131-144 - [c15]Samir Elloumi, Ali Jaoua:
Apprentissage des seuil dans le classifieur flou par localisation de concepts. INFORSID 2003: 299-315 - 2002
- [j21]Jarallah AlGhamdi, Muhammad Sarfraz, Ali Jaoua, Moataz A. Ahmed:
Software Engineering: Systems and Tools - Preface. Inf. Sci. 140(3-4): 193-194 (2002) - [j20]Henda Bélaïd Ajroud, Ali Jaoua, S. Kaabi:
Classes extraction from procedural programs. Inf. Sci. 140(3-4): 283-294 (2002) - [j19]Ali Jaoua, Samir Elloumi:
Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier. J. Syst. Softw. 60(2): 149-163 (2002) - [c14]Cherif Chiraz Latiri, Samir Elloumi, Sadok Ben Yahia, Ali Jaoua:
Textmining: extension de la connexion de Galois floue. EGC 2002: 375-386 - 2001
- [j18]Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull:
Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001) - [j17]Hédia Mhiri Sellami, Ali Jaoua:
Une méthode de classification de données binaires basée sur la décomposition rectangulaire. Monde des Util. Anal. Données 26: 1-18 (2001) - 2000
- [j16]Raoudha Khchérif, Mohamed Mohsen Gammoudi, Ali Jaoua:
Using difunctional relations in information organization. Inf. Sci. 125(1-4): 153-166 (2000) - [c13]Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia:
Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making. RelMiCS 2000: 141-149 - [c12]Sadok Ben Yahia, Khedija Arour, Ali Jaoua:
Completing Missing Values Using Discovered Formal Concepts. DEXA 2000: 741-751
1990 – 1999
- 1999
- [j15]Ali Jaoua, Gunther Schmidt:
Relational Methods in Computer Science. Inf. Sci. 119(3-4): 131-133 (1999) - [j14]Sadok Ben Yahia, Habib Ounalli, Ali Jaoua:
An Extension of Classical Functional Dependency: Dynamic Fuzzy Functional Dependency. Inf. Sci. 119(3-4): 219-234 (1999) - [c11]Ala Eddine Barouni, Ali Jaoua, Nejib Zaguia:
Visualizing Algorithms for the Design and Analysis of Survivable Networks. GD 1999: 232-241 - [c10]Hédia Mhiri Sellami, Ali Jaoua:
Non-supervised Rectangular Classification of Binary Data. IEA/AIE 1999: 642-648 - [c9]Sadok Ben Yahia, Ali Jaoua:
BRRA: A Based Relevant Rectangles Algorithm for Mining Relationships in Databases. PAKDD 1999: 515-519 - 1998
- [j13]Henda Bélaïd Ajroud, Ali Jaoua:
Abstraction of Objects by Conceptual Clustering. Inf. Sci. 109(1-4): 79-94 (1998) - [j12]Mondher Maddouri, Samir Elloumi, Ali Jaoua:
An Incrementa Learning System for Imprecise and Uncertain Knowledge Discovery. Inf. Sci. 109(1-4): 149-164 (1998) - [c8]Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini:
May reasoning be reduced to an information retrieval problem? RelMiCS 1998: 29-32 - [c7]Khedija Arour, Ali Jaoua:
Rectangular Decomposition of Signature File: Design Issues and Performance Evaluation. DEXA 1998: 113-124 - [c6]Ala Eddine Barouni, Ali Jaoua, Nejib Zaguia:
Planar Drawing Algorithms of Survivable Telecommunication Networks. JCDCG 1998: 65-80 - 1997
- [j11]Henda Bélaïd Ajroud, Ali Jaoua:
Automatic Architectural Abstraction. Inf. Sci. 96(1&2): 107-127 (1997) - [j10]Raoudha Khchérif, Ali Jaoua:
Rectangular Decomposition Heuristics for Documentary Databases. Inf. Sci. 102(1-4): 187-202 (1997) - [c5]Sadok Ben Yahia, Habib Ounalli, Ali Jaoua:
Dynamic fuzzy functional dependency. RelMiCS 1997: 39-50 - [c4]Habib Ounalli, Ali Jaoua:
Fuzzy Difunctional Dependencles. RelMiCS 1997: 51-62 - [c3]Raoudha Khchérif, Ali Jaoua, Mohamed Mohsen Gammoudi:
Using Difunctional Relation for Information Organization. RelMiCS 1997: 63-72 - [p1]Ali Jaoua, Nadir Belkhiter, Habib Ounalli, Théodore Moukam:
Databases. Relational Methods in Computer Science 1997: 197-210 - 1996
- [j9]Habib Ounalli, Ali Jaoua:
On Fuzzy Difunctional Relations. Inf. Sci. 95(3): 219-232 (1996) - [c2]Mondher Maddouri, Ali Jaoua:
Incremental Rule Production: Towards a Uniform Approach for Knowledge Organization. IEA/AIE 1996: 295-304 - 1995
- [j8]Khedija Arour, Ali Jaoua:
Signature Extraction Method in Rectangular Database. Inf. Sci. 87(1-3): 65-78 (1995) - [j7]Ali Jaoua, Habib Ounalli, Nadir Belkhiter:
Automatic Entity Extraction From an N-Ary Relation: Toward a General Law for Information Decomposition. Inf. Sci. 87(1-3): 153-169 (1995) - [j6]Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia:
Embedding a Demonic Semilattice in a Relational Algebra. Theor. Comput. Sci. 149(2): 333-360 (1995) - [c1]Habib M. Ammari, Ali Jaoua:
Minimal program covering based on the output variables. ISCC 1995: 282-288 - 1993
- [j5]Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili:
A Relation Division Operator: The Conjugate Kernel. Theor. Comput. Sci. 114(2): 247-272 (1993) - 1991
- [j4]Ali Jaoua, Ali Mili, Noureddine Boudriga, J. L. Durieux:
Regularity of Relations: A Measure of Uniformity. Theor. Comput. Sci. 79(2): 323-339 (1991) - 1990
- [j3]Ali Jaoua, Ali Mili:
The use of executable assertions for error detection and damage assessment. J. Syst. Softw. 12(1): 15-37 (1990)
1980 – 1989
- 1987
- [j2]Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés:
On the use of executable assertions in structured programs. J. Syst. Softw. 7(1): 15-28 (1987) - [j1]Ahmed Ferchichi, Ali Jaoua:
Teaching first year programming: a proposal. ACM SIGCSE Bull. 19(3): 48-52 (1987)
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-08-05 21:15 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:
