Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRamiro Varela
Ramiro Varela Arias
Person information
- affiliation: University of Oviedo, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j43]Lis Arufe, Riccardo Rasconi, Angelo Oddi
, Ramiro Varela, Miguel A. González:
New coding scheme to compile circuits for Quantum Approximate Optimization Algorithm by genetic evolution. Appl. Soft Comput. 144: 110456 (2023)- [j42]Francisco Javier Gil Gala, María R. Sierra, Carlos Mencía, Ramiro Varela:
Surrogate model for memetic genetic programming with application to the one machine scheduling problem with time-varying capacity. Expert Syst. Appl. 233: 120916 (2023) - [j41]J. M. Górriz, I. Álvarez Illán, Agustín Álvarez Marquina, Juan Eloy Arco, Martin Atzmüller, F. Ballarini, Emilia I. Barakova, Guido Bologna, María Paula Bonomini, Germán Castellanos-Domínguez, Diego Castillo-Barnes, S. B. Cho, A. Ricardo Contreras, J. M. Cuadra, Enrique Domínguez, Francisco Domínguez-Mateos, Richard J. Duro, David A. Elizondo, Antonio Fernández-Caballero, Eduardo Fernández, Marco A. Formoso, Nicolás Gallego-Molina, Javier Gamazo, Javier González Jiménez, Jacob Rodriguez-Rivero, Carlos Garre del Olmo, F. Javier Garrigós, Andrés Gómez-Rodellar, Pedro Gómez Vilda, Manuel Graña, Bernabé Rodríguez-Tapia, Sophie C. F. Hendrikse, Carmen Jimenez-Mesa, Marina Jodra-Chuan, Vicente Julián, G. Gabriela Kotz, Krzysztof Kutt, Matthew Leming, Javier de Lope Asiaín, Beatriz del Cisne Macas Ordónez, V. Marrero-Aguiar, José Javier Martínez, Francisco Jesús Martínez-Murcia, Rafael Martínez-Tomás, Jirí Mekyska, Grzegorz J. Nalepa, Paulo Novais, D. Orellana, Andrés Ortiz, Daniel Palacios-Alonso, José T. Palma, António Pereira, Pedro Pinacho Davidson, M. A. Pinninghoff, M. Ponticorvo, Alexandra Psarrou, Javier Ramírez, Mariano Rincón, V. Rodellar-Biarge, Ignacio Rodríguez-Rodríguez, Peter H. M. P. Roelofsma, José Santos, Diego Salas-Gonzalez, Pedro Salcedo Lagos, Fermín Segovia, Afshin Shoeibi, M. Silva, Dragan Simic, John Suckling, Jan Treur, Athanasios Tsanas, Ramiro Varela, S. H. Wang, Wei Wang, Y. D. Zhang, Hengde Zhu, Z. Zhu, J. M. Ferrández-Vicente:
Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends. Inf. Fusion 100: 101945 (2023) - [j40]Francisco Javier Gil Gala, Marko Durasevic, Ramiro Varela, Domagoj Jakobovic:
Ensembles of priority rules to solve one machine scheduling problem in real-time. Inf. Sci. 634: 340-358 (2023) - [j39]José Manuel Ferrández, José Santos, Ramiro Varela:
Preface. Nat. Comput. 22(4): 613-614 (2023) - [j38]Lis Arufe, Riccardo Rasconi, Angelo Oddi, Ramiro Varela, Miguel Ángel González:
Solving quantum circuit compilation problem variants through genetic algorithms. Nat. Comput. 22(4): 631-644 (2023) - [j37]Francisco Javier Gil Gala, Marko Durasevic, María R. Sierra, Ramiro Varela:
Evolving ensembles of heuristics for the travelling salesman problem. Nat. Comput. 22(4): 671-684 (2023) - 2022
- [j36]Francisco Javier Gil Gala, María R. Sierra, Carlos Mencía, Ramiro Varela:
Combining hyper-heuristics to evolve ensembles of priority rules for on-line scheduling. Nat. Comput. 21(4): 553-563 (2022) - [j35]Raúl Mencía, Carlos Mencía, Ramiro Varela:
A memetic algorithm for restoring feasibility in scheduling with limited makespan. Nat. Comput. 21(4): 577-587 (2022) - [j34]Lis Arufe, Miguel A. González, Angelo Oddi, Riccardo Rasconi, Ramiro Varela:
Quantum circuit compilation by genetic algorithm for quantum approximate optimization algorithm applied to MaxCut problem. Swarm Evol. Comput. 69: 101030 (2022) - 2021
- [j33]Raúl Mencía, Carlos Mencía, Ramiro Varela:
Efficient repairs of infeasible job shop problems by evolutionary algorithms. Eng. Appl. Artif. Intell. 104: 104368 (2021) - [j32]Francisco Javier Gil Gala, Carlos Mencía, María R. Sierra, Ramiro Varela:
Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms. Integr. Comput. Aided Eng. 28(1): 65-80 (2021) - [j31]Francisco Javier Gil Gala, María R. Sierra, Carlos Mencía, Ramiro Varela:
Genetic programming with local search to evolve priority rules for scheduling jobs on a machine with time-varying capacity. Swarm Evol. Comput. 66: 100944 (2021) - 2019
- [j30]Francisco Javier Gil Gala, Carlos Mencía, María R. Sierra, Ramiro Varela:
Evolving priority rules for on-line scheduling of jobs on a single machine with variable capacity over time. Appl. Soft Comput. 85 (2019) - [j29]Carlos Mencía, María R. Sierra, Raúl Mencía, Ramiro Varela:
Evolutionary one-machine scheduling in the context of electric vehicles charging. Integr. Comput. Aided Eng. 26(1): 49-63 (2019) - [j28]José Manuel Ferrández, José Santos Reyes, Ramiro Varela:
Preface. Nat. Comput. 18(2): 215-216 (2019) - 2017
- [j27]José Manuel Ferrández, Ramiro Varela:
Bio-inspired population-based meta-heuristics for problem solving. Nat. Comput. 16(2): 187-188 (2017) - 2016
- [j26]Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela:
Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators. Integr. Comput. Aided Eng. 23(3): 269-285 (2016) - [j25]Tong Wu, Yanchun Liang, Ramiro Varela, Chunguo Wu, Guozhong Zhao, Xiaosong Han:
Self-adaptive SVDD integrated with AP clustering for one-class classification. Pattern Recognit. Lett. 84: 232-238 (2016) - 2015
- [j24]Miguel A. González, Camino R. Vela, Ramiro Varela, Inés González Rodríguez:
An advanced scatter search algorithm for solving job shops with sequence dependent and non-anticipatory setups. AI Commun. 28(2): 179-193 (2015) - [j23]Carlos Mencía, María R. Sierra, Miguel A. Salido, Joan Escamilla, Ramiro Varela:
Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules. AI Commun. 28(2): 365-381 (2015) - [j22]Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela:
Memetic algorithms for the job shop scheduling problem with operators. Appl. Soft Comput. 34: 94-105 (2015) - [j21]Alejandro Hernández-Arauzo, Jorge Puente, Ramiro Varela, Javier Sedano:
Electric vehicle charging under power and balance constraints as dynamic scheduling. Comput. Ind. Eng. 85: 306-315 (2015) - [j20]Miguel A. González, Angelo Oddi, Riccardo Rasconi, Ramiro Varela:
Scatter search with path relinking for the job shop with time lags and setup times. Comput. Oper. Res. 60: 37-54 (2015) - [j19]Miguel A. González, Camino R. Vela, Ramiro Varela:
Scatter search with path relinking for the flexible job shop scheduling problem. Eur. J. Oper. Res. 245(1): 35-45 (2015) - [j18]María R. Sierra, Carlos Mencía, Ramiro Varela:
New schedule generation schemes for the job-shop problem with operators. J. Intell. Manuf. 26(3): 511-525 (2015) - 2014
- [j17]Carlos Mencía, María R. Sierra, Ramiro Varela:
Intensified iterative deepening A* with application to job shop scheduling. J. Intell. Manuf. 25(6): 1245-1255 (2014) - [j16]José Manuel Ferrández, Ramiro Varela:
Non conventional computing and constraint optimization. Nat. Comput. 13(2): 129-130 (2014) - [j15]Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela:
A genetic algorithm for job-shop scheduling with operators enhanced by weak Lamarckian evolution and search space narrowing. Nat. Comput. 13(2): 179-192 (2014) - 2013
- [j14]Carlos Mencía, María R. Sierra, Ramiro Varela:
Depth-first heuristic search for the job shop scheduling problem. Ann. Oper. Res. 206(1): 265-296 (2013) - [j13]Miguel A. González, Camino R. Vela, Inés González Rodríguez, Ramiro Varela:
Lateness minimization with Tabu search for job shop scheduling problem with sequence dependent setup times. J. Intell. Manuf. 24(4): 741-754 (2013) - 2012
- [j12]Ramiro Varela, José Manuel Ferrández:
Solving problems with natural computing. Nat. Comput. 11(1): 129-130 (2012) - [j11]Miguel A. González, Camino R. Vela, Ramiro Varela:
A competent memetic algorithm for complex scheduling. Nat. Comput. 11(1): 151-160 (2012) - [j10]Miguel A. González, Inés González Rodríguez, Camino R. Vela, Ramiro Varela:
An efficient hybrid evolutionary algorithm for scheduling with setup times and weighted tardiness minimization. Soft Comput. 16(12): 2097-2113 (2012) - 2010
- [j9]Camino R. Vela, Ramiro Varela, Miguel A. González:
Local search and genetic algorithm for the job shop scheduling problem with sequence dependent setup times. J. Heuristics 16(2): 139-165 (2010) - [j8]María R. Sierra, Ramiro Varela:
Pruning search spaces by dominance rules: a case study in the job shop scheduling. Int. J. Reason. based Intell. Syst. 2(1): 51-59 (2010) - [j7]María R. Sierra, Ramiro Varela:
Pruning by dominance in best-first search for the job shop Scheduling problem with total flow time. J. Intell. Manuf. 21(1): 111-119 (2010) - 2009
- [j6]Ramiro Varela, Camino R. Vela, Jorge Puente, María R. Sierra, Inés González Rodríguez:
An effective solution for a real cutting stock problem in manufacturing plastic rolls. Ann. Oper. Res. 166(1): 125-146 (2009) - 2008
- [j5]Inés González Rodríguez, Jorge Puente, Camino R. Vela, Ramiro Varela:
Semantics of Schedules for the Fuzzy Job-Shop Problem. IEEE Trans. Syst. Man Cybern. Part A 38(3): 655-666 (2008) - 2003
- [j4]Camino R. Vela, Jorge Puente, César Luis Alonso, Ramiro Varela:
Computación Evolutiva para Resolución de CSPs. Inteligencia Artif. 7(20): 57-68 (2003) - [j3]Ramiro Varela, Camino R. Vela, Jorge Puente, Alberto Gómez:
A knowledge-based evolutionary strategy for scheduling problems with bottlenecks. Eur. J. Oper. Res. 145(1): 57-71 (2003) - 2001
- [j2]César Luis Alonso, Camino R. Vela, Ramiro Varela, Jorge Puente:
Ordered structures for parallel rule-based computations. Int. J. Comput. Math. 78(4): 499-520 (2001) - 2000
- [j1]Ramiro Varela, Camino R. Vela, Jorge Puente, César Luis Alonso:
Parallel Logic Programming for Problem Solving. Int. J. Parallel Program. 28(3): 275-319 (2000)
Conference and Workshop Papers
- 2023
- [c44]Lis Arufe, Riccardo Rasconi, Angelo Oddi, Ramiro Varela, Miguel Ángel González:
Multiobjective quantum circuit compilation (Short Paper). AIQxQIA@AI*IA 2023 - [c43]Jesús Quesada, Francisco Javier Gil Gala, Marko Durasevic, María R. Sierra, Ramiro Varela:
An analysis of heuristic templates in Genetic Programming for one-dimensional cutting and packing problems. GECCO Companion 2023: 623-626 - 2022
- [c42]Lis Arufe, Riccardo Rasconi, Angelo Oddi, Ramiro Varela, Miguel Ángel González:
Compiling Single Round QCCP-X Quantum Circuits by Genetic Algorithm. IWINAC (1) 2022: 88-97 - [c41]Francisco Javier Gil Gala, Marko Durasevic, María R. Sierra, Ramiro Varela:
Building Heuristics and Ensembles for the Travel Salesman Problem. IWINAC (1) 2022: 130-139 - 2021
- [c40]Francisco Javier Gil Gala, María R. Sierra, Carlos Mencía, Ramiro Varela:
The optimal filtering set problem with application to surrogate evaluation in genetic programming. GECCO Companion 2021: 129-130 - 2020
- [c39]Francisco Javier Gil Gala, Carlos Mencía, María R. Sierra, Ramiro Varela:
Exhaustive Search of Priority Rules for On-Line Scheduling. ECAI 2020: 2354-2361 - 2019
- [c38]Francisco Javier Gil Gala, Ramiro Varela:
Genetic Algorithm to Evolve Ensembles of Rules for On-Line Scheduling on Single Machine with Variable Capacity. IWINAC (2) 2019: 223-233 - [c37]Raúl Mencía, Carlos Mencía, Ramiro Varela:
Repairing Infeasibility in Scheduling via Genetic Algorithms. IWINAC (2) 2019: 254-263 - 2017
- [c36]Jorge García-Álvarez, Miguel A. González, Camino R. Vela, Ramiro Varela:
Electric Vehicle Charging Scheduling Using an Artificial Bee Colony Algorithm. IWINAC (1) 2017: 115-124 - [c35]Carlos Mencía, María R. Sierra, Raúl Mencía, Ramiro Varela:
Genetic Algorithm for Scheduling Charging Times of Electric Vehicles Subject to Time Dependent Power Availability. IWINAC (1) 2017: 160-169 - 2015
- [c34]Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela:
Schedule Generation Schemes and Genetic Algorithm for the Scheduling Problem with Skilled Operators and Arbitrary Precedence Relations. ICAPS 2015: 165-173 - [c33]Raúl Mencía, María R. Sierra, Ramiro Varela:
Genetic Algorithm for the Job-Shop Scheduling with Skilled Operators. IWINAC (2) 2015: 41-50 - 2013
- [c32]Miguel A. González, Camino R. Vela, Ramiro Varela:
An Efficient Memetic Algorithm for the Flexible Job Shop with Setup Times. ICAPS 2013 - [c31]Thanh-Do Tran, Ramiro Varela, Inés González Rodríguez, El-Ghazali Talbi:
Solving Fuzzy Job-Shop Scheduling Problems with a Multiobjective Optimizer. KSE (2) 2013: 197-209 - 2011
- [c30]María R. Sierra, Carlos Mencía, Ramiro Varela:
Optimally Scheduling a Job-Shop with Operators and Total Flow Time Minimization. CAEPIA 2011: 193-202 - [c29]Miguel A. González, Camino R. Vela, Ramiro Varela:
Weighted Tardiness Minimization in Job Shops with Setup Times by Hybrid Genetic Algorithm. CAEPIA 2011: 363-372 - [c28]Raúl Mencía, María R. Sierra, Carlos Mencía, Ramiro Varela:
Genetic Algorithm for Job-Shop Scheduling with Operators. IWINAC (2) 2011: 305-314 - 2010
- [c27]Carlos Mencía, María R. Sierra, Ramiro Varela:
Partially Informed Depth-First Search for the Job Shop Problem. ICAPS 2010: 113-120 - 2009
- [c26]Miguel A. González, Camino R. Vela, Ramiro Varela:
A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times. CAEPIA 2009: 212-221 - [c25]Miguel A. González, Camino R. Vela, Ramiro Varela:
Genetic Algorithm Combined with Tabu Search for the Job Shop Scheduling Problem with Setup Times. IWINAC (1) 2009: 265-274 - 2008
- [c24]Miguel A. González, Camino R. Vela, Ramiro Varela:
A New Hybrid Genetic Algorithm for the Job Shop Scheduling Problem with Setup Times. ICAPS 2008: 116-123 - [c23]Inés González Rodríguez, Camino R. Vela, Jorge Puente, Ramiro Varela:
A New Local Search for the Job Shop Problem with Uncertain Durations. ICAPS 2008: 124-131 - [c22]Inés González Rodríguez, Jorge Puente, Ramiro Varela, Camino R. Vela:
A Study of Schedule Robustness for Job Shop with Uncertainty. IBERAMIA 2008: 31-41 - [c21]María R. Sierra, Ramiro Varela:
Pruning Search Space by Dominance Rules in Best First Search for the Job Shop Scheduling Problem. ICSOFT (PL/DPS/KE) 2008: 273-280 - 2007
- [c20]Ramiro Varela, César Muñoz, María R. Sierra, Inés González Rodríguez:
A Multi-Objective Genetic Algorithm for Cutting-Stock in Plastic Rolls Industry. ICSOFT (PL/DPS/KE/MUSE) 2007: 186-193 - [c19]Ramiro Varela, César Muñoz, María R. Sierra, Inés González Rodríguez:
Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm. ICSOFT/ENASE (Selected Papers) 2007: 332-344 - [c18]César Muñoz, María R. Sierra, Jorge Puente, Camino R. Vela, Ramiro Varela:
Improving Cutting-Stock Plans with Multi-objective Genetic Algorithms. IWINAC (1) 2007: 528-537 - 2006
- [c17]Miguel A. González, Camino R. Vela, Ramiro Varela:
Scheduling with Memetic Algorithms over the Spaces of Semi-active and Active Schedules. ICAISC 2006: 370-379 - [c16]Miguel A. González, María R. Sierra, Camino R. Vela, Ramiro Varela, Jorge Puente:
Combining metaheuristics for the job shop scheduling problem with sequence dependent setup times. ICSOFT (2) 2006: 211-218 - [c15]Miguel A. González, María R. Sierra, Camino R. Vela, Ramiro Varela, Jorge Puente:
Combining Metaheuristics for the Job Shop Scheduling Problem with Sequence Dependent Setup Times. ICSOFT (Selected Papers) 2006: 348-360 - [c14]Miguel A. González, Camino R. Vela, María R. Sierra, Inés González Rodríguez, Ramiro Varela:
Comparing Schedule Generation Schemes in Memetic Algorithms for the Job Shop Scheduling Problem with Sequence Dependent Setup Times. MICAI 2006: 472-482 - 2005
- [c13]María R. Sierra, Ramiro Varela:
Optimal Scheduling with Heuristic Best First Search. AI*IA 2005: 173-176 - [c12]Miguel A. González, María R. Sierra, Camino R. Vela, Ramiro Varela:
Genetic Algorithms Hybridized with Greedy Algorithms and Local Search over the Spaces of Active and Semi-active Schedules. CAEPIA 2005: 231-240 - [c11]Ramiro Varela, David Serrano, María R. Sierra:
New Codification Schemas for Scheduling with Genetic Algorithms. IWINAC (2) 2005: 11-20 - 2003
- [c10]Jorge Puente, Helio R. Díez, Ramiro Varela, Camino R. Vela, Luis P. Hidalgo:
Heuristic Rules and Genetic Algorithms for Open Shop Scheduling Problem. CAEPIA 2003: 394-403 - [c9]Jorge Puente, Camino R. Vela, Carlos Prieto, Ramiro Varela:
Hybridizing a Genetic Algorithm with Local Search and Heuristic Seeding. IWANN (2) 2003: 329-336 - 2002
- [c8]Ramiro Varela, Elena Soto:
Scheduling as Heuristic Search with State Space Reduction. IBERAMIA 2002: 815-824 - [c7]Ramiro Varela, Camino R. Vela, Jorge Puente, David Serrano, Ana Suárez:
A New Chromosome Codification for Scheduling Problems. JCIS 2002: 647-650 - 2001
- [c6]Camino R. Vela, Ramiro Varela, Jorge Puente:
Initialization in Genetic Algorithms for Constraint Satisfaction Problems. IWANN (1) 2001: 693-700 - 1999
- [c5]Ramiro Varela, Alberto Gómez, Camino R. Vela, Jorge Puente, César Luis Alonso:
Heuristic Generation of the Initial Population in Solving Job Shop Problems by Evolutionary Strategies. IWANN (1) 1999: 690-699 - 1998
- [c4]Jorge Puente, Ramiro Varela, Camino R. Vela, César Luis Alonso:
A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction Problems. APPIA-GULP-PRODE 1998: 29-42 - 1997
- [c3]Camino R. Vela, César Luis Alonso, Ramiro Varela, Jorge Puente:
A Genetic Approach to Computing Independent AND Parallelism in Logic Programs. IWANN 1997: 566-575 - 1996
- [c2]Ramiro Varela, Camino R. Vela, Jorge Puente:
Efficient Producer/Consumer Parallelism in Logic Programming. APPIA-GULP-PRODE 1996: 233-244 - 1994
- [c1]Ramiro Varela:
El modelo RPS para la gestion del paralelismo AND independiente en programas logicos. GULP-PRODE (1) 1994: 251-265
Editorship
- 2023
- [e1]Marco Baioletti, Miguel Ángel González, Angelo Oddi, Riccardo Rasconi, Ramiro Varela:
Proceedings of the International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), November 6 - November 9, 2023, Roma Tre University, Rome, Italy. CEUR Workshop Proceedings 3586, CEUR-WS.org 2023 [contents]
Coauthor Index
a service of 
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-25 02:43 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:
