default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMercedes G. Merayo
◀ ▷ joint publications with coauthor community group 1
- > Home > Persons > Mercedes G. Merayo
Publications
- 2023
[j42]Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
:
Machine learning algorithms to forecast air quality: a survey. Artif. Intell. Rev. 56(9): 10031-10066 (2023)- [j41]Manuel Méndez, Mercedes G. Merayo, Manuel Núñez:
Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. Eng. Appl. Artif. Intell. 121: 106041 (2023) - [j40]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez:
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. 49(2): 549-563 (2023) - [c59]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products 2023: 34-48 - 2022
- [j39]María Castañeda, Mercedes G. Merayo, Juan Boubeta-Puig, Iván Calvo:
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information. J. Univers. Comput. Sci. 28(5): 445-474 (2022) - 2021
- [j38]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez:
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138: 106631 (2021) - [j37]Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
Wodel-Test: a model-based framework for language-independent mutation testing. Softw. Syst. Model. 20(3): 767-793 (2021) - [j36]David Granada, Juan M. Vara, Mercedes G. Merayo, Esperanza Marcos:
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF. Softw. Syst. Model. 20(3): 867-895 (2021) - [c58]Miguel Benito-Parejo, Mercedes G. Merayo:
Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts. CEC 2021: 2403-2410 - [c57]Rafal Palak, Krystian Wojtkiewicz, Mercedes G. Merayo:
An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System. ICCCI 2021: 508-520 - 2020
- [j35]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020) - [j34]Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
Systematic Engineering of Mutation Operators. J. Object Technol. 19(3): 3:1-16 (2020) - [c56]Iván Calvo, Mercedes G. Merayo, Manuel Núñez:
A Trading Framework Based on Fuzzy Moore Machines. ACIIDS (1) 2020: 123-134 - [c55]Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, Mercedes G. Merayo:
Mutation Operators for Google Query Language. ACIIDS (Companion) 2020: 354-365 - [c54]Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
Seed Model Synthesis for Testing Model-Based Mutation Operators. CAiSE Forum 2020: 64-76 - [c53]Miguel Benito-Parejo, Mercedes G. Merayo:
An evolutionary algorithm for selection of test cases. CEC 2020: 1-8 - [c52]Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Núñez:
An evolutionary technique for supporting the consensus process of group decision making. SMC 2020: 2201-2206 - 2019
- [j33]Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen:
Toward evaluating the level of crowd wisdom using interval estimates. J. Intell. Fuzzy Syst. 37(6): 7279-7289 (2019) - [j32]Iván Calvo, Mercedes G. Merayo, Manuel Núñez:
A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. 37(6): 7389-7399 (2019) - [j31]Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen:
An overview on consensus-based approaches to processing collective inconsistency and knowledge integration. WIREs Data Mining Knowl. Discov. 9(4) (2019) - [c51]Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez:
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) 2019: 741-752 - [c50]Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano:
Conformance Relations for Fuzzy Automata. IWANN (1) 2019: 753-765 - [c49]Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
Mutation testing for DSLs (tool demo). DSM@SPLASH 2019: 60-62 - 2018
- [j30]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j29]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104: 162-178 (2018) - [j28]Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez:
FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage. J. Inf. Telecommun. 2(1): 2-18 (2018) - [j27]Pablo C. Cañizares, Alberto Núñez, Mercedes G. Merayo:
Mutomvo: Mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. 143: 187-207 (2018) - [j26]Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
A tool for domain-independent model mutation. Sci. Comput. Program. 163: 85-92 (2018) - [j25]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [c48]Iván Calvo, Mercedes G. Merayo, Manuel Núñez:
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. ACIIDS (1) 2018: 694-704 - [c47]Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen:
Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance. ICCCI (1) 2018: 13-22 - [c46]Van Du Nguyen, Hai Bang Truong, Trong Hai Duong, Mercedes G. Merayo, Ngoc Thanh Nguyen:
A Comparative Study of Methods for Collective Prediction Determination Using Interval Estimates. WIMS 2018: 2:1-2:6 - [e5]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. Lecture Notes in Computer Science 11146, Springer 2018, ISBN 978-3-319-99926-5 [contents] - 2017
- [j24]Van Du Nguyen, Mercedes G. Merayo:
Intelligent collective: some issues with collective cardinality. J. Inf. Telecommun. 1(2): 127-140 (2017) - [j23]Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo:
Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. 1(3): 273-289 (2017) - [j22]Pablo C. Cañizares, Mercedes G. Merayo, Juan M. Vara:
LAnt: Model driven approach for ant colony optimization. J. Intell. Fuzzy Syst. 32(2): 1343-1354 (2017) - [j21]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez:
Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst. 32(2): 1485-1496 (2017) - [j20]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j18]Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo:
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16(1): 5-6 (2017) - [c45]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez:
Using fuzzy automata to diagnose and predict heart problems. CEC 2017: 846-853 - [c44]Van Du Nguyen, Mercedes G. Merayo, Ngoc Thanh Nguyen:
Intelligent Collective: The Role of Diversity and Collective Cardinality. ICCCI (1) 2017: 83-92 - [c43]Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez:
Using Ants to Fight Wildfire. IWANN (2) 2017: 371-380 - [c42]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Mercedes G. Merayo:
Using Evolutionary Computation to Improve Mutation Testing. IWANN (2) 2017: 381-391 - [c41]Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo:
Heuristics for ROSA's LTS Searching. IWANN (2) 2017: 427-437 - 2016
- [c40]Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez:
FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. ACIIDS (1) 2016: 770-779 - [c39]Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez:
EMINENT: EMbarrassINgly parallEl mutatioN Testing. ICCS 2016: 63-73 - [c38]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - 2015
- [j17]Mercedes G. Merayo, Alberto Núñez:
Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64: 19-35 (2015) - [j16]Yue Jia, Mercedes G. Merayo, Mark Harman:
Introduction to the special issue on Mutation Testing. Softw. Test. Verification Reliab. 25(5-7): 461-463 (2015) - 2014
- [j15]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - [j14]Alberto Nuñez, Mercedes G. Merayo:
A formal framework to analyze cost and performance in Map-Reduce based applications. J. Comput. Sci. 5(2): 106-118 (2014) - [c37]Maria Azahara Camacho-Magrinan, Mercedes G. Merayo, Inmaculada Medina-Bulo:
PTTAC: Passive Testing Tool for Asynchronous Systems. SITIS 2014: 223-229 - [e4]Mercedes G. Merayo, Edgardo Montes de Oca:
Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings. Lecture Notes in Computer Science 8763, Springer 2014, ISBN 978-3-662-44856-4 [contents] - 2013
- [j13]Robert M. Hierons, Mercedes G. Merayo:
Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). Inf. Softw. Technol. 55(5): 865 (2013) - [j12]Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013) - [c36]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - [c35]Alberto Nuñez, Rosa Filgueira, Mercedes G. Merayo:
SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications. ICCS 2013: 230-239 - [e3]Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0 [contents] - 2012
- [j11]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25(1): 35-62 (2012) - [j10]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. 22(6): 365-405 (2012) - [j9]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22(8): 583-608 (2012) - [c34]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Using Time to Add Order to Distributed Testing. FM 2012: 232-246 - [c33]Alberto Nuñez, César Andrés, Mercedes G. Merayo:
MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) 2012: 436-445 - [c31]Alberto Nuñez, César Andrés, Mercedes G. Merayo:
Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. ICCS 2012: 498-507 - 2011
- [j8]Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons:
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10(2): 201-217 (2011) - [j7]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41(10): 999-1026 (2011) - [c30]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403 - [e2]Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo:
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011 [contents] - 2010
- [c29]César Andrés, Mercedes G. Merayo, Yaofeng Zhang:
MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56 - [c28]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61 - [c27]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410 - [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602 - 2009
- [j6]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. 78(2): 98-115 (2009) - [j5]Lars Frantzen, Mercedes G. Merayo, Manuel Núñez:
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebraic Methods Program. 78(6): 417-424 (2009) - [j4]Robert M. Hierons, Mercedes G. Merayo:
Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82(11): 1804-1818 (2009) - [c26]César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez:
Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159 - [c25]Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli:
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205 - [c24]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76 - [c23]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80 - [c22]César Andrés, Mercedes G. Merayo, Carlos Molinero:
Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops 2009: 230-239 - [c21]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334 - [c20]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154 - [c19]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82 - [c18]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431 - [e1]Manuel Núñez, Paul Baker, Mercedes G. Merayo:
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Lecture Notes in Computer Science 5826, Springer 2009, ISBN 978-3-642-05030-5 [contents] - 2008
- [j3]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal testing from timed finite state machines. Comput. Networks 52(2): 432-460 (2008) - [j2]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez:
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74(2): 57-93 (2008) - [j1]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008) - [c17]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 - [c16]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Timed Systems. ATVA 2008: 418-427 - [c15]Mercedes G. Merayo, Manuel Núñez:
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102 - [c14]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Development of a Complex Information System. ICONS 2008: 118-123 - [c13]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - [c12]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - [c11]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 - 2007
- [c10]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A Brief Introduction to THOTL. ATVA 2007: 501-510 - [c9]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 - [c8]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 - [c7]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 - [c6]Mercedes G. Merayo, Manuel Núñez:
Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236 - [c5]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Generation of optimal finite test suites for timed systems. TASE 2007: 149-158 - 2006
- [c4]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137 - [c3]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387 - [c2]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez:
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54 - 2005
- [c1]Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo:
How does the memory work? By timed-arc Petri nets. IEEE ICCI 2005: 128-135
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-04-24 23:05 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:
