1openalex_id,contribution_type,description,judged_from,area,primary_category,year,period,type,doi,c36,ncs36,verdict,id_resolves_to_other_work,bib_key,title2W4311415873,method,Kd-trees extended to Bregman divergences with a C++ nearest-neighbour implementation (WADS 2025); the record's citation counts belong to another work,abstract,theory,algorithms,2025,post,conference-paper,10.4230/lipics.wads.2025.45,2355.0,1915.3516038917253,in_scope_research,yes,pham2025kdtree,Fast Kd-Trees for the Kullback-Leibler Divergence and Other Decomposable Bregman Divergences3W2402846924,survey,Book chapter on particle swarm optimisation (2019); generic-title chapter carrying thousands of citations,metadata_only,theory,algorithms,2019,baseline,book-chapter,10.1142/9789811205675_0004,3767.0,1171.7895003921208,textbook,no,,Particle Swarm Optimization4W4294558607,engineering,GNN-selected branching vertex inside branch-and-reduce for maximum independent set (SEA 2024); counts belong to another work,abstract,theory,algorithms,2024,post,article,10.4230/lipics.sea.2024.20,5183.0,861.3021555600685,in_scope_research,yes,langedal2024mis,Targeted Branching for the Maximum Independent Set Problem Using Graph Neural Networks5W4372046852,survey,"Textbook chapter 'Introduction to Algorithms' (2023), no abstract",metadata_only,theory,algorithms,2023,post,book-chapter,10.1007/978-3-031-26212-8_4,1114.0,804.2780269058295,textbook,no,,Introduction to Algorithms6W4285092328,theory,Dijkstra's 1959 shortest-path note reprinted in the 2022 ACM Books volume,abstract,theory,algorithms,2022,baseline,book-chapter,10.1145/3544585.3544600,868.0,724.7350484463749,reprint_misdated,no,,A Note on Two Problems in Connexion with Graphs7W3148190347,survey,"Book chapter 'Introduction to Graph Theory' (2023), no abstract",metadata_only,theory,algorithms,2023,post,book-chapter,10.1142/9789811273117_0001,503.0,455.41427595628414,textbook,no,,Introduction to Graph Theory8W7128526706,method,"Glider snake optimiser, nature-inspired metaheuristic benchmarked on CEC functions (2026)",abstract,theory,algorithms,2026,post,article,10.1007/s10462-026-11504-x,91.0,101.26493940172338,metaheuristic,no,,Glider snake optimizer (GSO): a nature-inspired metaheuristic algorithm for global and engineering optimization problems9W2112641412,survey,Gallian's dynamic survey of graph labelling (2022 edition),abstract,theory,algorithms,2022,post,article,10.37236/11668,1780.0,288.61814892416174,in_scope_survey,no,,A Dynamic Survey of Graph Labeling10W3183881215,survey,Apress textbook chapter 'Introduction to Algorithms' (2021),abstract,theory,algorithms,2021,baseline,book-chapter,10.1007/978-1-4842-7077-6_3,434.0,279.4307771487391,textbook,no,,Introduction to Algorithms11W2003494253,survey,CS2 textbook 'Algorithms + Data Structures = Programs' (2024),abstract,theory,algorithms,2024,post,book-chapter,10.1017/9781009260350.002,231.0,275.60804020100505,textbook,no,,Algorithms+Data Structures = Programs12W7125913058,method,MIP model and evolutionary decoding for multi-resource flexible job-shop scheduling under pallet automation (2026),abstract,theory,algorithms,2026,post,article,10.1109/tsmc.2026.3655483,73.0,84.02038567493113,in_scope_research,no,,Multiresource-Constrained Flexible Job Shop Scheduling With Fixture Pallets and Setup Stations Under Pallet Automation Systems13W1491280261,method,Grammar-guided genetic programming (CFG-GP) thesis re-deposited in 2022,abstract,theory,algorithms,2022,baseline,dissertation,10.26190/unsworks/6784,28.0,209.69298245614038,reprint_misdated,no,,Grammatical bias for evolutionary learning14W3111526966,survey,CRC textbook chapter on algorithms (2020),abstract,theory,algorithms,2020,baseline,book-chapter,10.1201/9781003091479-1,202.0,200.82966396292002,textbook,no,,Introduction to Algorithms15W3119051141,method,"Arithmetic Optimization Algorithm (2021), metaphor-based metaheuristic",abstract,theory,algorithms,2021,baseline,article,10.1016/j.cma.2020.113609,1513.0,176.3286814620167,metaheuristic,no,abualigah2021aoa,The Arithmetic Optimization Algorithm16W4406080942,method,"Artificial lemming algorithm (2025), bionic metaheuristic",abstract,theory,algorithms,2025,post,article,10.1007/s10462-024-11023-7,330.0,112.41427295439541,metaheuristic,no,,Artificial lemming algorithm: a novel bionic meta-heuristic technique for solving real-world engineering optimization problems17W2146101030,theory,Communication complexity of document exchange (SODA 2000) re-deposited with a 2026 date,abstract,theory,algorithms,2026,post,conference-paper,10.82444/warw.33642076,46.0,353.0526747845123,reprint_misdated,no,,Communication complexity of document exchange18W4405348595,survey,Book chapter 'Positive Definite Matrices' (2024); abstract field reads 'placeholder notes',abstract,theory,algorithms,2024,post,book-chapter,10.1142/9789811299223_0004,125.0,151.20861797162374,textbook,no,,Positive Definite Matrices19W7118096636,method,"Modified starfish optimisation algorithm applied to heart-disease data (2026), no abstract",metadata_only,theory,algorithms,2026,post,article,10.1016/j.eswa.2026.131088,42.0,46.737664339256945,metaheuristic,no,,A modified starfish optimization algorithm (M-SFOA) for global optimization problems and its application to heart disease risk prediction20W4233225156,survey,Springer undergraduate chapter 'Introduction to Algorithms' (2020),metadata_only,theory,algorithms,2020,baseline,book-chapter,10.1007/978-3-030-34209-8_4,149.0,148.13673232908457,textbook,no,,Introduction to Algorithms21W2891784792,theory,"Online algorithms with machine-learned predictions (ski rental, scheduling); 2024 arXiv posting of a 2018 conference paper",abstract,theory,algorithms,2024,post,preprint,10.48550/arxiv.2407.17712,112.0,142.64098765432098,reprint_misdated,no,,Improving Online Algorithms via ML Predictions22W7155156112,method,"Gray langurs optimiser (2026), multi-group bio-inspired metaheuristic",abstract,theory,algorithms,2026,post,article,10.1007/s10462-026-11529-2,40.0,44.5120612754828,metaheuristic,no,,Gray langurs optimizer: a multi-group bio-inspired optimization algorithm23W3139484821,method,"Aquila Optimizer (2021), metaphor-based metaheuristic, no abstract",metadata_only,theory,algorithms,2021,baseline,article,10.1016/j.cie.2021.107250,1186.0,138.21931012158083,metaheuristic,no,abualigah2021aquila,Aquila Optimizer: A novel meta-heuristic optimization algorithm24W2121903617,survey,CRC chapter 'Introduction to evolutionary algorithms' (2018 reprint),abstract,theory,algorithms,2018,baseline,book-chapter,10.1201/9781482268713-14,292.0,135.62163175992498,textbook,no,,Introduction to evolutionary algorithms25W1486707681,theory,"Sequence distance embeddings (doctoral thesis, Warwick) re-deposited with a 2026 date",abstract,theory,algorithms,2026,post,dissertation,10.82444/warw.33642484,38.0,1163.0179211469535,reprint_misdated,no,,Sequence distance embeddings26W2207864362,theory,"Algebraically defined digraphs over finite fields (thesis, 2024)",abstract,theory,algorithms,2024,post,dissertation,10.58088/v6j9-5f14,6.0,134.92307692307693,dissertation,no,,Properties of some algebraically defined digraphs27W4254202520,theory,Turing's 1936 'On Computable Numbers' in a 2021 MIT Press anthology,metadata_only,theory,computational_complexity,2021,baseline,book-chapter,10.7551/mitpress/12274.003.0008,353.0,227.2789500772002,reprint_misdated,no,,"On Computable Numbers, with an Application to the Entscheidungsproblem (1936)"28W1638203394,survey,"Li and Vitanyi, An Introduction to Kolmogorov Complexity (4th ed., 2019)",metadata_only,theory,computational_complexity,2019,baseline,book,10.1007/978-3-030-11298-1,1437.0,122.10728346456693,textbook,no,li2019kolmogorov,An Introduction to Kolmogorov Complexity and Its Applications29W2979043732,theory,"ETH-tight algorithms for geometric network problems (thesis, TU/e 2019); abstract field is boilerplate",abstract,theory,computational_complexity,2019,baseline,dissertation,,5.0,111.01694915254237,dissertation,no,,ETH-tight algorithms for geometric network problems30W2957144896,empirical,UTAUT model of mobile-learning adoption (psychology),abstract,theory,computational_complexity,2019,baseline,article,10.3389/fpsyg.2019.01652,177.0,72.24848261060211,misclassified,no,,Factors Determining the Behavioral Intention to Use Mobile Learning: An Application and Extension of the UTAUT Model31W4241184911,theory,Wolfram's two-dimensional cellular automata chapter (2018 CRC reprint),abstract,theory,computational_complexity,2018,baseline,book-chapter,10.1201/9780429494093-6,93.0,68.7493670886076,reprint_misdated,no,,Two-Dimensional Cellular Automata32W4394806711,empirical,"PLS-SEM survey on AI, social media and student well-being",abstract,theory,computational_complexity,2024,post,article,10.1016/j.heliyon.2024.e29523,197.0,59.311783860943,misclassified,no,,Artificial intelligence and social media on academic performance and mental well-being: Student perceptions of positive impact in the age of smart learning33W4386113651,method,Preprint: validation protocol for consciousness-theoretic claims about AI systems,abstract,theory,computational_complexity,2023,post,preprint,10.48550/arxiv.2308.08708,170.0,57.664,misclassified,no,,Cheap Correlate or Discriminating Property? An Executable Validation Protocol for Consciousness- and Cognition-Theoretic Claims about AI34W1513303009,theory,Wolfram's collected cellular-automata papers (CERN record),abstract,theory,computational_complexity,2019,baseline,article,,251.0,52.922228129373856,reprint_misdated,no,,Cellular Automata And Complexity: Collected Papers35W4406215947,empirical,Digital transformation and SME innovation performance (systems theory),abstract,theory,computational_complexity,2025,post,article,10.3390/systems13010043,104.0,24.553686934023286,misclassified,no,,"Digital Transformation and Innovation Performance in Small- and Medium-Sized Enterprises: A Systems Perspective on the Interplay of Digital Adoption, Digital Drive, and Digital Culture"36W2905177801,method,"Optimal trees for prediction and prescription (MIT OR thesis, 2018)",abstract,theory,computational_complexity,2018,baseline,dissertation,,5.0,51.149155722326455,misclassified,no,,Optimal trees for prediction and prescription37W2955897898,survey,Wireless communications above 100 GHz for 6G,abstract,theory,computational_complexity,2019,baseline,article,10.1109/access.2019.2921522,596.0,49.00829497340763,misclassified,no,,Wireless Communications and Applications Above 100 GHz: Opportunities and Challenges for 6G and Beyond38W4377102915,survey,"Smart digital technologies in learning environments, 'complexity theory' lens",abstract,theory,computational_complexity,2023,post,article,10.1016/j.heliyon.2023.e16348,204.0,47.81265827221507,misclassified,no,,"Challenges, opportunities, and prospects of adopting and using smart digital technologies in learning environments: An iterative review"39W3139085460,empirical,"Machine-learning education thesis (MIT, 2020)",abstract,theory,computational_complexity,2020,baseline,dissertation,,8.0,45.743589743589745,misclassified,no,,Reorienting machine learning education towards tinkerers and ML-engaged citizens40W2808541536,theory,"Meet-continuity and locally compact sober dcpos (domain theory thesis, 2018)",abstract,theory,computational_complexity,2018,baseline,dissertation,,10.0,44.30861723446894,dissertation,no,,Meet-continuity and locally compact sober dcpos41W73572444,survey,"Complexity Theory and the Social Sciences (Routledge, 2022)",abstract,theory,computational_complexity,2022,baseline,book,10.4324/9781003213574,215.0,43.70967741935484,misclassified,no,,Complexity Theory and the Social Sciences42W7122741622,survey,Digital fringe projection profilometry review (metrology),abstract,theory,computational_complexity,2026,post,article,10.3390/metrology6010003,12.0,32.16440030557678,misclassified,no,,"Recent Advances in Digital Fringe Projection Profilometry (2022–2025): Techniques, Applications, and Metrological Challenges—A Review"43W7133302269,empirical,AI-assisted learning tools and learning outcomes (cognitive load theory),abstract,theory,computational_complexity,2026,post,article,10.1016/j.chbr.2026.100986,12.0,85.25451005840362,misclassified,no,,AI-assisted learning tools and student learning outcomes: A cognitive load theory perspective44W7160425037,theory,SAT solved by restricted spiking neural P systems with temporal division rules (TCS 2026); no abstract,metadata_only,theory,computational_complexity,2026,post,article,10.1016/j.tcs.2026.116009,12.0,16.14637579169599,in_scope_research,no,,Solving SAT by restricted spiking neural P systems with temporal division rules45W4391177866,survey,Undergraduate chapter 'Computational Complexity' (2024),metadata_only,theory,computational_complexity,2024,post,book-chapter,10.1007/978-3-031-42209-6_2,32.0,38.1794687724336,textbook,no,,Computational Complexity46W4396808240,survey,Undergraduate chapter 'Parameterized Complexity' (2024),metadata_only,theory,computational_complexity,2024,post,book-chapter,10.1007/978-3-031-53744-8_9,29.0,35.08039936941671,textbook,no,,Parameterized Complexity47W3086066649,empirical,Digital learning and university brand image (Pakistan),abstract,theory,computational_complexity,2020,baseline,article,10.1108/aeds-04-2020-0063,110.0,32.031113421948945,misclassified,no,,The role of digital learning toward students' satisfaction and university brand image at educational institutes of Pakistan: a post-effect of COVID-1948W7127964361,empirical,Knowledge-management capability and hotel innovation (PLS-SEM),abstract,theory,computational_complexity,2026,post,article,10.3390/systems14020179,9.0,8.79467680608365,misclassified,no,,"Turning Knowledge into Innovation: The Systemic Role of Knowledge Management Capability, Intellectual Capital, and Knowledge Utilization"49W3122335070,engineering,Mobile learning system for CS education in Nigeria (thesis),abstract,theory,computational_complexity,2018,baseline,dissertation,,3.0,30.68949343339587,misclassified,no,,Design and development of a mobile learning system for computer science education in Nigerian higher education context50W2900179285,theory,Non-elementary lower bound for Petri-net reachability (STOC 2019),abstract,theory,computational_complexity,2019,baseline,conference-paper,10.1145/3313276.3316369,92.0,30.27399489989691,in_scope_research,no,czerwinski2019petri,The Reachability Problem for Petri Nets Is Not Elementary51W4408441779,empirical,Data-driven decision-making and SME creativity (PLS-SEM),abstract,theory,computational_complexity,2025,post,article,10.1109/tem.2025.3551331,59.0,19.444444444444446,misclassified,no,,Enhancing Creativity and Sustainable Competitive Advantage Through Data-Driven Decision-Making and Digital Leadership52W2964015378,method,APISS: functionality-equivalent API retrieval with LLM embeddings to migrate vulnerability PoCs (ECOOP 2025); counts belong to another work,abstract,software_pl,software_engineering,2025,post,conference-paper,10.4230/lipics.ecoop.2025.6,15245.0,11583.902021240152,in_scope_research,yes,chen2025apiss,Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories53W4293846201,engineering,Confiance.ai methodological framework for assessing ML model robustness (SAIA 2024); counts belong to another work,abstract,software_pl,software_engineering,2025,post,conference-paper,10.4230/oasics.saia.2024.1,4701.0,4178.076566446758,in_scope_research,yes,awadid2025robust,On Assessing ML Model Robustness: A Methodological Framework (Academic Track)54W2095152777,empirical,Royce's 1970 'Managing the Development of Large Software Systems' in a 2021 anthology,abstract,software_pl,software_engineering,2021,baseline,book-chapter,10.7551/mitpress/12274.003.0035,970.0,750.7662588538313,reprint_misdated,no,,Managing the Development of Large Software Systems (1970)55W2911537985,empirical,"Microservices vs service-oriented architecture (master thesis, 2018), no abstract",metadata_only,software_pl,software_engineering,2018,baseline,dissertation,,67.0,685.3986866791745,dissertation,no,,Microservices vs. Service-oriented architecture56W1486172410,survey,Cambridge textbook 'Introduction to Software Testing' (2021 chapter),abstract,software_pl,software_engineering,2021,baseline,book-chapter,10.1017/9781108974073.004,871.0,549.1255565449688,textbook,no,,Introduction to Software Testing57W7151510318,method,"Unsupervised translation of programming languages (doctoral thesis, French abstract, 2022)",abstract,software_pl,software_engineering,2022,baseline,dissertation,10.70675/416f6582z4576z444eza710z5e930d59bf97,56.0,485.7543859649123,dissertation,no,,Unsupervised Translation of Programming Languages58W4391974543,survey,Survey of 102 studies using LLMs for software testing (TSE 2024),abstract,software_pl,software_engineering,2024,post,article,10.1109/tse.2024.3368208,554.0,439.6107042253521,in_scope_survey,no,wang2024llmtesting,"Software Testing With Large Language Models: Survey, Landscape, and Vision"59W3185223169,method,"Effort-estimation model for agile development (thesis, 2020), no abstract",metadata_only,software_pl,software_engineering,2020,baseline,dissertation,,45.0,423.2192575406032,dissertation,no,,An Effort Estimation Model for Agile Software Development60W2171139698,method,"Evolutionary test-data generation for mutation testing (thesis, Kent); abstract field is a dedication",abstract,software_pl,software_engineering,2021,baseline,dissertation,10.22024/unikent/01.02.86353,19.0,394.8918918918919,dissertation,no,,Test data generation: two evolutionary approaches to mutation testing61W7131867455,empirical,Three randomised field experiments on AI coding assistants and developer output (Management Science 2026),abstract,software_pl,software_engineering,2026,post,article,10.1287/mnsc.2025.00535,97.0,689.140622972096,in_scope_research,no,cui2026genaiwork,The Effects of Generative AI on High-Skilled Work: Evidence from Three Field Experiments with Software Developers62W4399452770,survey,History of software-engineering degree programmes in Brazil (Computacao Brasil 2018),abstract,software_pl,software_engineering,2018,baseline,article,10.5753/compbr.2018.38.4541,611.0,323.9504225668329,in_scope_survey,no,,Engenharia de Software63W4408219312,method,"Type-hint fuzzing of Python programs (thesis, 2024)",abstract,software_pl,software_engineering,2024,post,dissertation,10.17760/d20705205,1.0,304.3333333333333,dissertation,no,,Leveraging type annotations for effective fuzzing of python programs64W4402442491,method,"Domain-oriented specification method (thesis, 2024)",abstract,software_pl,software_engineering,2024,post,dissertation,10.5463/thesis.831,1.0,304.3333333333333,dissertation,no,,From Smallest Software Particle to System Specification65W4403110951,method,"Semantics-aware testing of human-interactive systems (thesis, 2024)",abstract,software_pl,software_engineering,2024,post,dissertation,10.32657/10356/179951,1.0,304.3333333333333,dissertation,no,,Semantics-aware human-computer interaction software testing66W3008797115,method,Metamorphic testing technical report (1998) posted to arXiv in 2020,abstract,software_pl,software_engineering,2020,baseline,preprint,10.48550/arxiv.2002.12543,292.0,286.17663817663816,reprint_misdated,no,,Metamorphic Testing: A New Approach for Generating Next Test Cases67W3177813494,empirical,"Correctness-energy trade-offs of open code LLMs on Python bug fixing (ESEM 2026); record title, year and counts belong to other works",abstract,software_pl,software_engineering,2021,baseline,preprint,10.4230/lipics.esem.2026.34,678.0,275.3873466752744,in_scope_research,yes,naqvi2026bigger,A Direction-Aware Study of LLM-Based Code Translation Across Eight Programming Languages68W7110046239,empirical,Closed-world CWE classification by open LLMs on Big-Vul (ICPEC 2025); live citation count differs from the corpus window,abstract,software_pl,software_engineering,2025,post,article,10.4230/oasics.icpec.2025.4,540.0,468.828520182987,in_scope_research,no,gasparlopes2025vuln,Can Open Large Language Models Catch Vulnerabilities?69W4391677389,method,"Perspective-based specification of ML-enabled systems (thesis, 2023); abstract field is an acknowledgement",abstract,software_pl,software_engineering,2023,post,dissertation,10.17771/pucrio.acad.65972,8.0,230.9189189189189,dissertation,no,,IDENTIFYING CONCERNS WHEN SPECIFYING MACHINE LEARNING-ENABLED SYSTEMS: A PERSPECTIVE-BASED APPROACH70W7124592699,method,Multi-scale temporal deep model for just-in-time defect prediction (2026),abstract,software_pl,software_engineering,2026,post,article,10.1007/s44443-025-00401-y,64.0,454.690720311486,in_scope_research,no,,MSTDP: a multi-scale temporal deep learning framework for just-in-time software defect prediction with cross-attention fusion71W3007157104,survey,Machine-learning testing survey of 144 papers (TSE 2020/2022),abstract,software_pl,software_engineering,2020,baseline,article,10.1109/tse.2019.2962027,385.0,227.48310158362304,in_scope_survey,no,zhang2020mltesting,"Machine Learning Testing: Survey, Landscapes and Horizons"72W58732440,empirical,"Novice compilation behaviour in BlueJ (doctoral thesis, re-deposited 2021)",abstract,software_pl,software_engineering,2021,baseline,dissertation,10.22024/unikent/01.02.86458,60.0,226.01941747572815,reprint_misdated,no,,An exploration of novice compilation behaviour in BlueJ73W2725449579,survey,"Mutation testing advances: analysis and survey (2019), no abstract",metadata_only,software_pl,software_engineering,2018,baseline,book-chapter,10.1016/bs.adcom.2018.03.015,129.0,223.78585461689588,in_scope_survey,no,papadakis2019mutation,Mutation Testing Advances: An Analysis and Survey74W2962772482,survey,"Survey of methods for explaining black-box models (XAI, 2019)",abstract,software_pl,software_engineering,2019,baseline,article,10.1145/3236009,1432.0,217.74340797667946,misclassified,no,,A survey of methods for explaining black box models75W4293212596,engineering,"The Astropy Project: sustaining a community open-source scientific package (v5.0, 2022)",abstract,software_pl,software_engineering,2022,baseline,article,10.3847/1538-4357/ac7c74,2029.0,209.06737313811422,in_scope_research,no,,The Astropy Project : Sustaining and Growing a Community-oriented Open-source Project and the Latest Major Release (v5.0) of the Core Package*76W4381982883,empirical,"ChatGPT for education and research, with coding experiments (2023)",abstract,software_pl,software_engineering,2023,post,article,10.3390/app13095783,885.0,207.4225616221095,misclassified,no,,"ChatGPT for Education and Research: Opportunities, Threats, and Strategies"77W2114444139,empirical,Information-systems curriculum change (thesis),abstract,software_pl,programming_languages,2024,post,dissertation,10.25946/26315761,17.0,661.9925925925926,misclassified,no,,Innovation and Change in the Information Systems Curriculum of an Australian University:a Socio-Technical Perspective78W1844775953,theory,"Metric domains for completeness (doctoral thesis, Warwick) re-deposited with a 2026 date",abstract,software_pl,programming_languages,2026,post,dissertation,10.82444/warw.33641182,34.0,1040.594982078853,reprint_misdated,no,,Metric domains for completeness79W4396242417,method,LLift: LLM-assisted static analysis finding use-before-initialisation bugs in the Linux kernel (OOPSLA 2024),abstract,software_pl,programming_languages,2024,post,article,10.1145/3649828,148.0,117.44112676056338,in_scope_research,no,li2024llift,Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach80W2327217190,theory,"Separation logic for programs in virtual memory (seL4-lineage thesis, re-deposited 2022)",abstract,software_pl,programming_languages,2022,baseline,dissertation,10.26190/unsworks/23844,13.0,97.35745614035089,reprint_misdated,no,,Verification of programs in virtual memory using separation logic81W2491926874,theory,"Formal memory models for verifying C systems code (L4 lineage thesis, re-deposited 2022)",abstract,software_pl,programming_languages,2022,baseline,dissertation,10.26190/unsworks/17927,11.0,82.37938596491229,reprint_misdated,no,,Formal memory models for verifying C systems code82W4205342885,survey,Society 5.0 / Industry 5.0 and future universities,abstract,software_pl,programming_languages,2022,baseline,article,10.1007/s13132-021-00854-2,334.0,82.08749781143715,misclassified,no,,The Futures of Europe: Society 5.0 and Industry 5.0 as Driving Forces of Future Universities83W2189687801,method,"Program synthesis with lexicase selection (thesis, 2021); the abstract field holds a different thesis (moose ecology)",abstract,software_pl,programming_languages,2021,baseline,dissertation,10.7275/7408407.0,18.0,81.87032967032967,dissertation,no,,General Program Synthesis from Examples Using Genetic Programming with Parent Selection Based on Random Lexicographic Orderings of Test Cases84W2400988715,theory,Functional stable model semantics and ASP modulo theories (2026 arXiv posting of an earlier paper),abstract,software_pl,programming_languages,2026,post,preprint,10.48550/arxiv.2605.09524,22.0,856.0701754385965,reprint_misdated,no,,Functional Stable Model Semantics and Answer Set Programming Modulo Theories85W2796251079,survey,Springer chapter 'A Concise Introduction to Logic' (2018),metadata_only,software_pl,programming_languages,2018,baseline,book-chapter,10.1007/978-3-319-75844-2_6,167.0,77.56442638324476,textbook,no,,A Concise Introduction to Logic86W159920301,theory,"On intuitionistic linear logic (doctoral thesis, re-deposited 2021)",abstract,software_pl,programming_languages,2021,baseline,dissertation,10.48456/tr-346,16.0,72.77362637362637,reprint_misdated,no,,On intuitionistic linear logic87W4389109635,theory,"PBPO+ unifying algebraic graph transformation (thesis, 2023)",abstract,software_pl,programming_languages,2023,post,dissertation,10.5463/thesis.524,2.0,69.63636363636364,dissertation,no,,A Unifying Theory for Graph Transformation88W630549275,theory,"Clustered multikernel for verified multiprocessor kernels (thesis, re-deposited 2022)",abstract,software_pl,programming_languages,2022,baseline,dissertation,10.26190/unsworks/16534,9.0,67.40131578947368,reprint_misdated,no,,The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels89W4403223258,method,WhiteFox: white-box compiler fuzzing guided by LLMs reading optimisation source (OOPSLA 2024),abstract,software_pl,programming_languages,2024,post,article,10.1145/3689736,82.0,65.0687323943662,in_scope_research,no,yang2024whitefox,WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models90W4313480275,survey,Harel's 'Algorithmics: The Spirit of Computing' chapter (2023),metadata_only,software_pl,programming_languages,2023,post,book-chapter,10.1007/978-3-031-21762-3_3,64.0,57.94535519125683,textbook,no,,Algorithmics: The Spirit of Computing91W2790202156,method,ZEUS: abstract interpretation and CHC-based safety checking of smart contracts (NDSS 2018),abstract,software_pl,programming_languages,2018,baseline,conference-paper,10.14722/ndss.2018.23082,191.0,56.63186311787072,in_scope_research,no,kalra2018zeus,ZEUS: Analyzing Safety of Smart Contracts92W3207822760,empirical,"Cognitive predictors of programming skill, EEG study (thesis, 2021)",abstract,software_pl,programming_languages,2021,baseline,dissertation,10.33612/diss.168003240,15.0,56.50485436893204,dissertation,no,,Computer programming skills: A cognitive perspective93W4297611890,survey,Avigad's mathematical logic textbook chapter (2022),abstract,software_pl,programming_languages,2022,baseline,book-chapter,10.1017/9781108778756.017,61.0,50.93184096224524,textbook,no,,Subsystems of Second-Order Arithmetic94W2915211782,survey,Cambridge Handbook chapter on novice programmers (2019),metadata_only,software_pl,programming_languages,2019,baseline,book-chapter,10.1017/9781108654555.013,45.0,45.68985849056604,textbook,no,,Novice Programmers and Introductory Programming95W4381516741,survey,Springer chapter 'The Python Programming Language' (2023),metadata_only,software_pl,programming_languages,2023,post,book-chapter,10.1007/978-3-031-22206-1_2,82.0,45.335480407944175,textbook,no,,The Python Programming Language96W3115704172,engineering,"Lineage-driven fault injection for Akka actor programs (thesis, 2019)",abstract,software_pl,programming_languages,2019,baseline,dissertation,,2.0,42.74766355140187,dissertation,no,,Lineage-driven Fault Injection for Actor-based Programs97W3146286581,method,Probabilistic grammatical evolution (2021),abstract,software_pl,programming_languages,2021,baseline,dissertation,,9.0,40.935164835164834,dissertation,no,,Probabilistic Grammatical Evolution98W7134194765,method,Debris-flow hazard assessment with AHP-CRITIC and SHAP,abstract,software_pl,programming_languages,2026,post,article,10.1111/tgis.70218,11.0,15.074074074074074,misclassified,no,,A Debris‐Flow Hazard Assessment Framework Based on an Improved AHP – CRITIC Method: A Case Study of Gaoling Gully99W2797025890,empirical,Open educational practices (thesis),abstract,software_pl,programming_languages,2018,baseline,dissertation,10.13025/17505,6.0,38.953125,misclassified,no,,Openness and praxis: A situated study of academic staff meaning-making and decision-making with respect to openness and use of open educational practices in higher education100W4396905794,method,"Predicting TypeScript annotations with fine-tuned code models (thesis, 2024)",abstract,software_pl,programming_languages,2024,post,dissertation,10.17760/d20653005,1.0,38.94074074074074,dissertation,no,,Predicting typeScript type annotations and definitions with machine learning101W4410362977,theory,Calabi-Yau manifolds in black-hole scattering (Nature 2025),abstract,software_pl,programming_languages,2025,post,article,10.1038/s41586-025-08984-2,74.0,30.45267489711934,misclassified,no,,Emergence of Calabi–Yau manifolds in high-precision black-hole scattering102W3122286897,engineering,MLIR: reusable multi-level compiler infrastructure (CGO 2021),abstract,software_pl,compilers,2021,baseline,conference-paper,10.1109/cgo51591.2021.9370308,155.0,42.480268473059475,in_scope_research,no,lattner2021mlir,MLIR: Scaling Compiler Infrastructure for Domain Specific Computation103W4407983386,method,Photovoltaic power forecasting with TimesNet-BiLSTM,metadata_only,software_pl,compilers,2025,post,article,10.1016/j.energy.2025.135286,83.0,28.27389289459036,misclassified,no,,Parallel TimesNet-BiLSTM model for ultra-short-term photovoltaic power forecasting using STL decomposition and auto-tuning104W4399087350,survey,E-learning and business education in the GCC,metadata_only,software_pl,compilers,2024,post,book-chapter,10.1007/978-3-031-56586-1_67,61.0,39.77033011272142,misclassified,no,,E-learning and the Future of Business Education: The Case of GCC105W4398768423,benchmark,"LLM4VV: LLM-generated validation test suites for OpenACC compilers (FGCS 2024), no abstract",metadata_only,software_pl,compilers,2024,post,article,10.1016/j.future.2024.05.034,48.0,38.08901408450704,in_scope_research,no,munley2024llm4vv,LLM4VV: Developing LLM-driven testsuite for compiler validation106W2188794726,survey,Springer chapter 'Dynamic Dataflow Graphs' (2018),metadata_only,software_pl,compilers,2018,baseline,book-chapter,10.1007/978-3-319-91734-4_32,25.0,35.799701046337816,textbook,no,,Dynamic Dataflow Graphs107W4406882143,survey,Just-in-time adaptive interventions in mental health (systematic review),abstract,software_pl,compilers,2025,post,review,10.3389/fdgth.2025.1460167,54.0,4.153846153846154,misclassified,no,,Beyond the current state of just-in-time adaptive interventions in mental health: a qualitative systematic review108W2884622219,survey,Raw NMR data availability in natural-product research,abstract,software_pl,compilers,2018,baseline,article,10.1039/c7np00064b,51.0,27.040051638148082,misclassified,no,,"The value of universally available raw NMR data for transparency, reproducibility, and integrity in natural product research"109W3188948186,engineering,Fuzzy PID speed control of a DC motor (arXiv),abstract,software_pl,compilers,2021,baseline,preprint,10.48550/arxiv.2108.05450,73.0,24.44561426312255,misclassified,no,,Speed Control of DC Motor Using Fuzzy PID Controller110W2962724414,survey,Machine learning in compiler optimisation (Proc. IEEE 2018),abstract,software_pl,compilers,2018,baseline,article,10.1109/jproc.2018.2817118,64.0,22.34837655707576,in_scope_survey,no,wang2018mlcompiler,Machine Learning in Compiler Optimization111W4408711372,method,Polyhedral approximation for electricity-water nexus dispatch,abstract,software_pl,compilers,2025,post,article,10.1109/tsg.2025.3553737,39.0,8.943719676549865,misclassified,no,,A Progressive Polyhedral Approximation Method for Nonlinear PDE-Constrained Electricity-Water Nexus Dispatch112W4392397123,empirical,Educators' perceptions of AI in higher education,metadata_only,software_pl,compilers,2024,post,article,10.1016/j.ijer.2024.102326,64.0,19.268802878681992,misclassified,no,,Evolution to revolution: Critical exploration of educators’ perceptions of the impact of Artificial Intelligence (AI) on the teaching and learning process in the GCC region113W2783614532,survey,Survey on compiler autotuning with machine learning (CSUR 2018),abstract,software_pl,compilers,2018,baseline,article,10.1145/3197978,55.0,19.205636103736982,in_scope_survey,no,ashouri2018autotuning,A Survey on Compiler Autotuning using Machine Learning114W2206959660,method,"Compiler optimisation selection by program characterisation and ML (thesis, 2024)",abstract,software_pl,compilers,2024,post,dissertation,10.58088/85wq-pw11,1.0,19.080000000000002,dissertation,no,,Automatic selection of compiler optimizations using program characterization and machine learning115W2249134499,method,"Improving compiler optimisations using ML (thesis, 2024)",abstract,software_pl,compilers,2024,post,dissertation,10.58088/vbbd-jy30,1.0,19.080000000000002,dissertation,no,,Improving compiler optimizations using machine learning116W3139485201,method,"Towards automated construction of compiler optimisations (MIT thesis, 2020)",abstract,software_pl,compilers,2020,baseline,dissertation,,2.0,18.265060240963855,dissertation,no,,Towards automated construction of compiler optimizations117W3214427835,method,"Sparse tensor algebra compilation (MIT thesis, 2020)",abstract,software_pl,compilers,2020,baseline,dissertation,,2.0,18.265060240963855,dissertation,no,,Sparse tensor algebra compilation118W3023977240,method,"From constraint programming to heterogeneous parallelism (thesis, 2020)",abstract,software_pl,compilers,2020,baseline,dissertation,10.7488/era/309,2.0,18.265060240963855,dissertation,no,,From constraint programming to heterogeneous parallelism119W3046781014,engineering,ExaStencils: multigrid solver generation from a layered DSL (2020),abstract,software_pl,compilers,2020,baseline,book-chapter,10.1007/978-3-030-47956-5_14,12.0,18.204255319148935,in_scope_research,no,,ExaStencils: Advanced Multigrid Solver Generation120W7127344046,empirical,AI policy readiness in Omani higher education,abstract,software_pl,compilers,2026,post,article,10.1007/s44217-026-01188-4,5.0,35.52271252433485,misclassified,no,,Artificial intelligence policy challenges and institutional readiness in Omani higher education121W3132279601,empirical,COVID-19 and higher education in the GCC,metadata_only,software_pl,compilers,2021,baseline,conference-paper,10.1007/978-3-030-62066-0_12,37.0,17.288455680779773,misclassified,no,,Coping with COVID-19: Higher Education in the GCC Countries122W3103225940,engineering,"LLVM backend for the OpenModelica compiler (thesis, 2019)",abstract,software_pl,compilers,2019,baseline,dissertation,,3.0,16.862068965517242,dissertation,no,,An LLVM backend for the Open Modelica Compiler123W4313894866,survey,The science of literature reviews,abstract,software_pl,compilers,2023,post,article,10.3390/publications11010002,187.0,16.423071260306244,misclassified,no,,"The Science of Literature Reviews: Searching, Identifying, Selecting, and Synthesising"124W4407942537,engineering,LLM Compiler: foundation models pre-trained on LLVM-IR and assembly for optimisation tasks (CC 2025),abstract,software_pl,compilers,2025,post,conference-paper,10.1145/3708493.3712691,31.0,23.55532716683796,in_scope_research,no,cummins2025llmcompiler,LLM Compiler: Foundation Language Models for Compiler Optimization125W2787911489,engineering,"Automated code generation for chemistry kernels in OpenFOAM (2018), no abstract",metadata_only,software_pl,compilers,2018,baseline,book-chapter,10.1007/978-3-319-68394-2_11,10.0,14.319880418535128,in_scope_research,no,,Automated Code Generation for Maximizing Performance of Detailed Chemistry Calculations in OpenFOAM126W2949967139,engineering,Tiramisu polyhedral compiler with a scheduling language (CGO 2019),abstract,software_pl,compilers,2019,baseline,conference-paper,10.1109/cgo.2019.8661197,53.0,14.250956889605158,in_scope_research,no,baghdadi2019tiramisu,Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code127W4385245566,engineering,MizAR 60 for Mizar 50: learning-guided ATP proving about 60% of Mizar theorems (ITP 2023); record title and counts belong to another work,abstract,software_pl,formal_verification,2023,post,article,10.4230/lipics.itp.2023.19,72130.0,6621.879465206806,in_scope_research,yes,jakubuv2023mizar,Exploiting Generative AI to Scale up Intelligent Tutoring Systems128W1498342204,theory,Lynch and Tuttle's introduction to I/O automata (1989) republished in 2026,abstract,software_pl,formal_verification,2026,post,article,10.1145/3788687,284.0,801.9048786467272,reprint_misdated,no,lynch2026ioautomata,An Introduction to Input/Output Automata129W3117137355,engineering,egg equality saturation: 2026 CACM research highlight of the POPL 2021 paper,abstract,software_pl,formal_verification,2026,post,article,10.1145/3815481,132.0,146.88980220909326,reprint_misdated,no,willsey2026eggcacm,egg: Fast and Extensible Equality Saturation130W1481397690,survey,"Handbook of Model Checking chapter on SMT (2018), no abstract",metadata_only,software_pl,formal_verification,2018,baseline,book-chapter,10.1007/978-3-319-10575-8_11,585.0,432.45569620253167,textbook,no,,Satisfiability Modulo Theories131W2254118105,method,QBF solving by implicit hitting sets / clause selection (2026 arXiv posting of a 2015 paper),abstract,software_pl,formal_verification,2026,post,preprint,10.48550/arxiv.2608.14274,60.0,2151.793313069909,reprint_misdated,no,,Solving QBF by Clause Selection132W4206807714,survey,"Handbook of Satisfiability, 2nd edition (2021)",metadata_only,software_pl,formal_verification,2021,baseline,book,10.3233/faia336,777.0,184.30546075085323,textbook,no,biere2021handbook,Handbook of Satisfiability133W2540354435,theory,Weighted rules under the stable model semantics (2026 arXiv posting of an earlier paper),abstract,software_pl,formal_verification,2026,post,preprint,10.48550/arxiv.2605.09519,39.0,1517.578947368421,reprint_misdated,no,,Weighted Rules under the Stable Model Semantics134W2921681895,method,"Parameter synthesis in parametric Markov models (thesis, RWTH 2020)",abstract,software_pl,formal_verification,2020,baseline,dissertation,10.18154/rwth-2020-02348,19.0,111.636815920398,dissertation,no,,Parameter synthesis in Markov models135W4225922019,engineering,cvc5 SMT solver system description (TACAS 2022),abstract,software_pl,formal_verification,2022,baseline,conference-paper,10.1007/978-3-030-99524-9_24,222.0,98.23784328546233,in_scope_research,no,barbosa2022cvc5,cvc5: A Versatile and Industrial-Strength SMT Solver136W4318573502,theory,"Semantically informed structural proof theory (thesis, 2022)",abstract,software_pl,formal_verification,2022,baseline,dissertation,10.5463/thesis.149,13.0,97.35745614035089,dissertation,no,,Semantically informed methods in structural proof theory137W2154148696,survey,"Supervisory control of timed discrete-event systems (chapter, 2018)",metadata_only,software_pl,formal_verification,2018,baseline,book-chapter,10.1007/978-3-319-77452-7_9,117.0,86.49113924050633,textbook,no,,Supervisory Control of Timed Discrete-Event Systems138W4297781990,method,Answer-set programming for runtime monitoring and fault explanation of automated driving (DX 2024); counts belong to another work,abstract,software_pl,formal_verification,2024,post,preprint,10.4230/oasics.dx.2024.10,431.0,78.93772893772893,in_scope_research,yes,klampfl2024asp,"Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems"139W2789444712,survey,Industry 4.0 state of the art (production research),abstract,software_pl,formal_verification,2018,baseline,article,10.1080/00207543.2018.1444806,734.0,61.81756449008323,misclassified,no,,Industry 4.0: state of the art and future trends140W1586677474,survey,Second record of the Handbook of Satisfiability (2021),abstract,software_pl,formal_verification,2021,baseline,article,,375.0,60.365327611379016,duplicate,no,,Handbook of Satisfiability141W2486519520,method,"Machine learning for heuristic selection in automated theorem proving (thesis, re-deposited 2021)",abstract,software_pl,formal_verification,2021,baseline,dissertation,10.48456/tr-792,12.0,54.58021978021978,reprint_misdated,no,,Machine learning and automated theorem proving142W4289665848,theory,Reward interfaces: quantitative interface automata with best-effort implementations (CSL 2026),abstract,software_pl,formal_verification,2026,post,article,10.4230/lipics.csl.2026.30,15.0,42.354130914439814,in_scope_research,no,,Reward Interfaces with Best-Effort Implementations143W149631060,survey,Decidability issues for Petri nets (1994 survey posted to arXiv in 2024),abstract,software_pl,formal_verification,2024,post,preprint,10.48550/arxiv.2411.01592,33.0,53.32230215827339,reprint_misdated,no,,Decidability Issues for Petri Nets -- a survey144W2890660842,method,Symbolic interval propagation for formal safety analysis of neural networks (2018 preprint),abstract,software_pl,formal_verification,2018,baseline,preprint,10.48550/arxiv.1809.08098,98.0,52.040918390543304,in_scope_research,no,,Efficient Formal Safety Analysis of Neural Networks145W1932627192,method,QMC model checker for quantum protocols (doctoral thesis re-deposited with a 2026 date),abstract,software_pl,formal_verification,2026,post,dissertation,10.82444/warw.33484729,14.0,141.45283018867926,reprint_misdated,no,,Model checking quantum protocols146W4393942723,benchmark,"SV-COMP 2024 competition report: 76 tools, 30,300 C tasks (2024)",abstract,software_pl,formal_verification,2024,post,conference-paper,10.1007/978-3-031-57256-2_15,78.0,48.594819515239784,in_scope_survey,no,beyer2024svcomp,State of the Art in Software Verification and Witness Validation: SV-COMP 2024147W2957311447,engineering,Marabou SMT-based neural-network verifier (CAV 2019),abstract,software_pl,formal_verification,2019,baseline,conference-paper,10.1007/978-3-030-25540-4_26,141.0,46.39818783571157,in_scope_research,no,katz2019marabou,The Marabou Framework for Verification and Analysis of Deep Neural Networks148W2905489900,method,"Machine learning for SAT solver heuristics (thesis, Waterloo 2018)",abstract,software_pl,formal_verification,2018,baseline,dissertation,,5.0,44.97120921305182,dissertation,no,,Machine Learning for SAT Solvers149W2900153411,method,DeepPoly abstract domain for certifying neural networks (POPL 2019),abstract,software_pl,formal_verification,2019,baseline,article,10.1145/3290354,209.0,44.06671585274556,in_scope_research,no,singh2019deeppoly,An abstract domain for certifying neural networks150W6944541633,method,"Verification of multi-objective Markov models (thesis, RWTH 2023)",abstract,software_pl,formal_verification,2023,post,dissertation,10.18154/rwth-2023-09669,2.0,43.15151515151515,dissertation,no,,Verification of multi-objective Markov models151W3016155638,method,VerX: automated verification of temporal properties of Ethereum contracts (S&P 2020),abstract,software_pl,formal_verification,2020,baseline,conference-paper,10.1109/sp40000.2020.00024,114.0,42.08811748998665,in_scope_research,no,permenev2020verx,VerX: Safety Verification of Smart Contracts152