From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “type locality” 85

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Optimal Local Convergence Rates of Stochastic First-Order Methods under Local $α$-PL
2024 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Saeed Masiha, Saber Salehkaleybar, Niao He, Negar Kiyavash, Patrick Thiran

0

citations
Local Reasoning about Parameterized Reconfigurable Distributed Systems
2021 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

0

citations
Special issue on “Stochastic Local Search: Recent developments and trends”
2020 International Transactions in Operational Research editorial Computer Science Metaheuristic Optimization Algorithms Research

Holger H. Hoos, Laëtitia Jourdan, Marie‐Éléonore Kessaci, Thomas Stützle, Nadarajen Veerapen

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Explainable Multi-Modal and Local Approaches to Modelling Injuries in Sports Data
2023 IEEE ... International Conference on Data Mining workshops conference-paper Computer Science Explainable Artificial Intelligence (XAI) Open access

Dan Hudson, Ruud J. R. Den Hartigh, Laurentius A. Meerhoff, Martin Atzmueller

4

citations
Applying aspiration in local search for satisfiability
2020 PLoS ONE article Computer Science Constraint Satisfaction and Optimization Open access

Peng Cong, XU Zhong-wei, Meng Mei

5

citations
Routed Bell tests with arbitrarily many local parties
2025 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Gereon Koßmann, Mario Berta, René Schwonnek

0

citations
The Second Type of Uncertainty in Monte Carlo Tree Search
2020 arXiv (Cornell University) preprint Computer Science Artificial Intelligence in Games Open access

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

2

citations
Local policy search with Bayesian optimization
2021 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Sarah Müller, Alexander von Rohr, Sebastian Trimpe

17

citations
Improving local path planning for UAV flight in challenging environments by refining cost function weights
2024 CEAS Aeronautical Journal article Computer Science Robotic Path Planning Algorithms Open access

Andreas Thoma, Alessandro Gardi, Alex Fisher, Carsten Braun

4

citations
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
2021 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep

3

citations
Editorial
2023 Computational Intelligence editorial Computer Science Robotic Path Planning Algorithms

Meng Joo Er, Zhaojie Ju, Alexander Ferrein

0

citations
Enhanced Seismicity Monitoring in the Rapid Scientific Response to the 2025 Santorini Crisis - Earthquake Catalogues
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Seismology and Earthquake Studies Open access

Margarita Segou, Foteini D. Dervisi, Xing Guo Tan, Rajat Choudhary, Patricia Martínez-Garzón, Francesco Scotto di Uccio, +16 more

0

citations
Enhanced Seismicity Monitoring in the Rapid Scientific Response to the 2025 Santorini Crisis - Earthquake Catalogues
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Seismology and Earthquake Studies Open access

Margarita Segou, Foteini D. Dervisi, Xing Guo Tan, Rajat Choudhary, Patricia Martínez‐Garzón, Francesco Scotto di Uccio, +17 more

0

citations
Quantum Graph-State Synthesis with SAT
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

0

citations
Transforming Knowledge into Practice: Science, Technology and Innovation in Support of the UN SDGs
2024 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Christos Arvanitidis, Boris Barov, Alberto Basset, Klaas Deneudt, Montserrat Gonzalez-Ferreiro, Federico Drago, +9 more

1

citations
Visual cohort comparison for spatial single-cell omics-data
2020 IEEE Transactions on Visualization and Computer Graphics article Computer Science Data Visualization and Analytics Open access

Antonios Somarakis, Marieke E. Ijsselsteijn, Sietse J. Luk, Boyd Kenkhuis, Noel F.C.C. de Miranda, Boudewijn P. F. Lelieveldt, +1 more

20

citations
“Want to come play with me?” Outlier subgroup discovery on spatio‐temporal interactions
2021 Expert Systems article Computer Science Data Mining Algorithms and Applications Open access

Carolina Centeio Jorge, Martin Atzmueller, Behzad Momahed Heravi, Jenny L. Gibson, Rosaldo J. F. Rossetti, Cláudio Rebelo de Sá

4

citations
All genuinely entangled stabilizer subspaces are multipartite fully nonlocal
2025 npj Quantum Information article Computer Science Quantum Information and Cryptography Open access

Owidiusz Makuta, Remigiusz Augusiak

3

citations
Improved Discrete Queuing Search Algorithm for Traveling Salesman Problem
2023 Zenodo (CERN European Organization for Nuclear Research) book-chapter Computer Science Metaheuristic Optimization Algorithms Research Open access

Burak Gülmez

0

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

6

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

4

citations