Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
Skip header Section
Introduction to Algorithms, Third EditionSeptember 2009
Publisher:
  • The MIT Press
ISBN:978-0-262-03384-8
Published:30 September 2009
Pages:
1312
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

If you had to buy just one text on algorithms, Introduction to Algorithms is a magnificent choice. The book begins by considering the mathematical foundations of the analysis of algorithms and maintains this mathematical rigor throughout the work. The tools developed in these opening sections are then applied to sorting, data structures, graphs, and a variety of selected algorithms including computational geometry, string algorithms, parallel models of computation, fast Fourier transforms (FFTs), and more. This book's strength lies in its encyclopedic range, clear exposition, and powerful analysis. Pseudo-code explanation of the algorithms coupled with proof of their accuracy makes this book is a great resource on the basic tools used to analyze the performance of algorithms.

Cited By

  1. ACM
    Li W (2024). Optimizing with Attractor: A Tutorial, ACM Computing Surveys, 56:9, (1-41), Online publication date: 31-Oct-2024.
  2. ACM
    Buchet M, B Dornelas B and Kerber M (2024). Sparse Higher Order Čech Filtrations, Journal of the ACM, 71:4, (1-23), Online publication date: 31-Aug-2024.
  3. ACM
    Aguirre A, Haselwarter P, de Medeiros M, Li K, Gregersen S, Tassarotti J and Birkedal L (2024). Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs, Proceedings of the ACM on Programming Languages, 8:ICFP, (284-316), Online publication date: 15-Aug-2024.
  4. ACM
    Josyula A, Verma P, Gaonkar A, Barua A and Hegde N Optimizing a Super-Fast Eigensolver for Hierarchically Semiseparable Matrices Proceedings of the 53rd International Conference on Parallel Processing, (32-41)
  5. ACM
    Cui G, Wang R, Wu D and Li Y (2024). Semi-supervised Multi-view Clustering based on NMF with Fusion Regularization, ACM Transactions on Knowledge Discovery from Data, 18:6, (1-26), Online publication date: 31-Jul-2024.
  6. ACM
    Gounder S, Neumann F and Neumann A Evolutionary Diversity Optimisation for Sparse Directed Communication Networks Proceedings of the Genetic and Evolutionary Computation Conference, (1237-1245)
  7. ACM
    Dang D, Opris A and Sudholt D Illustrating the Efficiency of Popular Evolutionary Multi-Objective Algorithms Using Runtime Analysis Proceedings of the Genetic and Evolutionary Computation Conference, (484-492)
  8. Barros F (2024). Defining hybrid hierarchical models in πHYFLOW, Simulation, 100:7, (643-655), Online publication date: 1-Jul-2024.
  9. Kara A, Nikolic M, Olteanu D and Zhang H (2024). F-IVM: analytics over relational databases under updates, The VLDB Journal — The International Journal on Very Large Data Bases, 33:4, (903-929), Online publication date: 1-Jul-2024.
  10. ACM
    Li N, Zhang M, Li J, Adepu S, Kang E and Jin Z (2024). A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems, ACM Transactions on Autonomous and Adaptive Systems, 19:2, (1-49), Online publication date: 30-Jun-2024.
  11. ACM
    Zhang S and Fong P Mining Domain-Based Policies Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy, (403-414)
  12. ACM
    Gandham B and Alapati P OCC Pinning: Optimizing Concurrent Computations through Thread Pinning Proceedings of the 2024 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, (1-5)
  13. ACM
    Fineman J Single-Source Shortest Paths with Negative Real Weights in Õ(𝑚𝑛) Time Proceedings of the 56th Annual ACM Symposium on Theory of Computing, (3-14)
  14. Zhang N and Xu H (2024). Fairness of Ratemaking for Catastrophe Insurance, Information Systems Research, 35:2, (469-488), Online publication date: 1-Jun-2024.
  15. Ahmed A, Siddique F and Skadron K (2024). GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis, International Journal of Parallel Programming, 52:3, (147-170), Online publication date: 1-Jun-2024.
  16. Junges S, Ábrahám E, Hensel C, Jansen N, Katoen J, Quatmann T and Volk M (2024). Parameter synthesis for Markov models: covering the parameter space, Formal Methods in System Design, 62:1-3, (181-259), Online publication date: 1-Jun-2024.
  17. Alkema H, de Berg M, van der Hofstad R and Kisfaludi-Bak S (2024). Euclidean TSP in Narrow Strips, Discrete & Computational Geometry, 71:4, (1456-1506), Online publication date: 1-Jun-2024.
  18. ACM
    Wang Q, Luo Q and Wang Y (2024). Relational Algorithms for Top-k Query Evaluation, Proceedings of the ACM on Management of Data, 2:3, (1-27), Online publication date: 29-May-2024.
  19. ACM
    Papon T, Chen T, Zhang S and Athanassoulis M (2024). CAVE: Concurrency-Aware Graph Processing on SSDs, Proceedings of the ACM on Management of Data, 2:3, (1-26), Online publication date: 29-May-2024.
  20. ACM
    El Husseini W, El Vaigh C, Goasdoué F and Jaudoin H Query Optimization for Ontology-Mediated Query Answering Proceedings of the ACM on Web Conference 2024, (2138-2148)
  21. Zhong S and Mueen A (2024). MASS: distance profile of a query over a time series, Data Mining and Knowledge Discovery, 38:3, (1466-1492), Online publication date: 1-May-2024.
  22. ACM
    Avanzini M, Barthe G, Grégoire B, Moser G and Vanoni G (2024). Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs, Proceedings of the ACM on Programming Languages, 8:OOPSLA1, (784-809), Online publication date: 29-Apr-2024.
  23. Guillou P, Vidal J and Tierny J (2024). Discrete Morse Sandwich: Fast Computation of Persistence Diagrams for Scalar Data – An Algorithm and a Benchmark, IEEE Transactions on Visualization and Computer Graphics, 30:4, (1897-1915), Online publication date: 1-Apr-2024.
  24. Mondal J and Vijayakumar S (2024). Star covers and star partitions of double-split graphs, Journal of Combinatorial Optimization, 47:3, Online publication date: 1-Apr-2024.
  25. Münch M, Rutter I and Stumpf P (2024). Partial and Simultaneous Transitive Orientations via Modular Decompositions, Algorithmica, 86:4, (1263-1292), Online publication date: 1-Apr-2024.
  26. ACM
    Nikolić S and Ienne P (2024). Exploring FPGA Switch-Blocks without Explicitly Listing Connectivity Patterns, ACM Transactions on Reconfigurable Technology and Systems, 17:1, (1-39), Online publication date: 31-Mar-2024.
  27. ACM
    Shi J, Dhulipala L and Shun J (2024). Parallel Algorithms for Hierarchical Nucleus Decomposition, Proceedings of the ACM on Management of Data, 2:1, (1-27), Online publication date: 12-Mar-2024.
  28. ACM
    Alabi D, Adegbile A, Afuye L, Abel P and Monaco A NaijaCoder: Participatory Design for Early Algorithms Education in the Global South Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, (39-45)
  29. ACM
    Khalaji M, Brown T, Daudjee K and Aksenov V Practical Hardware Transactional vEB Trees Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, (215-228)
  30. ACM
    Wheatman B, Burns R, Buluc A and Xu H CPMA: An Efficient Batch-Parallel Compressed Set Without Pointers Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, (348-363)
  31. ACM
    Dong X, Dhulipala L, Gu Y and Sun Y Parallel Integer Sort: Theory and Practice Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, (301-315)
  32. ACM
    Manohar M, Shen Z, Blelloch G, Dhulipala L, Gu Y, Simhadri H and Sun Y ParlayANN: Scalable and Deterministic Parallel Graph-Based Approximate Nearest Neighbor Search Algorithms Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, (270-285)
  33. Mohanapriya A, Renjith P and Sadagopan N (2024). On convexity in split graphs: complexity of Steiner tree and domination, Journal of Combinatorial Optimization, 47:2, Online publication date: 1-Mar-2024.
  34. ACM
    Shi H, Wang H, Ma R, Hua Y, Song T, Gao H and Guan H (2023). Robust Searching-Based Gradient Collaborative Management in Intelligent Transportation System, ACM Transactions on Multimedia Computing, Communications, and Applications, 20:2, (1-23), Online publication date: 29-Feb-2024.
  35. ACM
    Mu P, Mavrogeorgis N, Vasiladiotis C, Tsoutsouras V, Kaparounakis O, Stanley-Marbell P and Barbalace A CoSense: Compiler Optimizations using Sensor Technical Specifications Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, (73-85)
  36. Baldazzi T, Bellomarini L, Favorito M and Sallinger E Ontological Reasoning over Shy and Warded Datalog+/– for Streaming-Based Architectures Practical Aspects of Declarative Languages, (169-185)
  37. ACM
    Chakraborty T, Saia J and Young M Defending Hash Tables from Subterfuge with Depth Charge Proceedings of the 25th International Conference on Distributed Computing and Networking, (134-143)
  38. Bish D, Bish E and El Hajj H (2024). Disease Bundling or Specimen Bundling? Cost- and Capacity-Efficient Strategies for Multidisease Testing with Genetic Assays, Manufacturing & Service Operations Management, 26:1, (95-116), Online publication date: 1-Jan-2024.
  39. Gohil V, Patnaik S, Guo H, Kalathil D and Rajendran J (2024). DETERRENT: Detecting Trojans Using Reinforcement Learning, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43:1, (57-70), Online publication date: 1-Jan-2024.
  40. Ghosh D, Sankaranarayanan J, Khatter K and Samet H (2024). Opportunistic package delivery as a service on road networks, Geoinformatica, 28:1, (53-88), Online publication date: 1-Jan-2024.
  41. Kanwar K, Kaushal S, Kumar H, Gupta G and Khari M (2024). An efficient method for node ranking in complex networks by hybrid neighbourhood coreness, Computing, 106:1, (139-161), Online publication date: 1-Jan-2024.
  42. Chen A, Dohan D and So D EvoPrompting Proceedings of the 37th International Conference on Neural Information Processing Systems, (7787-7817)
  43. Engelken R SparseProp Proceedings of the 37th International Conference on Neural Information Processing Systems, (3638-3657)
  44. ACM
    Liang Q, Hanafy W, Bashir N, Irwin D and Shenoy P Energy Time Fairness: Balancing Fair Allocation of Energy and Time for GPU Workloads Proceedings of the Eighth ACM/IEEE Symposium on Edge Computing, (53-66)
  45. ACM
    Zatulovsky O, Barenboim L, Drucker R and Segal S Poster: Synchronizing Devices with Minimal Data Exchange and Applications for Graph-Based SLAM Proceedings of the Eighth ACM/IEEE Symposium on Edge Computing, (258-260)
  46. Smirnov A (2023). The Polynomial Algorithm of Finding the Shortest Path in a Divisible Multiple Graph, Automatic Control and Computer Sciences, 57:7, (841-853), Online publication date: 1-Dec-2023.
  47. Muñoz C, Ayala-Rincón M, Moscato M, Dutle A, Narkawicz A, Almeida A, da Silva A and Ramos T (2023). Formal Verification of Termination Criteria for First-Order Recursive Functions, Journal of Automated Reasoning, 67:4, Online publication date: 1-Dec-2023.
  48. ACM
    Alkhatib B, Udayashankar S, Qunaibi S, Alquraan A, Alfatafta M, Al-Manasrah W, Depoutovitch A and Al-Kiswany S (2023). Partial Network Partitioning, ACM Transactions on Computer Systems, 41:1-4, (1-34), Online publication date: 30-Nov-2023.
  49. ACM
    Chang L (2023). Efficient Maximum k-Defective Clique Computation with Improved Time Complexity, Proceedings of the ACM on Management of Data, 1:3, (1-26), Online publication date: 13-Nov-2023.
  50. ACM
    Bücker H, Corrado J, Fedorin D, García-Álvarez D, Gonzalez-Escribano A, Li J, Pantoja M, Pautsch E, Plesske M, Ponce M, Rizzi S, Saule E, Schoder J, Thiruvathukal G, Van Zon R, Weber W and Bunde D Peachy Parallel Assignments (EduHPC 2023) Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, (366-373)
  51. ACM
    Shi T, Zhai J, Wang H, Chen Q, Zhai M, Hao Z, Yang H and Chen W GraphSet: High Performance Graph Mining through Equivalent Set Transformations Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, (1-14)
  52. Hildred J, Abebe M and Daudjee K (2023). Caerus: Low-Latency Distributed Transactions for Geo-Replicated Systems, Proceedings of the VLDB Endowment, 17:3, (469-482), Online publication date: 1-Nov-2023.
  53. Wang L, Ding X, Gu Y and Sun Y (2023). Fast and Space-Efficient Parallel Algorithms for Influence Maximization, Proceedings of the VLDB Endowment, 17:3, (400-413), Online publication date: 1-Nov-2023.
  54. Meng C, Zhou Z, Yao Y, Huang S, Chen Y and Qian W (2023). HEDALS: Highly Efficient Delay-Driven Approximate Logic Synthesis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42:11, (3491-3504), Online publication date: 1-Nov-2023.
  55. Li X, Zhan Y, Zhao Y, Wu Y, Ding L, Li Y, Tao D and Jin H (2023). A perioperative risk assessment dataset with multi-view data based on online accelerated pairwise comparison, Information Fusion, 99:C, Online publication date: 1-Nov-2023.
  56. Tuncel K, Koutsopoulos H and Ma Z (2023). An integrated ride-matching and vehicle-rebalancing model for shared mobility on-demand services, Computers and Operations Research, 159:C, Online publication date: 1-Nov-2023.
  57. Laxmi S, Kumar S and Gupta S (2023). Human activity recognition using fuzzy proximal support vector machine for multicategory classification, Knowledge and Information Systems, 65:11, (4585-4611), Online publication date: 1-Nov-2023.
  58. ACM
    Tiausas F, Yasumoto K, Talusan J, Yamana H, Yamaguchi H, Bhattacharjee S, Dubey A and Das S (2023). HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities, ACM Transactions on Cyber-Physical Systems, 7:4, (1-25), Online publication date: 31-Oct-2023.
  59. ACM
    Baruah S, Burns A and Davis R (2023). Optimal Synthesis of Robust IDK Classifier Cascades, ACM Transactions on Embedded Computing Systems, 22:5s, (1-26), Online publication date: 31-Oct-2023.
  60. ACM
    Feng S, Chen C and Xing Z Video2Action: Reducing Human Interactions in Action Annotation of App Tutorial Videos Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, (1-15)
  61. ACM
    Zhou K, Liang Y, Lin Y, Wang R and Huang R Khronos: Fusing Memory Access for Improved Hardware RTL Simulation Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, (180-193)
  62. ACM
    Nguyen Q and Modiano E Learning to Schedule in Non-Stationary Wireless Networks With Unknown Statistics Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, (181-190)
  63. ACM
    Ji R Scaling up Program Synthesis to Efficient Algorithms Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, (4-6)
  64. Schwarz M and Seidl H Octagons Revisited Static Analysis, (485-507)
  65. Pratap R and Kulkarni R Minwise-Independent Permutations with Insertion and Deletion of Features Similarity Search and Applications, (171-184)
  66. Cheung W, Simchi-Levi D and Zhu R (2023). Nonstationary Reinforcement Learning, Management Science, 69:10, (5722-5739), Online publication date: 1-Oct-2023.
  67. Akhtar M, G K, B V and Sinha A (2023). Fast and Secure Routing Algorithms for Quantum Key Distribution Networks, IEEE/ACM Transactions on Networking, 31:5, (2281-2296), Online publication date: 1-Oct-2023.
  68. Wang X, Wan L, Lin D and Feng W (2023). Phase-based fine-grained change detection, Expert Systems with Applications: An International Journal, 227:C, Online publication date: 1-Oct-2023.
  69. Merad I and Gaïffas S (2023). Robust supervised learning with coordinate gradient descent, Statistics and Computing, 33:5, Online publication date: 1-Oct-2023.
  70. Bodenham D and Kawahara Y (2023). euMMD: efficiently computing the MMD two-sample test statistic for univariate data, Statistics and Computing, 33:5, Online publication date: 1-Oct-2023.
  71. Liu R, Xu G and Shang Z (2023). Distributed adaptive nearest neighbor classifier: algorithm and theory, Statistics and Computing, 33:5, Online publication date: 1-Oct-2023.
  72. Torabi A, Sharifi A and Teshnehlab M (2023). Using Cartesian Genetic Programming Approach with New Crossover Technique to Design Convolutional Neural Networks, Neural Processing Letters, 55:5, (5451-5471), Online publication date: 1-Oct-2023.
  73. Grinshpoun T, Shufan E, Ilani H, Levit V and Brama H (2023). Graph representation of the fixed route dial-a-ride problem, Journal of Scheduling, 26:5, (479-495), Online publication date: 1-Oct-2023.
  74. Amato D, Lo Bosco G and Giancarlo R (2023). Neural networks as building blocks for the design of efficient learned indexes, Neural Computing and Applications, 35:29, (21399-21414), Online publication date: 1-Oct-2023.
  75. ACM
    Timilsina A and Silvestri S (2023). P2P Energy Trading through Prospect Theory, Differential Evolution, and Reinforcement Learning, ACM Transactions on Evolutionary Learning and Optimization, 3:3, (1-22), Online publication date: 30-Sep-2023.
  76. ACM
    Dai W, Foerster K, Fuchssteiner D and Schmid S (2023). Load-optimization in Reconfigurable Data-center Networks: Algorithms and Complexity of Flow Routing, ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 8:3, (1-30), Online publication date: 30-Sep-2023.
  77. Arroyuelo D, Gómez-Brandón A and Navarro G Evaluating Regular Path Queries on Compressed Adjacency Matrices String Processing and Information Retrieval, (35-48)
  78. ACM
    Shao C Virtual Mobile Charger-based Wireless Power Transfer for Large-Scale Sensor Networks Proceedings of the 2023 8th International Conference on Cloud Computing and Internet of Things, (98-107)
  79. Caragiannis I and Rathi N Optimizing over Serial Dictatorships Algorithmic Game Theory, (329-346)
  80. Hsieh M, Shell D, Beik-Mohammadi H, Hauberg S, Arvanitidis G, Neumann G and Rozo L (2023). Reactive motion generation on learned Riemannian manifolds, International Journal of Robotics Research, 42:10, (729-754), Online publication date: 1-Sep-2023.
  81. Xu Z, Zhou L, Liang W, Xia Q, Xu W, Ren W, Ren H and Zhou P (2023). Stateful Serverless Application Placement in MEC With Function and State Dependencies, IEEE Transactions on Computers, 72:9, (2701-2716), Online publication date: 1-Sep-2023.
  82. Maniriho P, Mahmood A and Chowdhury M (2023). API-MalDetect, Journal of Network and Computer Applications, 218:C, Online publication date: 1-Sep-2023.
  83. Liu Y, Ou Y, Chen W, Chen Z and Xiao N (2023). LazySort, Information Sciences: an International Journal, 641:C, Online publication date: 1-Sep-2023.
  84. Verucchi M, Olmedo I and Bertogna M (2023). A survey on real-time DAG scheduling, revisiting the Global-Partitioned Infinity War, Real-Time Systems, 59:3, (479-530), Online publication date: 1-Sep-2023.
  85. Acikalin U, Caskurlu B and Subramani K (2023). Security-Aware Database Migration Planning, Constraints, 28:3, (472-505), Online publication date: 1-Sep-2023.
  86. Tsomokos K, Sintoris C, Fidas C and Avouris N Exploring the Potential of Metaverse Apps for Real-World Applications: A Case Study with CALEND_AR Human-Computer Interaction – INTERACT 2023, (156-165)
  87. Bannai H, I T and Köppl D (2023). Longest bordered and periodic subsequences, Information Processing Letters, 182:C, Online publication date: 1-Aug-2023.
  88. Lin J, Wang M and Wu H (2023). Composite adaptive online inverse optimal control approach to human behavior learning, Information Sciences: an International Journal, 638:C, Online publication date: 1-Aug-2023.
  89. Choudhury P, Aparajita S, Bharti D, Singh M and De T (2023). A protection and fragmentation management approach in elastic optical networks under multicast traffic, Photonic Network Communications, 46:1, (34-49), Online publication date: 1-Aug-2023.
  90. Subramani K and Wojciechowski P (2023). Unit Read-once Refutations for Systems of Difference Constraints, Theory of Computing Systems, 67:4, (877-899), Online publication date: 1-Aug-2023.
  91. ACM
    Bose P, Cardinal J, Iacono J, Koumoutsos G and Langerman S (2023). Competitive Online Search Trees on Trees, ACM Transactions on Algorithms, 19:3, (1-19), Online publication date: 31-Jul-2023.
  92. Lee H, Liao H and Hon W Colored Constrained Spanning Tree on Directed Graphs Algorithms and Data Structures, (561-573)
  93. Bose P, D’Angelo A and Durocher S Approximating the Smallest k-Enclosing Geodesic Disc in a Simple Polygon Algorithms and Data Structures, (179-192)
  94. ACM
    Ahmad Z, Chowdhury R, Das R, Ganapathi P, Gregory A and Zhu Y (2023). A Fast Algorithm for Aperiodic Linear Stencil Computation using Fast Fourier Transforms, ACM Transactions on Parallel Computing, 0:0
  95. ACM
    Islam M, Poteaux A and Prébet R Algorithm for Connectivity Queries on Real Algebraic Curves Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, (345-353)
  96. Weilbach C, Harvey W and Wood F Graphically structured diffusion models Proceedings of the 40th International Conference on Machine Learning, (36887-36909)
  97. Loe A, Medley L, O’Connell C and Quaglia E Applications of Timed-Release Encryption with Implicit Authentication Progress in Cryptology - AFRICACRYPT 2023, (490-515)
  98. ACM
    Dang D, Opris A, Salehi B and Sudholt D Analysing the Robustness of NSGA-II under Noise Proceedings of the Genetic and Evolutionary Computation Conference, (642-651)
  99. ACM
    Bossek J and Sudholt D Runtime Analysis of Quality Diversity Algorithms Proceedings of the Genetic and Evolutionary Computation Conference, (1546-1554)
  100. ACM
    Halpern J and Saraf A Chunking Tasks for Present-Biased Agents Proceedings of the 24th ACM Conference on Economics and Computation, (853-884)
  101. Xu H, Li A, Wheatman B, Marneni M and Pandey P (2023). BP-Tree: Overcoming the Point-Range Operation Tradeoff for In-Memory B-Trees, Proceedings of the VLDB Endowment, 16:11, (2976-2989), Online publication date: 1-Jul-2023.
  102. Severitt M and Manns P (2023). Efficient Solution of Discrete Subproblems Arising in Integer Optimal Control with Total Variation Regularization, INFORMS Journal on Computing, 35:4, (869-885), Online publication date: 1-Jul-2023.
  103. ACM
    Karimi A, Barthe G, Schölkopf B and Valera I (2022). A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations, ACM Computing Surveys, 55:5, (1-29), Online publication date: 30-Jun-2023.
  104. ACM
    Moghaddamfar M, Färber C, Lehner W and Kumar A KeRRaS: Sort-Based Database Query Processing on Wide Tables Using FPGAs Proceedings of the 19th International Workshop on Data Management on New Hardware, (1-9)
  105. ACM
    Dong X, Wu Y, Wang Z, Dhulipala L, Gu Y and Sun Y High-Performance and Flexible Parallel Algorithms for Semisort and Related Problems Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, (341-353)
  106. ACM
    Gu Y, Men Z, Shen Z, Sun Y and Wan Z Parallel Longest Increasing Subsequence and van Emde Boas Trees Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, (327-340)
  107. ACM
    Wang L, Dong X, Gu Y and Sun Y (2023). Parallel Strong Connectivity Based on Faster Reachability, Proceedings of the ACM on Management of Data, 1:2, (1-29), Online publication date: 13-Jun-2023.
  108. Fernau H, Foucaud F, Mann K, Padariya U and Rao K Parameterizing Path Partitions Algorithms and Complexity, (187-201)
  109. ACM
    Abo Khamis M, Ngo H, Pichler R, Suciu D and Remy Wang Y (2023). Convergence of Datalog over (Pre-) Semirings, ACM SIGMOD Record, 52:1, (75-82), Online publication date: 7-Jun-2023.
  110. ACM
    Wang Q and Yi K (2023). Conjunctive Queries with Comparisons, ACM SIGMOD Record, 52:1, (54-62), Online publication date: 7-Jun-2023.
  111. ACM
    Karachatzis P, Ruh J and Craciunas S An Evaluation of Time-triggered Scheduling in the Linux Kernel Proceedings of the 31st International Conference on Real-Time Networks and Systems, (119-131)
  112. Kammer F, Meintrup J and Sajenko A Sorting and Ranking of Self-Delimiting Numbers with Applications to Tree Isomorphism Combinatorial Algorithms, (356-367)
  113. Ardévol Martínez V, Rizzi R and Sikora F Hardness of Balanced Mobiles Combinatorial Algorithms, (25-35)
  114. Dumitrescu A and Lingas A Finding Small Complete Subgraphs Efficiently Combinatorial Algorithms, (185-196)
  115. ACM
    Gu Y and Xu Y Optimal Bounds for Noisy Sorting Proceedings of the 55th Annual ACM Symposium on Theory of Computing, (1502-1515)
  116. Li J, Zhao W, Ntarmos N, Cao Y and Buneman P (2023). MITra: A Framework for Multi-Instance Graph Traversal, Proceedings of the VLDB Endowment, 16:10, (2551-2564), Online publication date: 1-Jun-2023.
  117. Fang Y, Liu H, Idnay B, Ta C, Marder K and Weng C (2023). A data-driven approach to optimizing clinical study eligibility criteria, Journal of Biomedical Informatics, 142:C, Online publication date: 1-Jun-2023.
  118. da Silva-Santos C, Goulart P, Bertelli F, Garcia A and Cheung N (2023). Nature inspired algorithms for the solution of inverse heat transfer problems applied to distinct unsteady heat flux orientations in cylindrical castings, Journal of Intelligent Manufacturing, 34:5, (2407-2430), Online publication date: 1-Jun-2023.
  119. Wall F (2023). Modeling managerial search behavior based on Simon’s concept of satisficing, Computational & Mathematical Organization Theory, 29:2, (265-299), Online publication date: 1-Jun-2023.
  120. ACM
    Haffner I and Dittrich J (2023). Efficiently Computing Join Orders with Heuristic Search, Proceedings of the ACM on Management of Data, 1:1, (1-26), Online publication date: 26-May-2023.
  121. ACM
    Yang R and Tang J (2023). Efficient Estimation of Pairwise Effective Resistance, Proceedings of the ACM on Management of Data, 1:1, (1-27), Online publication date: 26-May-2023.
  122. ACM
    Chen Z, Zhang F, Guan J, Zhai J, Shen X, Zhang H, Shu W and Du X (2023). CompressGraph: Efficient Parallel Graph Analytics with Rule-Based Compression, Proceedings of the ACM on Management of Data, 1:1, (1-31), Online publication date: 26-May-2023.
  123. Agheli P, Emadi M and Beyranvand H (2023). Cognitive RF–FSO Fronthaul Assignment in Cell-Free and User-Centric mMIMO Networks, IEEE Transactions on Mobile Computing, 22:5, (2537-2550), Online publication date: 1-May-2023.
  124. Zhang X, Yu S, Zhou H, Huang P, Guo L and Li M (2023). Signal Emulation Attack and Defense for Smart Home IoT, IEEE Transactions on Dependable and Secure Computing, 20:3, (2040-2057), Online publication date: 1-May-2023.
  125. Hayamizu M and Makino K (2023). Ranking Top-$k$ Trees in Tree-Based Phylogenetic Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 20:3, (2349-2355), Online publication date: 1-May-2023.
  126. Maheshwari R, Mohanty S and Mishra A (2023). DCSNE, Pattern Recognition, 137:C, Online publication date: 1-May-2023.
  127. Waikhom L, Singh Y and Patgiri R (2023). PO-GNN, Information Processing and Management: an International Journal, 60:3, Online publication date: 1-May-2023.
  128. Bhore S, Da Lozzo G, Montecchiani F and Nöllenburg M (2023). On the upward book thickness problem, European Journal of Combinatorics, 110:C, Online publication date: 1-May-2023.
  129. Zeng Z, Cui L, Qian M, Zhang Z and Wei K (2023). A survey on sliding window sketch for network measurement, Computer Networks: The International Journal of Computer and Telecommunications Networking, 226:C, Online publication date: 1-May-2023.
  130. Rajeswari G, Sandhya M and Murugan K (2023). Obstacle-aware connectivity restoration for the partitioned wireless sensor networks using mobile data carriers, Wireless Networks, 29:4, (1703-1720), Online publication date: 1-May-2023.
  131. Barthélemy J, Kubo T, Itoh T, Ikeda K and Ikeda K (2023). Learning to mimic programmers gaze behavior for program comprehension improvement, Artificial Life and Robotics, 28:2, (295-306), Online publication date: 1-May-2023.
  132. Chiarelli N, Krnc M, Milanič M, Pferschy U, Pivač N and Schauer J (2023). Fair Allocation of Indivisible Items with Conflict Graphs, Algorithmica, 85:5, (1459-1489), Online publication date: 1-May-2023.
  133. Le Gall F and Seddighin S (2023). Quantum Meets Fine-Grained Complexity: Sublinear Time Quantum Algorithms for String Problems, Algorithmica, 85:5, (1251-1286), Online publication date: 1-May-2023.
  134. ACM
    Shebaro M and Tešić J Identifying Stable States of Large Signed Graphs Companion Proceedings of the ACM Web Conference 2023, (594-597)
  135. ACM
    Chatzopoulos S, Vergoulis T, Skoutas D, Dalamagas T, Tryfonopoulos C and Karras P Atrapos: Real-time Evaluation of Metapath Query Workloads Proceedings of the ACM Web Conference 2023, (2487-2498)
  136. ACM
    Hayatpur D, Wigdor D and Xia H CrossCode: Multi-level Visualization of Program Execution Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, (1-13)
  137. ACM
    Gerhold M and Tijben K Computer Aided Content Generation – A Gloomhaven Case Study Proceedings of the 18th International Conference on the Foundations of Digital Games, (1-10)
  138. Chen J, Jiang T, Yu D and Hu H (2023). Pattern-based circular reference detection in Python, Science of Computer Programming, 227:C, Online publication date: 1-Apr-2023.
  139. Damaj I, Al-Mubasher H and Saadeh M (2023). An extended analytical framework for heterogeneous implementations of light cryptographic algorithms, Future Generation Computer Systems, 141:C, (154-172), Online publication date: 1-Apr-2023.
  140. Jo H, Jin H and Kim J (2023). Self-adaptive end-to-end resource management for real-time monitoring in cyber–physical systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, 225:C, Online publication date: 1-Apr-2023.
  141. Zhou M, Zheng Y, Wang S, Hua Z, Huang H, Gao Y and Jia X (2023). PPTA, Computer Networks: The International Journal of Computer and Telecommunications Networking, 224:C, Online publication date: 1-Apr-2023.
  142. Khalil O, El-Sharkawy H, Youssef M and Baumann G (2023). Adaptive piecewise Poly-Sinc methods for function approximation, Applied Numerical Mathematics, 186:C, (1-18), Online publication date: 1-Apr-2023.
  143. Yoon D, Jeong M and Oh S (2023). WAVE: designing a heuristics-based three-way breadth-first search on GPUs, The Journal of Supercomputing, 79:6, (6889-6917), Online publication date: 1-Apr-2023.
  144. Ketkov S (2023). On the Multistage Shortest Path Problem Under Distributional Uncertainty, Journal of Optimization Theory and Applications, 197:1, (277-308), Online publication date: 1-Apr-2023.
  145. Cabral K, Kaykobad T, Delamer J, Jardine P and Givigi S (2023). Design of a Decentralized Strategy for Layered Self-Assembly of 3D Structures Using Robotic Blocks, Journal of Intelligent and Robotic Systems, 107:4, Online publication date: 1-Apr-2023.
  146. Forster S and de Vos T (2023). Faster Cut Sparsification of Weighted Graphs, Algorithmica, 85:4, (929-964), Online publication date: 1-Apr-2023.
  147. Goerigk M and Hartisch M (2023). Combinatorial optimization problems with balanced regret, Discrete Applied Mathematics, 328:C, (40-59), Online publication date: 31-Mar-2023.
  148. ACM
    Yang Q and Parasuraman R A Hierarchical Game-Theoretic Decision-Making for Cooperative Multiagent Systems Under the Presence of Adversarial Agents Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, (773-782)
  149. Abu-Affash A, Carmi P and Maman M Piercing Diametral Disks Induced by Edges of Maximum Spanning Trees WALCOM: Algorithms and Computation, (71-77)
  150. Araki T and Nakano S Away from Each Other WALCOM: Algorithms and Computation, (61-70)
  151. Kawahara J, Saitoh T, Takeda H, Yoshinaka R and Yoshioka Y Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs WALCOM: Algorithms and Computation, (151-163)
  152. ACM
    Deng F and Liu H Heuristic Search for DNN Graph Substitutions Proceedings of the 2023 2nd Asia Conference on Algorithms, Computing and Machine Learning, (236-241)
  153. Favati P and Menchi O (2023). A two-phase strategy for nonconvex clusters integrating a spectral clustering with a merging technique, Expert Systems with Applications: An International Journal, 214:C, Online publication date: 15-Mar-2023.
  154. ACM
    Robbins H, Gutekunst S, Shmoys D and Williamson D GILP: An Interactive Tool for Visualizing the Simplex Algorithm Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1, (108-114)
  155. Li J, Wang S, Li K and Ho T (2023). Design-for-reliability and on-the-fly fault tolerance procedure for paper-based digital microfluidic biochips with multiple faults, Integration, the VLSI Journal, 89:C, (185-196), Online publication date: 1-Mar-2023.
  156. van der Werf J, Polyvyanyy A, van Wensveen B, Brinkhuis M and Reijers H (2023). All that glitters is not gold, Information Systems, 114:C, Online publication date: 1-Mar-2023.
  157. da Silva C, Sarubbi J, Mokhtari S, dos Santos L, Silva L, de Souza F, Guidoni D and Nogueira J (2023). RAGE, Expert Systems with Applications: An International Journal, 213:PA, Online publication date: 1-Mar-2023.
  158. Davis A and Giannakis D (2022). Graph-theoretic algorithms for Kolmogorov operators: approximating solutions and their gradients in elliptic and parabolic problems on manifolds, Calcolo: a quarterly on numerical analysis and theory of computation, 60:1, Online publication date: 1-Mar-2023.
  159. ACM
    Dong X, Wang L, Gu Y and Sun Y Provably Fast and Space-Efficient Parallel Biconnectivity Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, (52-65)
  160. Huang K, Liu S, Chen Z, Wei H, Basin D, Li H and Pan A (2023). Efficient Black-Box Checking of Snapshot Isolation in Databases, Proceedings of the VLDB Endowment, 16:6, (1264-1276), Online publication date: 1-Feb-2023.
  161. Jiang Y, Cayton-Hodges G, Nabors Oláh L and Minchuk I (2023). Using sequence mining to study students’ calculator use, problem solving, and mathematics achievement in the National Assessment of Educational Progress (NAEP), Computers & Education, 193:C, Online publication date: 1-Feb-2023.
  162. Zhao J, Yang C, Gao W, Modares H, Chen X and Dai W (2023). Linear quadratic tracking control of unknown systems, Automatica (Journal of IFAC), 148:C, Online publication date: 1-Feb-2023.
  163. ACM
    Berent L, Burgholzer L and Wille R Software Tools for Decoding Quantum Low-Density Parity-Check Codes Proceedings of the 28th Asia and South Pacific Design Automation Conference, (709-714)
  164. ACM
    Tokuda R and Kameyama Y Generating Programs for Polynomial Multiplication with Correctness Assurance Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, (27-40)
  165. Wojciechowski P and Subramani K A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints SOFSEM 2023: Theory and Practice of Computer Science, (313-327)
  166. ACM
    Batz K, Kaminski B, Katoen J, Matheja C and Verscht L (2023). A Calculus for Amortized Expected Runtimes, Proceedings of the ACM on Programming Languages, 7:POPL, (1957-1986), Online publication date: 9-Jan-2023.
  167. ACM
    Kumar R and Mukherjee J An Approximation Algorithm for Path Planning of Vehicles for Data Collection in Wireless Rechargeable Sensor Networks Proceedings of the 24th International Conference on Distributed Computing and Networking, (207-216)
  168. Jayawardena S, Epps J and Ambikairajah E (2023). Ordinal Logistic Regression With Partial Proportional Odds for Depression Prediction, IEEE Transactions on Affective Computing, 14:1, (563-577), Online publication date: 1-Jan-2023.
  169. Fränti P, Mariescu-Istodor R and Akram A (2023). Web-tool for optimizing locations of health centers, Procedia Computer Science, 219:C, (1120-1127), Online publication date: 1-Jan-2023.
  170. Shahrabadi S, Gonzalez D, Sousa N, Adão T, Peres E and Magalhães L (2023). Benchmarking Deep Learning models and hyperparameters for Bridge Defects Classification, Procedia Computer Science, 219:C, (345-353), Online publication date: 1-Jan-2023.
  171. Zhang X, Wang S, Zhao K and Wang Y (2023). A salp swarm algorithm based on Harris Eagle foraging strategy, Mathematics and Computers in Simulation, 203:C, (858-877), Online publication date: 1-Jan-2023.
  172. Wigal M, Yoo Y and Yu X (2023). Approximating TSP walks in subcubic graphs, Journal of Combinatorial Theory Series B, 158:P2, (70-104), Online publication date: 1-Jan-2023.
  173. Hu S, Zhou Y, Xiao M, Fu Z and Lü Z (2023). Listing maximal k-relaxed-vertex connected components from large graphs, Information Sciences: an International Journal, 620:C, (67-83), Online publication date: 1-Jan-2023.
  174. Mneimneh S (2023). A binomial sum of harmonic numbers, Discrete Mathematics, 346:1, Online publication date: 1-Jan-2023.
  175. Austin E, Romano G, Eckley I and Fearnhead P (2023). Online non-parametric changepoint detection with application to monitoring operational performance of network devices, Computational Statistics & Data Analysis, 177:C, Online publication date: 1-Jan-2023.
  176. Antonopoulos A, Pagourtzis A, Petsalakis S and Vasilakis M (2023). Faster algorithms for k-subset sum and variations, Journal of Combinatorial Optimization, 45:1, Online publication date: 1-Jan-2023.
  177. ACM
    Nakajima T and Živný S (2022). Linearly Ordered Colourings of Hypergraphs, ACM Transactions on Computation Theory, 14:3-4, (1-19), Online publication date: 31-Dec-2022.
  178. ACM
    Sherwin K, Wang K, Thiagaraj P, Stappers B and Sinnen O (2022). Median Filters on FPGAs for Infinite Data and Large, Rectangular Windows, ACM Transactions on Reconfigurable Technology and Systems, 15:4, (1-24), Online publication date: 31-Dec-2022.
  179. Dang T, Mascarich F, Khattak S, Papachristos C and Alexis K Graph-based Path Planning for Autonomous Robotic Exploration in Subterranean Environments 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (3105-3112)
  180. Smirnov A (2022). NP-Completeness of the Minimum Spanning Tree Problem of a Multiple Graph of Multiplicity k ≥ 3, Automatic Control and Computer Sciences, 56:7, (788-799), Online publication date: 1-Dec-2022.
  181. Malashenko Y and Nazarova I (2022). Analysis of the Load Distribution and Internodal Flows under Different Routing Strategies in a Multiuser Network, Journal of Computer and Systems Sciences International, 61:6, (970-980), Online publication date: 1-Dec-2022.
  182. Li X, Cheng K, Shen Z and Lee P (2022). Fast Proactive Repair in Erasure-Coded Storage: Analysis, Design, and Implementation, IEEE Transactions on Parallel and Distributed Systems, 33:12, (3400-3414), Online publication date: 1-Dec-2022.
  183. Betti Sorbelli F, Corò F, Das S, Palazzetti L and Pinotti C (2022). On the Scheduling of Conflictual Deliveries in a last-mile delivery scenario with truck-carried drones, Pervasive and Mobile Computing, 87:C, Online publication date: 1-Dec-2022.
  184. Nagy B and Saadat M (2023). Digital geometry on a cubic stair-case mesh, Pattern Recognition Letters, 164:C, (140-147), Online publication date: 1-Dec-2022.
  185. Gao X, Guo L and Liao K (2022). Efficient approximation algorithms for offline and online unit disk multiple coverage, Computers and Electrical Engineering, 104:PB, Online publication date: 1-Dec-2022.
  186. Khatri J, Samar A, Behera B and Nasre R (2022). Scaling the Maximum Flow Computation on GPUs, International Journal of Parallel Programming, 50:5-6, (515-561), Online publication date: 1-Dec-2022.
  187. Rodler P (2022). A formal proof and simple explanation of the QuickXplain algorithm, Artificial Intelligence Review, 55:8, (6185-6206), Online publication date: 1-Dec-2022.
  188. Dey T, Li T and Wang Y (2022). An Efficient Algorithm for 1-Dimensional (Persistent) Path Homology, Discrete & Computational Geometry, 68:4, (1102-1132), Online publication date: 1-Dec-2022.
  189. ACM
    Oeyen B, De Koster J and De Meuter W Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, (50-62)
  190. Yan Z, Ma T, Gao L, Tang Z, Wang Y and Chen C Neural approximation of graph topological features Proceedings of the 36th International Conference on Neural Information Processing Systems, (33357-33370)
  191. Roy I, Chakrabarti S and De A Maximum common subgraph guided graph retrieval Proceedings of the 36th International Conference on Neural Information Processing Systems, (32112-32126)
  192. Hu X, Lee J, Lee J and Zhong A Branch & learn for recursively and iteratively solvable problems in predict+optimize Proceedings of the 36th International Conference on Neural Information Processing Systems, (25807-25817)
  193. Gupta A, Gu A and Berant J Diagonal state spaces are as effective as structured state spaces Proceedings of the 36th International Conference on Neural Information Processing Systems, (22982-22994)
  194. Dhulipala L, Eisenstat D, Łącki J, Mirrokni V and Shi J Hierarchical agglomerative graph clustering in poly-logarithmic depth Proceedings of the 36th International Conference on Neural Information Processing Systems, (22925-22940)
  195. Loe A, Medley L, O’Connell C and Quaglia E TIDE: A Novel Approach to Constructing Timed-Release Encryption Information Security and Privacy, (244-264)
  196. ACM
    Namyar P, Arzani B, Beckett R, Segarra S, Raj H and Kandula S Minding the gap between fast heuristics and their optimal counterparts Proceedings of the 21st ACM Workshop on Hot Topics in Networks, (138-144)
  197. ACM
    Wang Y and Palma G 3D Binary Lesion Mask Parsing Proceedings of the 2022 5th International Conference on Digital Medicine and Image Processing, (8-12)
  198. ACM
    Roy Chowdhury A, Ding B, Jha S, Liu W and Zhou J Strengthening Order Preserving Encryption with Differential Privacy Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, (2519-2533)
  199. Thießen T and Vahrenhold J Klee’s Measure Problem Made Oblivious LATIN 2022: Theoretical Informatics, (121-138)
  200. El Hajj H, Bish D, Bish E and Kay D (2022). Novel Pooling Strategies for Genetic Testing, with Application to Newborn Screening, Management Science, 68:11, (7994-8014), Online publication date: 1-Nov-2022.
  201. Zumelzu N, Bedregal B, Mansilla E, Bustince H and Díaz R (2022). Admissible Orders on Fuzzy Numbers, IEEE Transactions on Fuzzy Systems, 30:11, (4788-4799), Online publication date: 1-Nov-2022.
  202. Karunanayake N, Lohitvisate W and Makhanov S (2022). Artificial life for segmentation of fusion ultrasound images of breast abnormalities, Pattern Recognition, 131:C, Online publication date: 1-Nov-2022.
  203. van Rossum B (2022). A fast exact pricing algorithm for the railway crew scheduling problem, Operations Research Letters, 50:6, (707-711), Online publication date: 1-Nov-2022.
  204. Kaiser B, Saenz J, Sonnewald M and Livescu D (2023). Automated identification of dominant physical processes, Engineering Applications of Artificial Intelligence, 116:C, Online publication date: 1-Nov-2022.
  205. Cordone R, Franchi D and Scozzari A (2022). Cardinality constrained connected balanced partitions of trees under different criteria, Discrete Optimization, 46:C, Online publication date: 1-Nov-2022.
  206. Agrawal S and Inkulu R (2022). Visibility polygons and visibility graphs among dynamic polygonal obstacles in the plane, Journal of Combinatorial Optimization, 44:4, (3056-3082), Online publication date: 1-Nov-2022.
  207. Jurkiewicz M (2022). On zero-error codes produced by greedy algorithms, Journal of Combinatorial Optimization, 44:4, (2963-2980), Online publication date: 1-Nov-2022.
  208. ACM
    Di K, Zhou Y, Yan F, Jiang J, Yang S and Jiang Y (2022). A Foraging Strategy with Risk Response for Individual Robots in Adversarial Environments, ACM Transactions on Intelligent Systems and Technology, 13:5, (1-29), Online publication date: 31-Oct-2022.
  209. ACM
    Chen Z, Huang Y, Chen J, Geng Y, Fang Y, Pan J, Zhang N and Zhang W LaKo: Knowledge-driven Visual Question Answering via Late Knowledge-to-Text Injection Proceedings of the 11th International Joint Conference on Knowledge Graphs, (20-29)
  210. ACM
    Fu Z, Liu M, Qin Y, Zhang J, Zou Y, Yin Q, Li Q and Duan H Encrypted Malware Traffic Detection via Graph-based Network Analysis Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses, (495-509)
  211. Sivignon I Exact and Optimal Conversion of a Hole-free 2d Digital Object into a Union of Balls in Polynomial Time Discrete Geometry and Mathematical Morphology, (382-394)
  212. Chen J, Chu Z, Guo Y and Yang W Space Limited Graph Algorithms on Big Data Computing and Combinatorics, (255-267)
  213. ACM
    Mao Z, Li Z, Li D, Bai L and Zhao R Jointly Contrastive Representation Learning on Road Network and Trajectory Proceedings of the 31st ACM International Conference on Information & Knowledge Management, (1501-1510)
  214. Schellhorn G, Bodenmüller S, Bitterlich M and Reif W Separating Separation Logic – Modular Verification of Red-Black Trees Verified Software. Theories, Tools and Experiments., (129-147)
  215. Mandal S and Gupta A (2022). Maximum 0-1 timed matching on temporal graphs, Discrete Applied Mathematics, 319:C, (310-326), Online publication date: 15-Oct-2022.
  216. ACM
    Patel D, Pandey S and Sharma A Efficient Vector Store System for Python using Shared Memory Proceedings of the Second International Conference on AI-ML Systems, (1-6)
  217. Costantini G, Dr. V, Robotti C, Benazzo M, Pietrantonio F, Di Girolamo S, Pisani A, Canzi P, Mauramati S, Bertino G, Cassaniti I, Baldanti F and Saggio G (2022). Deep learning and machine learning-based voice analysis for the detection of COVID-19, Knowledge-Based Systems, 253:C, Online publication date: 11-Oct-2022.
  218. ACM
    Lee H, Kim S and Cha S Fuzzle: Making a Puzzle for Fuzzers Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, (1-12)
  219. Henning M, Strohbeck J, Buchholz M and Dietmayer K Identification of Threat Regions From a Dynamic Occupancy Grid Map for Situation-Aware Environment Perception 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), (805-810)
  220. Halder P and Althoff M Minimum-Violation Velocity Planning with Temporal Logic Constraints 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), (2520-2527)
  221. Matute J, Diaz S, Zubizarreta A, Karimoddini A and Perez J An Approach to Global and Behavioral Planning for Automated Forklifts in Structured Environments 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), (3423-3428)
  222. ACM
    Tsanikidis C and Ghaderi J Online scheduling and routing with end-to-end deadline constraints in multihop wireless networks Proceedings of the Twenty-Third International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, (11-20)
  223. Jiang C, Yang R and Yuan B (2022). An evolutionary algorithm with indirect representation for droplet routing in digital microfluidic biochips, Engineering Applications of Artificial Intelligence, 115:C, Online publication date: 1-Oct-2022.
  224. Singh U, Dua A, Kumar N, Tanwar S, Iqbal R, Hijji M, Amin S and Sharma R (2022). Scalable priority-based resource allocation scheme for M2M communication in LTE/LTE-A network, Computers and Electrical Engineering, 103:C, Online publication date: 1-Oct-2022.
  225. Rajak N, Rajak R and Prakash S (2022). A Workflow Scheduling Method for Cloud Computing Platform, Wireless Personal Communications: An International Journal, 126:4, (3625-3647), Online publication date: 1-Oct-2022.
  226. Zhong Y, Jain A, Rahman M, Asadizanjani N, Xie J and Guin U (2022). AFIA: ATPG-Guided Fault Injection Attack on Secure Logic Locking, Journal of Electronic Testing: Theory and Applications, 38:5, (527-546), Online publication date: 1-Oct-2022.
  227. Tong X, Xu X and Huang S On Sample Complexity of Learning Shared Representations: The Asymptotic Regime 2022 58th Annual Allerton Conference on Communication, Control, and Computing (Allerton), (1-8)
  228. Falzon F and Paterson K An Efficient Query Recovery Attack Against a Graph Encryption Scheme Computer Security – ESORICS 2022, (325-345)
  229. Gurumoorthy K and Hinge A Go Green: A Decision-Tree Framework to Select Optimal Box-Sizes for Product Shipments Machine Learning and Knowledge Discovery in Databases, (598-613)
  230. Trabelsi Y, Adiga A, Kraus S and Ravi S Resource Allocation to Agents with Restrictions: Maximizing Likelihood with Minimum Compromise Multi-Agent Systems, (403-420)
  231. Réda C and Delahaye-Duriez A Prioritization of Candidate Genes Through Boolean Networks Computational Methods in Systems Biology, (89-121)
  232. Didimo W, Kaufmann M, Liotta G and Ortali G Rectilinear Planarity of Partial 2-Trees Graph Drawing and Network Visualization, (157-172)
  233. Palkowski M and Bielecki W NPDP Benchmark Suite for Loop Tiling Effectiveness Evaluation Parallel Processing and Applied Mathematics, (51-62)
  234. Prinz T, Choi Y and Ha N Understanding and Decomposing Control-Flow Loops in Business Process Models Business Process Management, (307-323)
  235. Singireddy V and Basappa M Dispersing Facilities on Planar Segment and Circle Amidst Repulsion Algorithmics of Wireless Networks, (138-151)
  236. Skitsas K, Papageorgiou I, Talebi M, Kantere V, Katehakis M and Karras P (2022). SIFTER, Proceedings of the VLDB Endowment, 16:1, (90-98), Online publication date: 1-Sep-2022.
  237. Khan A and Mohanty S (2022). A fast spectral clustering technique using MST based proximity graph for diversified datasets, Information Sciences: an International Journal, 609:C, (1113-1131), Online publication date: 1-Sep-2022.
  238. Ozen M, Emamian E and Abdi A (2022). Exploring extreme signaling failures in intracellular molecular networks, Computers in Biology and Medicine, 148:C, Online publication date: 1-Sep-2022.
  239. Ziemek R, Piribauer J, Funke F, Jantsch S and Baier C (2022). Probabilistic causes in Markov chains, Innovations in Systems and Software Engineering, 18:3, (347-367), Online publication date: 1-Sep-2022.
  240. Guo B and Sekerinski E (2022). Efficient parallel graph trimming by arc-consistency, The Journal of Supercomputing, 78:13, (15269-15313), Online publication date: 1-Sep-2022.
  241. Aneesh D, Mohanapriya A, Renjith P and Sadagopan N (2022). Steiner tree in k-star caterpillar convex bipartite graphs: a dichotomy, Journal of Combinatorial Optimization, 44:2, (1221-1247), Online publication date: 1-Sep-2022.
  242. Naderi M, Buchanan A and Walteros J (2022). Worst-case analysis of clique MIPs, Mathematical Programming: Series A and B, 195:1-2, (517-551), Online publication date: 1-Sep-2022.
  243. Mahfoud H (2022). Expressive top-k matching for conditional graph patterns, Neural Computing and Applications, 34:17, (14205-14221), Online publication date: 1-Sep-2022.
  244. Köppl D, Puglisi S and Raman R (2022). Fast and Simple Compact Hashing via Bucketing, Algorithmica, 84:9, (2735-2766), Online publication date: 1-Sep-2022.
  245. Bekos M, Di Giacomo E, Didimo W, Liotta G and Montecchiani F (2022). Universal Slope Sets for Upward Planar Drawings, Algorithmica, 84:9, (2556-2580), Online publication date: 1-Sep-2022.
  246. Ahmedi B (2022). The Application of a Socio-Economic Indicator for Calculating the Bandwidth of a Backbone in a WAN, International Journal of Information Communication Technologies and Human Development, 14:1, (1-14), Online publication date: 26-Aug-2022.
  247. Liu C Using Wordle for Learning to Design and Compare Strategies 2022 IEEE Conference on Games (CoG), (465-472)
  248. Chour K, Reddinger J, Dotterweich J, Childers M, Humann J, Rathinam S and Darbha S A Reactive Energy-Aware Rendezvous Planning Approach for Multi-Vehicle Teams 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE), (537-542)
  249. Faella M and Parlato G Reasoning About Data Trees Using CHCs Computer Aided Verification, (249-271)
  250. ACM
    Ghosh A, Hofman P and Lasota S Solvability of orbit-finite systems of linear equations Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-13)
  251. Malashenko Y and Nazarova I (2022). Estimate of Resource Distribution with the Shortest Paths in the Multiuser Network, Journal of Computer and Systems Sciences International, 61:4, (599-610), Online publication date: 1-Aug-2022.
  252. Giacomin P and Hemerly E (2022). A distributed, real-time and easy-to-extend strategy for missions of autonomous aircraft squadrons, Information Sciences: an International Journal, 608:C, (222-250), Online publication date: 1-Aug-2022.
  253. Lyu Q, Zhou Y, Fan Q, Lyu Y, Zheng X, Xu G and Li J (2022). JOSP: Joint Optimization of Flow Path Scheduling and Virtual Network Function Placement for Delay-Sensitive Applications, Mobile Networks and Applications, 27:4, (1642-1658), Online publication date: 1-Aug-2022.
  254. ACM
    Jin K, Cheng S, Chiu M and Wong M (2022). A Generalization of Self-Improving Algorithms, ACM Transactions on Algorithms, 18:3, (1-32), Online publication date: 31-Jul-2022.
  255. Kwon Y, Ryu C, Cha S, Lee A, Park K and Moon B (2022). Index Key Compression and On-the-Fly Reconstruction of In-Memory Indexes, Journal of Database Management, 33:1, (1-17), Online publication date: 21-Jul-2022.
  256. ACM
    Hadry M, Lesch V and Kounev S FADE Companion of the 2022 ACM/SPEC International Conference on Performance Engineering, (1-5)
  257. ACM
    Gu Y, Napier Z, Sun Y and Wang L Parallel Cover Trees and their Applications Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, (259-272)
  258. ACM
    Shen Z, Wan Z, Gu Y and Sun Y Many Sequential Iterative Algorithms Can Be Parallel and (Nearly) Work-efficient Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, (273-286)
  259. ACM
    Liu Q, Shi J, Yu S, Dhulipala L and Shun J Parallel Batch-Dynamic Algorithms for k-Core Decomposition and Related Graph Problems Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, (191-204)
  260. ACM
    Ahmad Z, Chowdhury R, Das R, Ganapathi P, Gregory A and Zhu Y Brief Announcement Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, (291-293)
  261. ACM
    Li J, Peng M, Li Q, Peng M and Yuan M GLite Proceedings of the 59th ACM/IEEE Design Automation Conference, (199-204)
  262. ACM
    Venkateswaran S (2022). Reflections on the Evolution of Computer Science Education, ACM SIGSOFT Software Engineering Notes, 47:3, (11-13), Online publication date: 7-Jul-2022.
  263. ACM
    Chablat D, Prébet R, Safey El Din M, Salunkhe D and Wenger P Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, (439-448)
  264. Chen Q, Lachish O, Helmer S and Böhlen M (2022). Dynamic spanning trees for connectivity queries on fully-dynamic undirected graphs, Proceedings of the VLDB Endowment, 15:11, (3263-3276), Online publication date: 1-Jul-2022.
  265. Lyu C, Fan Q, Song F, Sinha A, Diao Y, Chen W, Ma L, Feng Y, Li Y, Zeng K and Zhou J (2022). Fine-grained modeling and optimization for intelligent resource management in big data processing, Proceedings of the VLDB Endowment, 15:11, (3098-3111), Online publication date: 1-Jul-2022.
  266. Reif M and Neumann T (2022). A scalable and generic approach to range joins, Proceedings of the VLDB Endowment, 15:11, (3018-3030), Online publication date: 1-Jul-2022.
  267. Chan T, U L, Peng Y, Choi B and Xu J (2022). Fast network k-function-based spatial analysis, Proceedings of the VLDB Endowment, 15:11, (2853-2866), Online publication date: 1-Jul-2022.
  268. Swift I, Ebrahimi S, Nova A and Asudeh A (2022). Maximizing fair content spread via edge suggestion in social networks, Proceedings of the VLDB Endowment, 15:11, (2692-2705), Online publication date: 1-Jul-2022.
  269. Pappachan P, Zhang S, He X and Mehrotra S (2022). Don't be a tattle-tale, Proceedings of the VLDB Endowment, 15:11, (2437-2449), Online publication date: 1-Jul-2022.
  270. Morace C, Le T, Yao S, Zhang S and Lee T (2022). Learning a perceptual manifold with deep features for animation video resequencing, Multimedia Tools and Applications, 81:17, (23687-23707), Online publication date: 1-Jul-2022.
  271. ACM
    Cheng J, Yan D, Qu W, Hao X, Long C, Ng W and Wang X (2022). Mining Order-preserving Submatrices under Data Uncertainty: A Possible-world Approach and Efficient Approximation Methods, ACM Transactions on Database Systems, 47:2, (1-57), Online publication date: 30-Jun-2022.
  272. ACM
    Golestani H, Sen R, Young V and Gupta G Calipers Proceedings of the 36th ACM International Conference on Supercomputing, (1-14)
  273. ACM
    Lucchesi L, Kuhnert P, Davis J and Xie L Smallset Timelines: A Visual Representation of Data Preprocessing Decisions Proceedings of the 2022 ACM Conference on Fairness, Accountability, and Transparency, (1136-1153)
  274. Chakravarty M, Karayannidis N, Kiayias A, Peyton Jones M and Vinogradova P Babel Fees via Limited Liabilities Applied Cryptography and Network Security, (707-726)
  275. ACM
    Zhang Y, Tsai P and Tseng H SIMD2 Proceedings of the 49th Annual International Symposium on Computer Architecture, (552-566)
  276. ACM
    Tao Y Algorithmic Techniques for Independent Query Sampling Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (129-138)
  277. ACM
    Abo Khamis M, Ngo H, Pichler R, Suciu D and Wang Y Convergence of Datalog over (Pre-) Semirings Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (105-117)
  278. ACM
    Vogelsgesang A, Neumann T, Leis V and Kemper A Efficient Evaluation of Arbitrarily-Framed Holistic SQL Aggregates and Window Functions Proceedings of the 2022 International Conference on Management of Data, (1243-1256)
  279. ACM
    Kim J, Yu J, Ahn J, Kang S and Jung H Diva: Making MVCC Systems HTAP-Friendly Proceedings of the 2022 International Conference on Management of Data, (49-64)
  280. ACM
    Zhang Z, Gan J, Bao Z, Kazemi S, Chen G and Zhu F Approximate Range Thresholding Proceedings of the 2022 International Conference on Management of Data, (1108-1121)
  281. ACM
    Hentschel B, Sirin U and Idreos S Entropy-Learned Hashing: Constant Time Hashing with Controllable Uniformity Proceedings of the 2022 International Conference on Management of Data, (1640-1654)
  282. ACM
    Zhang Y and Yu J Relative Subboundedness of Contraction Hierarchy and Hierarchical 2-Hop Index in Dynamic Road Networks Proceedings of the 2022 International Conference on Management of Data, (1992-2005)
  283. ACM
    Fan W, Li Y, Liu M and Lu C A Hierarchical Contraction Scheme for Querying Big Graphs Proceedings of the 2022 International Conference on Management of Data, (1726-1740)
  284. ACM
    Hu B, Guo P and Hu W Video-zilla: An Indexing Layer for Large-Scale Video Analytics Proceedings of the 2022 International Conference on Management of Data, (1905-1919)
  285. ACM
    Dhulipala L, Blelloch G, Gu Y and Sun Y PaC-trees: supporting parallel and compressed purely-functional collections Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (108-121)
  286. Ferragina P, Manzini G, Gagie T, Köppl D, Navarro G, Striani M and Tosoni F (2022). Improving matrix-vector multiplication via lossless grammar-compressed matrices, Proceedings of the VLDB Endowment, 15:10, (2175-2187), Online publication date: 1-Jun-2022.
  287. Yeh C, Liu Z, Lin I, Zhang E and Lee T (2022). WYSIWYG Design of Hypnotic Line Art, IEEE Transactions on Visualization and Computer Graphics, 28:6, (2517-2529), Online publication date: 1-Jun-2022.
  288. Kim R, Noh H, Song H and Park G (2022). Quick Block Transport System for Scalable Hyperledger Fabric Blockchain Over D2D-Assisted 5G Networks, IEEE Transactions on Network and Service Management, 19:2, (1176-1190), Online publication date: 1-Jun-2022.
  289. Cui G and Li Y (2022). Nonredundancy regularization based nonnegative matrix factorization with manifold learning for multiview data representation, Information Fusion, 82:C, (86-98), Online publication date: 1-Jun-2022.
  290. Ramos G, Aguiar A and Pequito S (2022). An overview of structural systems theory, Automatica (Journal of IFAC), 140:C, Online publication date: 1-Jun-2022.
  291. Klikowski J and Woźniak M (2022). Deterministic Sampling Classifier with weighted Bagging for drifted imbalanced data stream classification, Applied Soft Computing, 122:C, Online publication date: 1-Jun-2022.
  292. Lee C and Chien C (2022). Pitfalls and protocols of data science in manufacturing practice, Journal of Intelligent Manufacturing, 33:5, (1189-1207), Online publication date: 1-Jun-2022.
  293. Lewis R and Corcoran P (2022). Finding fixed-length circuits and cycles in undirected edge-weighted graphs: an application with street networks, Journal of Heuristics, 28:3, (259-285), Online publication date: 1-Jun-2022.
  294. Kılıç B, Özturan C and Sen A (2022). Parallel analysis of Ethereum blockchain transaction data using cluster computing, Cluster Computing, 25:3, (1885-1898), Online publication date: 1-Jun-2022.
  295. Vulakh D and Finkel R (2022). Parallel m-dimensional relative ant colony optimization (mDRACO) for the Costas-array problem, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 26:12, (5765-5772), Online publication date: 1-Jun-2022.
  296. Elmasry A and Katajainen J (2022). Regular numeral systems for data structures, Acta Informatica, 59:2-3, (245-281), Online publication date: 1-Jun-2022.
  297. ACM
    Rrushi J (2022). Physics-Driven Page Fault Handling for Customized Deception against CPS Malware, ACM Transactions on Embedded Computing Systems, 21:3, (1-36), Online publication date: 31-May-2022.
  298. Ray A, Pierson A and Rus D Free-Space Ellipsoid Graphs for Multi-Agent Target Monitoring 2022 International Conference on Robotics and Automation (ICRA), (6860-6866)
  299. ACM
    Ishimwe D, Nguyen T and Nguyen K Dynaplex Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, (61-64)
  300. ACM
    Barlas E, Du X and Davis J Exploiting input sanitization for regex denial of service Proceedings of the 44th International Conference on Software Engineering, (883-895)
  301. ACM
    Li J, Nejati S and Sabetzadeh M Learning self-adaptations for IoT networks Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, (13-24)
  302. Masuda M and Kameyama Y Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform Functional and Logic Programming, (133-151)
  303. ACM
    Anand M, Murali V, Trivedi A and Zamani M k-Inductive Barrier Certificates for Stochastic Systems Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, (1-11)
  304. Yu X, Li X, Zhao J, Shen G, Freris N and Zhang L ANTIGONE: Accurate Navigation Path Caching in Dynamic Road Networks leveraging Route APIs IEEE INFOCOM 2022 - IEEE Conference on Computer Communications, (1599-1608)
  305. Saxena K, Gupta N, Gupta J, Sharma D and Dev K (2022). Trajectory optimization for the UAV assisted data collection in wireless sensor networks, Wireless Networks, 28:4, (1785-1796), Online publication date: 1-May-2022.
  306. Bringmann K, Fischer N, Hermelin D, Shabtay D and Wellnitz P (2022). Faster Minimization of Tardy Processing Time on a Single Machine, Algorithmica, 84:5, (1341-1356), Online publication date: 1-May-2022.
  307. Kaur A, Mittal S and Gupta G (2022). Energy-Efficient Node Localization Algorithm Based on Gauss-Newton Method and Grey Wolf Optimization Algorithm, International Journal of Fuzzy System Applications, 11:2, (1-27), Online publication date: 29-Apr-2022.
  308. ACM
    Shaikhha A, Huot M, Smith J and Olteanu D (2022). Functional collection programming with semi-ring dictionaries, Proceedings of the ACM on Programming Languages, 6:OOPSLA1, (1-33), Online publication date: 29-Apr-2022.
  309. ACM
    Schweimer C, Gfrerer C, Lugstein F, Pape D, Velimsky J, Elsässer R and Geiger B Generating Simple Directed Social Network Graphs for Information Spreading Proceedings of the ACM Web Conference 2022, (1475-1485)
  310. ACM
    Alpizar-Chacon I and Sosnovsky S What’s in an Index: Extracting Domain-specific Knowledge Graphs from Textbooks Proceedings of the ACM Web Conference 2022, (966-976)
  311. Ghaderi M, Liu W, Xiao S and Li F Learning Traffic Encoding Matrices for Delay-Aware Traffic Engineering in SD-WANs NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, (1-9)
  312. Poels Y and Menkovski V VAE-CE: Visual Contrastive Explanation Using Disentangled VAEs Advances in Intelligent Data Analysis XX, (237-250)
  313. ACM
    Kermabon-Bobinnec H, Gholipourchoubeh M, Bagheri S, Majumdar S, Jarraya Y, Pourzandi M and Wang L ProSPEC: Proactive Security Policy Enforcement for Containers Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy, (155-166)
  314. Minh Do C, Riesco A, Escobar S and Ogata K Parallel Maude-NPA for Cryptographic Protocol Analysis Rewriting Logic and Its Applications, (253-273)
  315. Wang Z, Cui Y, Hu X, Wang X, Ooi W, Cao Z and Li Y (2021). MultiLive: Adaptive Bitrate Control for Low-Delay Multi-Party Interactive Live Streaming, IEEE/ACM Transactions on Networking, 30:2, (923-938), Online publication date: 1-Apr-2022.
  316. Huang Y, Chen B, Lu W, Jin Z and Zheng R (2022). Asynchronous optimization of part logistics routing problem, Journal of Global Optimization, 82:4, (803-834), Online publication date: 1-Apr-2022.
  317. Colley R, Grandi U and Novaro A (2021). Unravelling multi-agent ranked delegations, Autonomous Agents and Multi-Agent Systems, 36:1, Online publication date: 1-Apr-2022.
  318. ACM
    Ron D and Rosin A (2022). Optimal Distribution-Free Sample-Based Testing of Subsequence-Freeness with One-Sided Error, ACM Transactions on Computation Theory, 14:1, (1-31), Online publication date: 31-Mar-2022.
  319. ACM
    Lagerkvist V and Wahlström M (2021). The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems, ACM Transactions on Computation Theory, 14:1, (1-54), Online publication date: 31-Mar-2022.
  320. ACM
    Chowdhury M, Ahmed C and Leung C (2021). A New Approach for Mining Correlated Frequent Subgraphs, ACM Transactions on Management Information Systems, 13:1, (1-28), Online publication date: 31-Mar-2022.
  321. ACM
    Chen C, Zhong W and Wu X Building an efficient key-value store in a flexible address space Proceedings of the Seventeenth European Conference on Computer Systems, (51-68)
  322. ACM
    Weisz J, Muller M, Ross S, Martinez F, Houde S, Agarwal M, Talamadupula K and Richards J Better Together? An Evaluation of AI-Supported Code Translation Proceedings of the 27th International Conference on Intelligent User Interfaces, (369-391)
  323. Sheikh-Hosseini M and Samareh Hashemi S (2022). Connectivity and coverage constrained wireless sensor nodes deployment using steepest descent and genetic algorithms, Expert Systems with Applications: An International Journal, 190:C, Online publication date: 15-Mar-2022.
  324. Bernasconi A, Ciriani V and Longhi M On the optimal OBDD representation of 2-XOR boolean affine spaces Proceedings of the 2022 Conference & Exhibition on Design, Automation & Test in Europe, (1437-1442)
  325. Bastani H, Simchi-Levi D and Zhu R (2022). Meta Dynamic Pricing, Management Science, 68:3, (1865-1881), Online publication date: 1-Mar-2022.
  326. Raghavan S and Zhang R (2022). Influence Maximization with Latency Requirements on Social Networks, INFORMS Journal on Computing, 34:2, (710-728), Online publication date: 1-Mar-2022.
  327. Li W, Zhou X, Yang C, Fan Y, Wang Z and Liu Y (2022). Multi-objective optimization algorithm based on characteristics fusion of dynamic social networks for community discovery, Information Fusion, 79:C, (110-123), Online publication date: 1-Mar-2022.
  328. Issa M, Helmi A, Elsheikh A and Abd Elaziz M (2022). A biological sub-sequences detection using integrated BA-PSO based on infection propagation mechanism, Expert Systems with Applications: An International Journal, 189:C, Online publication date: 1-Mar-2022.
  329. Fatehi N, Shahhoseini H, Wei J and Chang C (2022). An automata algorithm for generating trusted graphs in online social networks, Applied Soft Computing, 118:C, Online publication date: 1-Mar-2022.
  330. Baruah S (2022). An ILP representation of a DAG scheduling problem, Real-Time Systems, 58:1, (85-102), Online publication date: 1-Mar-2022.
  331. Lacmou Zeutouo J, Kengne Tchendji V and Myoupo J (2022). High-performance CGM-based parallel algorithms for minimum cost parenthesizing problem, The Journal of Supercomputing, 78:4, (5306-5332), Online publication date: 1-Mar-2022.
  332. Beck A and Refael Y (2022). Sparse regularization via bidualization, Journal of Global Optimization, 82:3, (463-482), Online publication date: 1-Mar-2022.
  333. Wang D, Wang M and Zhang S (2022). Determining the edge metric dimension of the generalized Petersen graph P(n, 3), Journal of Combinatorial Optimization, 43:2, (460-496), Online publication date: 1-Mar-2022.
  334. Ravelo S (2022). Approximation algorithms for simple assembly line balancing problems, Journal of Combinatorial Optimization, 43:2, (432-443), Online publication date: 1-Mar-2022.
  335. Salloum G and Tekli J (2022). Automated and personalized meal plan generation and relevance scoring using a multi-factor adaptation of the transportation problem, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 26:5, (2561-2585), Online publication date: 1-Mar-2022.
  336. Cairo M, Khan S, Rizzi R, Schmidt S and Tomescu A (2022). Safety in s-t Paths, Trails and Walks, Algorithmica, 84:3, (719-741), Online publication date: 1-Mar-2022.
  337. Arroyuelo D and Raman R (2022). Adaptive Succinctness, Algorithmica, 84:3, (694-718), Online publication date: 1-Mar-2022.
  338. Manne N, Satpati S, Malik T, Bagchi A, Gehani A and Chaudhary A (2022). CHEX, Proceedings of the VLDB Endowment, 15:6, (1297-1310), Online publication date: 1-Feb-2022.
  339. Ma C, Chen S, Zhang Y, Xiao Q and Odegbile O (2021). Super Spreader Identification Using Geometric-Min Filter, IEEE/ACM Transactions on Networking, 30:1, (299-312), Online publication date: 1-Feb-2022.
  340. Zhang B, Cheng Z and Pedram M (2022). High-Radix Design of a Scalable Montgomery Modular Multiplier With Low Latency, IEEE Transactions on Computers, 71:2, (436-449), Online publication date: 1-Feb-2022.
  341. Werner T (2022). A review on instance ranking problems in statistical learning, Machine Language, 111:2, (415-463), Online publication date: 1-Feb-2022.
  342. Zhou C, Huang B and Fränti P (2022). A review of motion planning algorithms for intelligent robots, Journal of Intelligent Manufacturing, 33:2, (387-424), Online publication date: 1-Feb-2022.
  343. ACM
    Chrobak M, Golin M, Munro J and Young N (2021). A Simple Algorithm for Optimal Search Trees with Two-way Comparisons, ACM Transactions on Algorithms, 18:1, (1-11), Online publication date: 31-Jan-2022.
  344. Banerjee S, Dogra A, Singh A and Bhattacharjee S A Distributed Algorithm for Constructing an Independent Dominating Set Distributed Computing and Intelligent Technology, (79-95)
  345. ACM
    Ruaro M and J. M. Martin K ManyGUI: A Graphical Tool to Accelerate Many-core Debugging Through Communication, Memory, and Energy Profiling System Engineering for constrained embedded systems, (39-46)
  346. Burgholzer L, Schneider S and Wille R Limiting the Search Space in Optimal Quantum Circuit Mapping Proceedings of the 27th Asia and South Pacific Design Automation Conference, (466-471)
  347. Li J, Wang S, Li K and Ho T Design-for-Reliability and Probability-Based Fault Tolerance for Paper-Based Digital Microfluidic Biochips with Multiple Faults Proceedings of the 27th Asia and South Pacific Design Automation Conference, (62-67)
  348. ACM
    Niu Y, Sterling J, Grodin H and Harper R (2022). A cost-aware logical framework, Proceedings of the ACM on Programming Languages, 6:POPL, (1-31), Online publication date: 16-Jan-2022.
  349. Wan Y, Xu K, Wang F and Xue G (2022). IoTAthena: Unveiling IoT Device Activities From Network Traffic, IEEE Transactions on Wireless Communications, 21:1, (651-664), Online publication date: 1-Jan-2022.
  350. Weiss A, Arikan T, Vishnu H, Deane G, Singer A and Wornell G (2022). A Semi-Blind Method for Localization of Underwater Acoustic Sources, IEEE Transactions on Signal Processing, 70, (3090-3106), Online publication date: 1-Jan-2022.
  351. Gonzalez M, Silva J, Videla M and Orchard M (2022). Data-Driven Representations for Testing Independence: Modeling, Analysis and Connection With Mutual Information Estimation, IEEE Transactions on Signal Processing, 70, (158-173), Online publication date: 1-Jan-2022.
  352. Salariseddigh M, Pereg U, Boche H and Deppe C (2022). Deterministic Identification Over Channels With Power Constraints, IEEE Transactions on Information Theory, 68:1, (1-24), Online publication date: 1-Jan-2022.
  353. Yu J, Yang Z, Breitsch B and Wu L (2021). Fast determination of geometric matrix in ionosphere tomographic inversion with unevenly spaced curvilinear voxels, GPS Solutions, 26:1, Online publication date: 1-Jan-2022.
  354. ACM
    Di K, Zhou Y, Jiang J, Yan F, Yang S and Jiang Y (2022). Risk-aware Collection Strategies for Multirobot Foraging in Hazardous Environments, ACM Transactions on Autonomous and Adaptive Systems, 16:3-4, (1-38), Online publication date: 31-Dec-2022.
  355. Anand M, Murali V, Trivedi A and Zamani M Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates 2021 60th IEEE Conference on Decision and Control (CDC), (1314-1320)
  356. Sen A, Roy S, Basu K, Adeniye S, Choudhuri S and Pal A Optimal Cost Network Design for Bounded Delay Data Transfer from PMU to Control Center 2021 IEEE Global Communications Conference (GLOBECOM), (1-6)
  357. Wang K, Muthukumar V and Thrampoulidis C Benign overfitting in multiclass classification Proceedings of the 35th International Conference on Neural Information Processing Systems, (24164-24179)
  358. Roller S, Sukhbaatar S, Szlam A and Weston J Hash layers for large sparse models Proceedings of the 35th International Conference on Neural Information Processing Systems, (17555-17566)
  359. Poesia G, Dong W and Goodman N Contrastive reinforcement learning of symbolic reasoning domains Proceedings of the 35th International Conference on Neural Information Processing Systems, (15946-15956)
  360. Boursier E, Garrec T, Perchet V and Scarsini M Making the most of your day Proceedings of the 35th International Conference on Neural Information Processing Systems, (11208-11219)
  361. Chatterji N, Pacchiano A, Bartlett P and Jordan M On the theory of reinforcement learning with once-per-episode feedback Proceedings of the 35th International Conference on Neural Information Processing Systems, (3401-3412)
  362. Tong G USCO-solver Proceedings of the 35th International Conference on Neural Information Processing Systems, (1646-1659)
  363. Zhang B and Ewetz R Towards Resilient Deployment of In-Memory Neural Networks with High Throughput 2021 58th ACM/IEEE Design Automation Conference (DAC), (1081-1086)
  364. Chen C, Wang Z, Chen X, Lin J and Aly M Efficient Tunstall Decoder for Deep Neural Network Compression 2021 58th ACM/IEEE Design Automation Conference (DAC), (1021-1026)
  365. Shohel M, Chhabria V and Sapatnekar S A New, Computationally Efficient “Blech Criterion” for Immortality in General Interconnects 2021 58th ACM/IEEE Design Automation Conference (DAC), (913-918)
  366. Levada A (2021). PCA-KL: a parametric dimensionality reduction approach for unsupervised metric learning, Advances in Data Analysis and Classification, 15:4, (829-868), Online publication date: 1-Dec-2021.
  367. Zhang Y, Zhang Z, Wang Y, Zhang Z, Zhang L, Yan S and Wang M (2021). Dual-Constrained Deep Semi-Supervised Coupled Factorization Network with Enriched Prior, International Journal of Computer Vision, 129:12, (3233-3254), Online publication date: 1-Dec-2021.
  368. Yoon D, Li Z and Oh S (2021). Balanced content space partitioning for pub/sub: a study on impact of varying partitioning granularity, The Journal of Supercomputing, 77:12, (13676-13702), Online publication date: 1-Dec-2021.
  369. Yelmewad P and Talawar B (2021). Parallel Version of Local Search Heuristic Algorithm to Solve Capacitated Vehicle Routing Problem, Cluster Computing, 24:4, (3671-3692), Online publication date: 1-Dec-2021.
  370. Peleska J, Krafczyk N, Haxthausen A and Pinger R (2021). Efficient data validation for geographical interlocking systems, Formal Aspects of Computing, 33:6, (925-955), Online publication date: 1-Dec-2021.
  371. Wang Z Program synthesis with algorithm pseudocode guidance Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, (1391-1393)
  372. ACM
    Liu T, Xie X and Zhang Y zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, (2968-2985)
  373. Guo H, Fu Y, Gao Y, Li J, Wang Y and Liu B (2019). deGSM: Memory Scalable Construction Of Large Scale de Bruijn Graph, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 18:6, (2157-2166), Online publication date: 1-Nov-2021.
  374. Maji S and Koh C (2021). A Scalable Buffer Queue Sizing Algorithm for Latency Insensitive Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40:11, (2386-2399), Online publication date: 1-Nov-2021.
  375. Pranav P, Dutta S and Chakraborty S (2021). Empirical and statistical comparison of intermediate steps of AES-128 and RSA in terms of time consumption, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 25:21, (13127-13145), Online publication date: 1-Nov-2021.
  376. ACM
    Burkhardt P (2021). Optimal Algebraic Breadth-First Search for Sparse Graphs, ACM Transactions on Knowledge Discovery from Data, 15:5, (1-19), Online publication date: 31-Oct-2021.
  377. Cichacz S and Suchan K (2021). Minimum k-critical bipartite graphs, Discrete Applied Mathematics, 302:C, (54-66), Online publication date: 30-Oct-2021.
  378. Sufyan M, Rehman W, Salam T, Ali Q, Ilyas A and Quradaa F (2021). Duplication elimination in cache-uplink transmission over B5G small cell network, EURASIP Journal on Wireless Communications and Networking, 2021:1, Online publication date: 29-Oct-2021.
  379. ACM
    Sati A, Karamouzas I and Zordan V DIGISEW: Anisotropic Stitching for Variable Stretch in Textiles Proceedings of the 6th Annual ACM Symposium on Computational Fabrication, (1-10)
  380. de Arruda Falcão J, de Lemos Meira S and Ramalho G Algorithmic pragmatism: First steps 2021 IEEE International Symposium on Technology and Society (ISTAS), (1-8)
  381. Goyal P and Panda B Hardness and Approximation Results of Roman {3}-Domination in Graphs Computing and Combinatorics, (101-111)
  382. ACM
    Besta M, Kanakagiri R, Kwasniewski G, Ausavarungnirun R, Beránek J, Kanellopoulos K, Janda K, Vonarburg-Shmaria Z, Gianinazzi L, Stefan I, Luna J, Golinowski J, Copik M, Kapp-Schwoerer L, Di Girolamo S, Blach N, Konieczny M, Mutlu O and Hoefler T SISA: Set-Centric Instruction Set Architecture for Graph Mining on Processing-in-Memory Systems MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture, (282-297)
  383. ACM
    Gómez-Hernández E, Cebrian J, Titos-Gil R, Kaxiras S and Ros A Efficient, Distributed, and Non-Speculative Multi-Address Atomic Operations MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture, (337-349)
  384. ACM
    Perez-Salazar S, Torrico A and Verdugo V Preserving Diversity when Partitioning: A Geometric Approach Equity and Access in Algorithms, Mechanisms, and Optimization, (1-11)
  385. Chen Y, Guo D, Xu M, Tang G and Cheng G (2021). Measuring Maximum Urban Capacity of Taxi-Based Logistics, IEEE Transactions on Intelligent Transportation Systems, 22:10, (6449-6459), Online publication date: 1-Oct-2021.
  386. Niño A, Reyes S and Carbó-Dorca R (2021). An HPC hybrid parallel approach to the experimental analysis of Fermat’s theorem extension to arbitrary dimensions on heterogeneous computer systems, The Journal of Supercomputing, 77:10, (11328-11352), Online publication date: 1-Oct-2021.
  387. Gao Z and Yang B (2021). The one-cop-moves game on planar graphs, Journal of Combinatorial Optimization, 42:3, (442-475), Online publication date: 1-Oct-2021.
  388. Stankiewicz G, Dev C and Steinmann P (2021). Coupled topology and shape optimization using an embedding domain discretization method, Structural and Multidisciplinary Optimization, 64:4, (2687-2707), Online publication date: 1-Oct-2021.
  389. ACM
    Gokul Vasan L, F. Zulian É, Weis C, Jung M and Wehn N Online Working Set Change Detection with Constant Complexity Proceedings of the International Symposium on Memory Systems, (1-16)
  390. Mandal S, Gao T and Bhattacharya S Planning for Aerial Robot Teams for Wide-Area Biometric and Phenotypic Data Collection 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (2586-2591)
  391. Kim D, Kim G, Jang Y and Kim H Topology-Guided Path Planning for Reliable Visual Navigation of MAVs 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (3117-3124)
  392. Wellhausen C, Clemens J and Schill K Efficient Grid Map Data Structures for Autonomous Driving in Large-Scale Environments 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), (2855-2862)
  393. Masuda M and Kameyama Y FFT Program Generation for Ring LWE-Based Cryptography Advances in Information and Computer Security, (151-171)
  394. Bodin B and Kordon A (2021). Evaluation of the Exact Throughput of a Synchronous DataFlow Graph, Journal of Signal Processing Systems, 93:9, (1007-1026), Online publication date: 1-Sep-2021.
  395. Aronshtam L, Shrot T and Shmallo R (2021). Can we do better? a classification of algorithm run-time-complexity improvement using the SOLO taxonomy, Education and Information Technologies, 26:5, (5851-5872), Online publication date: 1-Sep-2021.
  396. Casteigts A, Himmel A, Molter H and Zschoche P (2021). Finding Temporal Paths Under Waiting Time Constraints, Algorithmica, 83:9, (2754-2802), Online publication date: 1-Sep-2021.
  397. ACM
    Kasai Y, Sugiura K and Ishikawa Y Spatial Skyline Queries on Triangulated Irregular Networks Proceedings of the 17th International Symposium on Spatial and Temporal Databases, (64-73)
  398. Paet L, Santra S, Laine M and Yoshida K Maintaining Connectivity in Multi-Rover Networks for Lunar Exploration Missions 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), (1539-1546)
  399. Sandoval C, Adasme P and Firoozabadi A Quadratic p-Median Formulations with Connectivity Costs Between Facilities Mobile Web and Intelligent Information Systems, (99-107)
  400. ACM
    Lin S, Meng N and Li W Generating efficient solvers from constraint models Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (956-967)
  401. Antonopoulos A, Pagourtzis A, Petsalakis S and Vasilakis M Faster Algorithms for  and Variations Frontiers of Algorithmics, (37-52)
  402. Chen Y, Chen Z, Kennedy C, Lin G, Xu Y and Zhang A Approximation Algorithms for the Directed Path Partition Problems Frontiers of Algorithmics, (23-36)
  403. ACM
    Huang Y, Wang W, Zhang L and Xu R Sliding Spectrum Decomposition for Diversified Recommendation Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining, (3041-3049)
  404. ACM
    Tang Y and Gao W Processor-Aware Cache-Oblivious Algorithms✱ Proceedings of the 50th International Conference on Parallel Processing, (1-10)
  405. ACM
    Ros-Giralt J, Amsel N, Yellamraju S, Ezick J, Lethin R, Jiang Y, Feng A, Tassiulas L, Wu Z, Teh M and Bergman K Designing data center networks using bottleneck structures Proceedings of the 2021 ACM SIGCOMM 2021 Conference, (319-348)
  406. Allair C and Vigneron A Pattern Matching in Doubling Spaces Algorithms and Data Structures, (57-70)
  407. Hatami R and Bahramgiri H (2021). KDB: a fast update and high speed packet classifier in SDN, The Journal of Supercomputing, 77:8, (8911-8926), Online publication date: 1-Aug-2021.
  408. Bestehorn F, Hansknecht C, Kirches C and Manns P (2021). Mixed-integer optimal control problems with switching costs: a shortest path approach, Mathematical Programming: Series A and B, 188:2, (621-652), Online publication date: 1-Aug-2021.
  409. ACM
    Bombara G and Belta C (2021). Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees, ACM Transactions on Cyber-Physical Systems, 5:3, (1-23), Online publication date: 31-Jul-2021.
  410. Shabara Y, Koksal C and Ekici E How Long to Estimate Sparse MIMO Channels 2021 IEEE International Symposium on Information Theory (ISIT), (2834-2839)
  411. Solomon A, Duffy K and Médard M Managing Noise and Interference Separately - Multiple Access Channel Decoding using Soft GRAND 2021 IEEE International Symposium on Information Theory (ISIT), (2602-2607)
  412. Mazaheri B, Jain S and Bruck J Synthesizing New Expertise via Collaboration 2021 IEEE International Symposium on Information Theory (ISIT), (2447-2452)
  413. ACM
    Shao J, Qiao Y, Ji S and Yang T Window Navigation with Adaptive Probing for Executing BlockMax WAND Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, (2323-2327)
  414. ACM
    Ton That D, Gharehdaghi M, Rasin A and Malik T On Lowering Merge Costs of an LSM Tree Proceedings of the 33rd International Conference on Scientific and Statistical Database Management, (253-258)
  415. ACM
    Dong X, Gu Y, Sun Y and Zhang Y Efficient Stepping Algorithms and Implementations for Parallel Shortest Paths Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, (184-197)
  416. Malashenko Y and Nazarova I (2021). Analysis of Critical Damage in the Communication Network: III. Analysis of Internode Flows, Journal of Computer and Systems Sciences International, 60:4, (576-584), Online publication date: 1-Jul-2021.
  417. Cao K, Liu M, Su H, Wu J, Zhu J and Liu S (2021). Analyzing the Noise Robustness of Deep Neural Networks, IEEE Transactions on Visualization and Computer Graphics, 27:7, (3289-3304), Online publication date: 1-Jul-2021.
  418. Takai S (2021). A general framework for diagnosis of discrete event systems subject to sensor failures, Automatica (Journal of IFAC), 129:C, Online publication date: 1-Jul-2021.
  419. Pitzer E and Affenzeller M Cheating Like The Neighbors: Logarithmic Complexity For Fitness Evaluation In Genetic Algorithms 2021 IEEE Congress on Evolutionary Computation (CEC), (1431-1438)
  420. Capezzuto L, Tarapore D and Ramchurn S Large-Scale, Dynamic and Distributed Coalition Formation with Spatial and Temporal Constraints Multi-Agent Systems, (108-125)
  421. van der Werf J, Polyvyanyy A, van Wensveen B, Brinkhuis M and Reijers H All that Glitters Is Not Gold Advanced Information Systems Engineering, (141-157)
  422. ACM
    Bossek J, Neumann A and Neumann F Breeding diverse packings for the knapsack problem by means of diversity-tailored evolutionary algorithms Proceedings of the Genetic and Evolutionary Computation Conference, (556-564)
  423. ACM
    Hasabnis N and Gottschlich J ControlFlag: a self-supervised idiosyncratic pattern detection system for software control structures Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, (32-42)
  424. ACM
    Zeng Q, Hale K and Glavic B Playing Fetch with CAT Proceedings of the 17th International Workshop on Data Management on New Hardware, (1-5)
  425. ACM
    Pandey P, Wheatman B, Xu H and Buluc A Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs Proceedings of the 2021 International Conference on Management of Data, (1372-1385)
  426. ACM
    Augustine J, Shetiya S, Esfandiari M, Basu Roy S and Das G A Generalized Approach for Reducing Expensive Distance Calls for A Broad Class of Proximity Problems Proceedings of the 2021 International Conference on Management of Data, (142-154)
  427. ACM
    Wang Y, Yu S, Gu Y and Shun J Fast Parallel Algorithms for Euclidean Minimum Spanning Tree and Hierarchical Spatial Clustering Proceedings of the 2021 International Conference on Management of Data, (1982-1995)
  428. ACM
    Tseng T, Dhulipala L and Shun J Parallel Index-Based Structural Graph Clustering and Its Approximation Proceedings of the 2021 International Conference on Management of Data, (1851-1864)
  429. ACM
    Song J and He Y Auto-Validate: Unsupervised Data Validation Using Data-Domain Patterns Inferred from Data Lakes Proceedings of the 2021 International Conference on Management of Data, (1678-1691)
  430. ACM
    Sahu S and Salihoglu S Graphsurge Proceedings of the 2021 International Conference on Management of Data, (1518-1530)
  431. ACM
    Wang Y, Wang Q, Koehler H and Lin Y Query-by-Sketch: Scaling Shortest Path Graph Queries on Very Large Networks Proceedings of the 2021 International Conference on Management of Data, (1946-1958)
  432. ACM
    Shafieinejad M, Kerschbaum F and Ilyas I PCOR: Private Contextual Outlier Release via Differentially Private Search Proceedings of the 2021 International Conference on Management of Data, (1571-1583)
  433. Jin Y, Xu J, Wu S, Xu L, Yang D and Xia K (2021). Bus network assisted drone scheduling for sustainable charging of wireless rechargeable sensor network ▪, Journal of Systems Architecture: the EUROMICRO Journal, 116:C, Online publication date: 1-Jun-2021.
  434. Yao H, Fu X, Yang Y, Ungurean I and Postolache O (2021). An Efficient Multi-constraint Relay Deployment Strategy for Wireless Sensor Network, Wireless Personal Communications: An International Journal, 118:4, (2423-2444), Online publication date: 1-Jun-2021.
  435. Biçici E (2021). Parallel feature weight decay algorithms for fast development of machine translation models, Machine Translation, 35:2, (239-263), Online publication date: 1-Jun-2021.
  436. Quan L, Zhang Z, Zhong X, Xu C and Gao F EVA-Planner: Environmental Adaptive Quadrotor Planning 2021 IEEE International Conference on Robotics and Automation (ICRA), (398-404)
  437. Ahn J, Lee J, Cheong S, Kim C and Nam C An integrated approach for determining objects to be relocated and their goal positions inside clutter for object retrieval 2021 IEEE International Conference on Robotics and Automation (ICRA), (6408-6414)
  438. Huber G and Wollherr D Globally Optimal Online Redundancy Resolution for Serial 7-DOF Kinematics Along SE(3) Trajectories 2021 IEEE International Conference on Robotics and Automation (ICRA), (7570-7576)
  439. Arora P and Papachristos C Environment Reconfiguration Planning for Autonomous Robotic Manipulation to overcome Mobility Constraints 2021 IEEE International Conference on Robotics and Automation (ICRA), (2352-2358)
  440. Hammoumi A, Moreaud M, Jolimaitre E, Chevalier T, Novikov A and Klotz M Graph-Based M-tortuosity Estimation Discrete Geometry and Mathematical Morphology, (416-428)
  441. Subramani K and Wojciechowski P Analyzing Unit Read-Once Refutations in Difference Constraint Systems Logics in Artificial Intelligence, (147-161)
  442. Cho I and Baek S Optimal Multicast Scheduling for Millimeter Wave Networks Leveraging Directionality and Reflections IEEE INFOCOM 2021 - IEEE Conference on Computer Communications, (1-10)
  443. Hammond L, Fox J, Everitt T, Abate A and Wooldridge M Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, (574-582)
  444. Dey P, Maity S, Medya S and Silva A Network Robustness via Global k-cores Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, (438-446)
  445. Capezzuto L, Tarapore D and Ramchurn S (2021). Anytime and Efficient Multi-agent Coordination for Disaster Response, SN Computer Science, 2:3, Online publication date: 1-May-2021.
  446. Tohalino J, Quispe L and Amancio D (2021). Analyzing the relationship between text features and grants productivity, Scientometrics, 126:5, (4255-4275), Online publication date: 1-May-2021.
  447. Piatov D, Helmer S, Dignös A and Persia F (2021). Cache-efficient sweeping-based interval joins for extended Allen relation predicates, The VLDB Journal — The International Journal on Very Large Data Bases, 30:3, (379-402), Online publication date: 1-May-2021.
  448. ACM
    Paun I, Moshfeghi Y and Ntarmos N Are we there yet? Estimating Training Time for Recommendation Systems Proceedings of the 1st Workshop on Machine Learning and Systems, (39-47)
  449. ACM
    Sun Y, Zhuang F, Zhu H, He Q and Xiong H Cost-Effective and Interpretable Job Skill Recommendation with Deep Reinforcement Learning Proceedings of the Web Conference 2021, (3827-3838)
  450. ACM
    Wu Y, Lian D, Gong N, Yin L, Yin M, Zhou J and Yang H Linear-Time Self Attention with Codeword Histogram for Efficient Recommendation Proceedings of the Web Conference 2021, (1262-1273)
  451. ACM
    Tang C, Liao J, Wang H, Sung C and Lin W ConceptGuide: Supporting Online Video Learning with Concept Map-based Recommendation of Learning Path Proceedings of the Web Conference 2021, (2757-2768)
  452. Liu Q, Zheng L, Lian X and Chen L Efficiently Discovering Regions of Interest with User-Defined Score Function Database Systems for Advanced Applications, (591-608)
  453. Yuan Y, Lei L, Vu T, Chatzinotas S, Sun S and Ottersten B (2021). Actor-critic learning-based energy optimization for UAV access and backhaul networks, EURASIP Journal on Wireless Communications and Networking, 2021:1, Online publication date: 7-Apr-2021.
  454. Ravelo S (2021). Minimum constellation covers: hardness, approximability and polynomial cases, Journal of Combinatorial Optimization, 41:3, (603-624), Online publication date: 1-Apr-2021.
  455. Kim S, Choi T, Kim S, Kwon T, Lee T and Lee K (2021). Sequential graph-based routing algorithm for electrical harnesses, tubes, and hoses in a commercial vehicle, Journal of Intelligent Manufacturing, 32:4, (917-933), Online publication date: 1-Apr-2021.
  456. ACM
    Amarilli A, Bourhis P, Mengel S and Niewerth M (2021). Constant-Delay Enumeration for Nondeterministic Document Spanners, ACM Transactions on Database Systems, 46:1, (1-30), Online publication date: 31-Mar-2021.
  457. ACM
    Mehrotra A and Celis L Mitigating Bias in Set Selection with Noisy Protected Attributes Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, (237-248)
  458. Bhuvaneswari Amma N and Selvakumar S (2021). A statistical class center based triangle area vector method for detection of denial of service attacks, Cluster Computing, 24:1, (393-415), Online publication date: 1-Mar-2021.
  459. Zhang F, Zhai J, Shen X, Wang D, Chen Z, Mutlu O, Chen W and Du X (2021). TADOC: Text analytics directly on compression, The VLDB Journal — The International Journal on Very Large Data Bases, 30:2, (163-188), Online publication date: 1-Mar-2021.
  460. Acan H, Chakraborty S, Jo S and Satti S (2021). Succinct Encodings for Families of Interval Graphs, Algorithmica, 83:3, (776-794), Online publication date: 1-Mar-2021.
  461. Alpert H and Roldán É (2021). Art Gallery Problem with Rook and Queen Vision, Graphs and Combinatorics, 37:2, (621-642), Online publication date: 1-Mar-2021.
  462. Minamisawa K, Uehara R and Hara M Mathematical Characterizations and Computational Complexity of Anti-slide Puzzles WALCOM: Algorithms and Computation, (321-332)
  463. ACM
    Subrt O, Bodlak M, Jary V, Kveton A, Novy J, Virius M and Zemko M Dynamic Programming and Greedy Heuristic in the Load Balancing Problem for the iFDAQ of the COMPASS Experiment at CERN 2021 International Symposium on Electrical, Electronics and Information Engineering, (283-294)
  464. Panda B and Goyal P Hardness Results of Global Roman Domination in Graphs Algorithms and Discrete Applied Mathematics, (500-511)
  465. Alvin C, Peterson B and Mukhopadhyay S (2019). Static generation of UML sequence diagrams, International Journal on Software Tools for Technology Transfer (STTT), 23:1, (31-53), Online publication date: 1-Feb-2021.
  466. Sugie Y, Yoshida Y, Mertig N, Takemoto T, Teramoto H, Nakamura A, Takigawa I, Minato S, Yamaoka M and Komatsuzaki T (2021). Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102,400 nodes, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 25:3, (1731-1749), Online publication date: 1-Feb-2021.
  467. Prasad G, Mishra D and Laskar R Optimal New Node Insertion for Strong Minimum Energy Topology in IoT Networks 2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), (1-4)
  468. Gomes G, Guedes M and dos Santos V Structural Parameterizations for Equitable Coloring LATIN 2020: Theoretical Informatics, (129-140)
  469. ACM
    Bhiogade R, Jain P and Bhatt H AART: AI Assisted Review Tool for Marketing Creatives Proceedings of the 3rd ACM India Joint International Conference on Data Science & Management of Data (8th ACM IKDD CODS & 26th COMAD), (366-370)
  470. Zhang J, Wang C and Chen G (2021). A Review Selection Method for Finding an Informative Subset from Online Reviews, INFORMS Journal on Computing, 33:1, (280-299), Online publication date: 1-Jan-2021.
  471. Wang X, Chen J, Chen X, Guo J and Xiang Q (2021). Multichannel Iterative Noise Reduction Filters in the Short-Time-Fourier-Transform Domain Based on Kronecker Product Decomposition, IEEE/ACM Transactions on Audio, Speech and Language Processing, 29, (2725-2740), Online publication date: 1-Jan-2021.
  472. Biswas A, Maurya A, Tripathi A and Aknine S (2021). FRLLE: a failure rate and load-based leader election algorithm for a bidirectional ring in distributed systems, The Journal of Supercomputing, 77:1, (751-779), Online publication date: 1-Jan-2021.
  473. Bebortta S, Singh A, Pati B and Senapati D (2020). A Robust Energy Optimization and Data Reduction Scheme for IoT Based Indoor Environments Using Local Processing Framework, Journal of Network and Systems Management, 29:1, Online publication date: 1-Jan-2021.
  474. Chepoi V, Labourel A and Ratel S (2020). Distance and Routing Labeling Schemes for Cube-Free Median Graphs, Algorithmica, 83:1, (252-296), Online publication date: 1-Jan-2021.
  475. ACM
    VenkataKeerthy S, Aggarwal R, Jain S, Desarkar M, Upadrasta R and Srikant Y (2020). IR2VEC, ACM Transactions on Architecture and Code Optimization, 17:4, (1-27), Online publication date: 31-Dec-2021.
  476. ACM
    Bhunia A, Das A, Muhammad U, Yang Y, Hospedales T, Xiang T, Gryaditskaya Y and Song Y (2020). Pixelor, ACM Transactions on Graphics, 39:6, (1-15), Online publication date: 31-Dec-2021.
  477. ACM
    Uphoff C and Bader M (2020). Yet Another Tensor Toolbox for Discontinuous Galerkin Methods and Other Applications, ACM Transactions on Mathematical Software, 46:4, (1-40), Online publication date: 31-Dec-2021.
  478. Ahmadi M, Singletary A, Burdick J and Ames A Barrier Functions for Multiagent-POMDPs with DTL Specifications 2020 59th IEEE Conference on Decision and Control (CDC), (1380-1385)
  479. Panda S, Ray K and Banerjee A Dynamic Edge User Allocation with User Specified QoS Preferences Service-Oriented Computing, (187-197)
  480. Papa R, Cardei I and Cardei M Energy-Constrained Drone Delivery Scheduling Combinatorial Optimization and Applications, (125-139)
  481. Jurkiewicz M An Approximation of the Zero Error Capacity by a Greedy Algorithm Combinatorial Optimization and Applications, (91-104)
  482. Sato R, Yamada M and Kashima H Fast unbalanced optimal transport on a tree Proceedings of the 34th International Conference on Neural Information Processing Systems, (19039-19051)
  483. Barceló P, Monet M, Pérez J and Subercaseaux B Model interpretability through the lens of computational complexity Proceedings of the 34th International Conference on Neural Information Processing Systems, (15487-15498)
  484. Jecmen S, Zhang H, Liu R, Shah N, Conitzer V and Fang F Mitigating manipulation in peer review via randomized reviewer assignments Proceedings of the 34th International Conference on Neural Information Processing Systems, (12533-12545)
  485. Parnell T, Anghel A, Łazuka M, Ioannou N, Kurella S, Agarwal P, Papandreou N and Pozidis H SnapBoost Proceedings of the 34th International Conference on Neural Information Processing Systems, (11166-11177)
  486. Abboud A, Backurs A, Bringmann K and Künnemann M Impossibility results for grammar-compressed linear algebra Proceedings of the 34th International Conference on Neural Information Processing Systems, (8810-8823)
  487. Zheng S, Hayden D, Pacheco J and Fisher J Sequential Bayesian experimental design with variable cost structure Proceedings of the 34th International Conference on Neural Information Processing Systems, (4127-4137)
  488. Veličković P, Buesing L, Overlan M, Pascanu R, Vinyals O and Blundell C Pointer graph networks Proceedings of the 34th International Conference on Neural Information Processing Systems, (2232-2244)
  489. Chai D (2020). Rooted Spanning Superpixels, International Journal of Computer Vision, 128:12, (2962-2978), Online publication date: 1-Dec-2020.
  490. Khanbadr A, Binesh Marvasti M, Asghari S, Khanbadr S and Rahmani A (2020). A novel method for victim block selection for NAND flash-based solid state drives based on scoring, The Journal of Supercomputing, 76:12, (10186-10211), Online publication date: 1-Dec-2020.
  491. Meza-Ibarra I, Champac V, Gomez-Fuentes R, Noriega J and Vera-Marquina A (2020). Identification of Logic Paths Influenced by Severe Coupling Capacitances, Journal of Electronic Testing: Theory and Applications, 36:6, (731-741), Online publication date: 1-Dec-2020.
  492. Tam N, Dung D, Hung T, Binh H and Yu S (2020). Exploiting relay nodes for maximizing wireless underground sensor network lifetime, Applied Intelligence, 50:12, (4568-4585), Online publication date: 1-Dec-2020.
  493. ACM
    Fleder M and Shah D (2021). I Know What You Bought At Chipotle for $9.81 by Solving A Linear Inverse Problem, Proceedings of the ACM on Measurement and Analysis of Computing Systems, 4:3, (1-17), Online publication date: 30-Nov-2020.
  494. Dai H and Toulouse M Relating Network-Diameter and Network-Minimum-Degree for Distributed Function Computation Future Data and Security Engineering, (134-150)
  495. ACM
    Ghzouli R, Berger T, Johnsen E, Dragule S and Wąsowski A Behavior trees in action: a study of robotics applications Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, (196-209)
  496. Venkateshan P (2020). A Note on “The Facility Location Problem with Limited Distances”, Transportation Science, 54:6, (1439-1445), Online publication date: 1-Nov-2020.
  497. Alikhani N, Moghtadaiee V and Ghorashi S (2020). Fingerprinting Based Indoor Localization Considering the Dynamic Nature of Wi-Fi Signals, Wireless Personal Communications: An International Journal, 115:2, (1445-1464), Online publication date: 1-Nov-2020.
  498. Jeon B, Shim D and Jin Kim H Detection-Aware Trajectory Generation for a Drone Cinematographer 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (1450-1457)
  499. Tabuti L, de Azevedo da Rocha R and Nakamura R Proposal of Method for Converting a Physical Card Game to Digital for Logical Reasoning Competencies on the Data Structure Subject 2020 IEEE Frontiers in Education Conference (FIE), (1-9)
  500. Alsahafy M and Chang L Fast Algorithm for Distance Dynamics-Based Community Detection Web Information Systems Engineering – WISE 2020, (213-226)
  501. ACM
    Jiang J, Li Z, Ju C and Wang W MARU Proceedings of the 29th ACM International Conference on Information & Knowledge Management, (575-584)
  502. ACM
    Xian Y, Fu Z, Zhao H, Ge Y, Chen X, Huang Q, Geng S, Qin Z, de Melo G, Muthukrishnan S and Zhang Y CAFE Proceedings of the 29th ACM International Conference on Information & Knowledge Management, (1645-1654)
  503. ACM
    Balch T, Diamond B and Polychroniadou A SecretMatch Proceedings of the First ACM International Conference on AI in Finance, (1-7)
  504. ACM
    Watson W and Liu B Financial table extraction in image documents Proceedings of the First ACM International Conference on AI in Finance, (1-8)
  505. Kobylkin K Fast Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks Analysis of Images, Social Networks and Texts, (421-432)
  506. Lopes H and Lima D Cellular Automata in path planning navigation control applied in surveillance task using the e-Puck architecture 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), (1117-1122)
  507. Hou J, Wang S, Wu G, Ma B and Zhang L Parallel SCC Detection Based on Reusing Warps and Coloring Partitions on GPUs Algorithms and Architectures for Parallel Processing, (31-46)
  508. Luo Y, Chu Z, Jin P and Wan S Efficient Sorting and Join on NVM-Based Hybrid Memory Algorithms and Architectures for Parallel Processing, (15-30)
  509. Saigal P, Rastogi R and Chandra S (2020). Semi-supervised Weighted Ternary Decision Structure for Multi-category Classification, Neural Processing Letters, 52:2, (1555-1582), Online publication date: 1-Oct-2020.
  510. Lewis R A Shortest Path Algorithm for Graphs Featuring Transfer Costs at Their Vertices Computational Logistics, (539-552)
  511. Lewis R A Heuristic Algorithm for Finding Attractive Fixed-Length Circuits in Street Maps Computational Logistics, (384-395)
  512. Cai M and Chang L Efficient Closest Community Search over Large Graphs Database Systems for Advanced Applications, (569-587)
  513. ACM
    Paun I Efficiency-Effectiveness Trade-offs in Recommendation Systems Proceedings of the 14th ACM Conference on Recommender Systems, (770-775)
  514. Doorley R, Alonso L, Grignard A, Maciá N and Larson K Travel Demand and Traffic Prediction with Cell Phone Data: Calibration by Mathematical Program with Equilibrium Constraints 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), (1-8)
  515. Anagnostides I, Fotakis D and Patsilinakos P Asymptotically Optimal Communication in Simple Mechanisms Algorithmic Game Theory, (17-31)
  516. Wang P, Hammer P and Wang H An Architecture for Real-Time Reasoning and Learning Artificial General Intelligence, (347-356)
  517. Shiokawa H and Takahashi T DSCAN: Distributed Structural Graph Clustering for Billion-Edge Graphs Database and Expert Systems Applications, (38-54)
  518. Stertz F, Rinderle-Ma S and Mangler J Analyzing Process Concept Drifts Based on Sensor Event Streams During Runtime Business Process Management, (202-219)
  519. Malashenko Y and Nazarova I (2020). Analysis of Critical Damage in the Communication Network: I. Model and Computational Experiment, Journal of Computer and Systems Sciences International, 59:5, (745-754), Online publication date: 1-Sep-2020.
  520. Gruzlikov A, Kolesov N, Lukoyanov E and Tolmacheva M (2020). Diagnostic Model for a Distributed Computer System in Real Time, Journal of Computer and Systems Sciences International, 59:5, (684-694), Online publication date: 1-Sep-2020.
  521. Wang N, Zeng J, Hong W and Zhu S (2020). Privacy-preserving spatial keyword location-to-trajectory matching, Distributed and Parallel Databases, 38:3, (667-686), Online publication date: 1-Sep-2020.
  522. Mahfoud H (2019). Graph pattern matching with counting quantifiers and label-repetition constraints, Cluster Computing, 23:3, (1529-1553), Online publication date: 1-Sep-2020.
  523. An Z, Feng Q, Kanj I and Xia G (2020). The Complexity of Tree Partitioning, Algorithmica, 82:9, (2606-2643), Online publication date: 1-Sep-2020.
  524. Sambasivan R, Das S and Sahu S (2020). A Bayesian perspective of statistical machine learning for big data, Computational Statistics, 35:3, (893-930), Online publication date: 1-Sep-2020.
  525. ACM
    Kelly T (2020). Efficient Graph Search, Queue, 18:4, (25-36), Online publication date: 31-Aug-2020.
  526. Agrawal S and Inkulu R Visibility Polygon Queries Among Dynamic Polygonal Obstacles in Plane Computing and Combinatorics, (136-148)
  527. ACM
    Yan J, Xu Z, Tiwana B and Chatterjee S Ads Allocation in Feed via Constrained Optimization Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (3386-3394)
  528. ACM
    Konar A and Sidiropoulos N Mining Large Quasi-cliques with Quality Guarantees from Vertex Neighborhoods Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (577-587)
  529. ACM
    Fujiwara Y, Kumagai A, Kanai S, Ida Y and Ueda N Efficient Algorithm for the b-Matching Graph Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (187-197)
  530. Wolf S, Li Y, Pape C, Bailoni A, Kreshuk A and Hamprecht F The Semantic Mutex Watershed for Efficient Bottom-Up Semantic Instance Segmentation Computer Vision – ECCV 2020, (208-224)
  531. ACM
    Tang Y Improving the Space-Time Efficiency of Matrix Multiplication Algorithms Workshop Proceedings of the 49th International Conference on Parallel Processing, (1-10)
  532. ACM
    Sifat T, Prajapati N and Rajopadhye S Revisiting Sparse Dynamic Programming for the 0/1 Knapsack Problem Proceedings of the 49th International Conference on Parallel Processing, (1-10)
  533. ACM
    Zhang X, Zhou R, Zhou Z, Lui J and Li Z An Online Learning-Based Task Offloading Framework for 5G Small Cell Networks Proceedings of the 49th International Conference on Parallel Processing, (1-11)
  534. Ning L and Zhang Y Search Complexity: A Way for the Quantitative Analysis of the Search Space Algorithmic Aspects in Information and Management, (346-357)
  535. Rubert D, Araujo E, Stefanes M, Stoye J and Martinez F (2020). Searching and inferring colorful topological motifs in vertex-colored graphs, Journal of Combinatorial Optimization, 40:2, (379-411), Online publication date: 1-Aug-2020.
  536. Fan M and Li J Surrogate-Assisted Genetic Algorithms for the Travelling Salesman Problem and Vehicle Routing Problem 2020 IEEE Congress on Evolutionary Computation (CEC), (1-7)
  537. Zhou T, Wang J and Miao Y A Formal Method for Safety Time Series Simulation of Aerospace Artificial Intelligence and Security, (38-48)
  538. Moor M, Horn M, Rieck B and Borgwardt K Topological autoencoders Proceedings of the 37th International Conference on Machine Learning, (7045-7054)
  539. Cheung W, Simchi-Levi D and Zhu R Reinforcement learning for non-stationary Markov decision processes Proceedings of the 37th International Conference on Machine Learning, (1843-1854)
  540. ACM
    Fathi R, Molla A and Pandurangan G Efficient Distributed Algorithms for the K-Nearest Neighbors Problem Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, (527-529)
  541. ACM
    Mueller S, Ahrens W, Chou S, Kjolstad F and Amarasinghe S Sparse Tensor Transpositions Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, (559-561)
  542. ACM
    Blelloch G, Fineman J, Gu Y and Sun Y Optimal Parallel Algorithms in the Binary-Forking Model Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, (89-102)
  543. ACM
    Tang Y Balanced Partitioning of Several Cache-Oblivious Algorithms Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, (575-577)
  544. Shi Z and Eryilmaz A A Zeroth-Order ADMM Algorithm for Stochastic Optimization over Distributed Processing Networks IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, (726-735)
  545. Flores H, Tran V and Tang B PAM & PAL: Policy-Aware Virtual Machine Migration and Placement in Dynamic Cloud Data Centers IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, (2549-2558)
  546. Silva E, Sampaio F, da Silva L, Medeiros D and Correia G (2020). A method for embedding a computer vision application into a wearable device, Microprocessors & Microsystems, 76:C, Online publication date: 1-Jul-2020.
  547. Levin M (2020). Composite Technology Challenge System for Optimization in 5G Communications, SN Computer Science, 1:4, Online publication date: 1-Jul-2020.
  548. Dai H and Toulouse M (2020). Extremal Problem with Network-Diameter and -Minimum-Degree for Distributed Function Computation, SN Computer Science, 1:4, Online publication date: 1-Jul-2020.
  549. Wu H, Zhang Y, Liao X, Shen Y and Jiang X (2020). On covert throughput performance of two-way relay covert wireless communications, Wireless Networks, 26:5, (3275-3289), Online publication date: 1-Jul-2020.
  550. Müller R, Schuhmacher D and Mateu J (2020). Metrics and barycenters for point pattern data, Statistics and Computing, 30:4, (953-972), Online publication date: 1-Jul-2020.
  551. Zhu Z, Wang Z, Li D, Du W and Zhang J (2019). Efficient matrixized classification learning with separated solution process, Neural Computing and Applications, 32:14, (10609-10632), Online publication date: 1-Jul-2020.
  552. Abboud R and Tekli J (2019). Integration of nonparametric fuzzy classification with an evolutionary-developmental framework to perform music sentiment-based analysis and composition, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 24:13, (9875-9925), Online publication date: 1-Jul-2020.
  553. Rau M and Nipkow T Verification of Closest Pair of Points Algorithms Automated Reasoning, (341-357)
  554. Lammich P Efficient Verified Implementation of Introsort and Pdqsort Automated Reasoning, (307-323)
  555. Cicalese F and Rossi E On D-ary Fano Codes 2020 IEEE International Symposium on Information Theory (ISIT), (2365-2370)
  556. ACM
    Bakoev V A Method for Fast Computing the Algebraic Degree of Boolean Functions Proceedings of the 21st International Conference on Computer Systems and Technologies, (141-147)
  557. ACM
    Gershtein S, Milo T, Morami G and Novgorodov S Minimization of Classifier Construction Cost for Search Queries Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, (1351-1365)
  558. ACM
    Ouyang D, Wen D, Qin L, Chang L, Zhang Y and Lin X Progressive Top-K Nearest Neighbors Search in Large Road Networks Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, (1781-1795)
  559. ACM
    Tziavelis N, Gatterbauer W and Riedewald M Optimal Join Algorithms Meet Top-k Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, (2659-2665)
  560. ACM
    Wang Y, Gu Y and Shun J Theoretically-Efficient and Practical Parallel DBSCAN Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, (2555-2571)
  561. Acuña V, Lima L, Italiano G, Pepè Sciarria L, Sagot M and Sinaimeri B A Family of Tree-Based Generators for Bubbles in Directed Graphs Combinatorial Algorithms, (17-29)
  562. Chakraborty S, Sadakane K and Satti S Optimal In-place Algorithms for Basic Graph Problems Combinatorial Algorithms, (126-139)
  563. Li W, Zhu X and Gong S (2019). Scalable Person Re-Identification by Harmonious Attention, International Journal of Computer Vision, 128:6, (1635-1653), Online publication date: 1-Jun-2020.
  564. Sozeau M, Anand A, Boulier S, Cohen C, Forster Y, Kunze F, Malecha G, Tabareau N and Winterhalter T (2020). The MetaCoq Project, Journal of Automated Reasoning, 64:5, (947-999), Online publication date: 1-Jun-2020.
  565. Avin C, Mondal K and Schmid S (2019). Demand-aware network designs of bounded degree, Distributed Computing, 33:3-4, (311-325), Online publication date: 1-Jun-2020.
  566. ACM
    Khamesi A, Silvestri S, Baker D and Paola A (2020). Perceived-Value-driven Optimization of Energy Consumption in Smart Homes, ACM Transactions on Internet of Things, 1:2, (1-26), Online publication date: 31-May-2020.
  567. Bouattour H, Slimen Y, Mechteri M and Biallach H Root Cause Analysis of Noisy Neighbors in a Virtualized Infrastructure 2020 IEEE Wireless Communications and Networking Conference (WCNC), (1-6)
  568. Fleischmann P, Lejeune M, Manea F, Nowotka D and Rigo M Reconstructing Words from Right-Bounded-Block Words Developments in Language Theory, (96-109)
  569. Barker L, Fleischmann P, Harwardt K, Manea F and Nowotka D Scattered Factor-Universality of Words Developments in Language Theory, (14-28)
  570. Yu W, Musa S and Li B Double-Base Chains for Scalar Multiplications on Elliptic Curves Advances in Cryptology – EUROCRYPT 2020, (538-565)
  571. Arivudainambi D and Pavithra R (2020). Coverage and Connectivity-Based 3D Wireless Sensor Deployment Optimization, Wireless Personal Communications: An International Journal, 112:2, (1185-1204), Online publication date: 1-May-2020.
  572. Capezzuto L, Tarapore D and Ramchurn S Anytime and Efficient Coalition Formation with Spatial and Temporal Constraints Multi-Agent Systems and Agreement Technologies, (589-606)
  573. Hussain M and Fujimoto N (2020). GPU-based parallel multi-objective particle swarm optimization for large swarms and high dimensional problems, Parallel Computing, 92:C, Online publication date: 1-Apr-2020.
  574. Fan H, Feng J, Meng M and Wang B (2020). General decomposition of fuzzy relations, Fuzzy Sets and Systems, 384:C, (75-90), Online publication date: 1-Apr-2020.
  575. Valejo A, Góes F, Romanetto L, Ferreira de Oliveira M and de Andrade Lopes A (2019). A benchmarking tool for the generation of bipartite network models with overlapping communities, Knowledge and Information Systems, 62:4, (1641-1669), Online publication date: 1-Apr-2020.
  576. Hagerup T (2019). Space-Efficient DFS and Applications to Connectivity Problems: Simpler, Leaner, Faster, Algorithmica, 82:4, (1033-1056), Online publication date: 1-Apr-2020.
  577. Pereira R, Costa Y and Silla Jr. C (2020). MLTL, Neurocomputing, 383:C, (95-105), Online publication date: 28-Mar-2020.
  578. Mazaheri Soudani N, Fatemi A and Nematbakhsh M (2019). An investigation of big graph partitioning methods for distribution of graphs in vertex-centric systems, Distributed and Parallel Databases, 38:1, (1-29), Online publication date: 1-Mar-2020.
  579. Agarwal P and Pan J (2019). Near-Linear Algorithms for Geometric Hitting Sets and Set Covers, Discrete & Computational Geometry, 63:2, (460-482), Online publication date: 1-Mar-2020.
  580. Spoto F Enforcing Determinism of Java Smart Contracts Financial Cryptography and Data Security, (568-583)
  581. Damaj I, Elshafei M, El-Abd M and Aydin M (2022). An analytical framework for high-speed hardware particle swarm optimization, Microprocessors & Microsystems, 72:C, Online publication date: 1-Feb-2020.
  582. Lai T, Marino A, Robinson A and Wan D (2020). Moment subset sums over finite fields, Finite Fields and Their Applications, 62:C, Online publication date: 1-Feb-2020.
  583. Michalowsky S, Gharesifard B and Ebenbauer C (2020). A Lie bracket approximation approach to distributed optimization over directed graphs, Automatica (Journal of IFAC), 112:C, Online publication date: 1-Feb-2020.
  584. Tan X, Berkane S and Dimarogonas D (2020). Constrained attitude maneuvers on S O ( 3 ), Automatica (Journal of IFAC), 112:C, Online publication date: 1-Feb-2020.
  585. Santucci V and Ceberio J (2020). Using pairwise precedences for solving the linear ordering problem, Applied Soft Computing, 87:C, Online publication date: 1-Feb-2020.
  586. de Souza L, de Souza R and do Amaral G (2019). Dynamic clustering of interval data based on hybrid distance, Knowledge and Information Systems, 62:2, (687-718), Online publication date: 1-Feb-2020.
  587. Wu C and He Y (2019). Solving the set-union knapsack problem by a novel hybrid Jaya algorithm, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 24:3, (1883-1902), Online publication date: 1-Feb-2020.
  588. Zhao X, Su Z, Komura T and Yang X (2019). Building hierarchical structures for 3D scenes with repeated elements, The Visual Computer: International Journal of Computer Graphics, 36:2, (361-374), Online publication date: 1-Feb-2020.
  589. Hosseinzadeh M Dense Subgraphs in Biological Networks SOFSEM 2020: Theory and Practice of Computer Science, (711-719)
  590. Jung Y, Hyun D and Shin Y Integrated Airgap Insertion and Layer Reassignment for Circuit Timing Optimization Proceedings of the 25th Asia and South Pacific Design Automation Conference, (32-37)
  591. ACM
    Keramatian A, Gulisano V, Papatriantafilou M and Tsigas P PARMA-CC Proceedings of the 21st International Conference on Distributed Computing and Networking, (1-10)
  592. ACM
    Kshemkalyani A, Molla A and Sharma G Dispersion of Mobile Robots in the Global Communication Model Proceedings of the 21st International Conference on Distributed Computing and Networking, (1-10)
  593. Roy I, Srivastava A, Grimm M and Aluru S (2020). Interval stabbing on the Automata Processor, Journal of Parallel and Distributed Computing, 135:C, (234-245), Online publication date: 1-Jan-2020.
  594. Dai H and Toulouse M (2019). Lower-Bound Study for Function Computation in Distributed Networks via Vertex-Eccentricity, SN Computer Science, 1:1, Online publication date: 1-Jan-2020.
  595. ACM
    Chatterjee K, Fu H and Goharshady A (2019). Non-polynomial Worst-Case Analysis of Recursive Programs, ACM Transactions on Programming Languages and Systems, 41:4, (1-52), Online publication date: 31-Dec-2020.
  596. ACM
    Bui H and Tran V A Novel Conditional Random Fields Aided Fuzzy Matching in Vietnamese Address Standardization Proceedings of the 10th International Symposium on Information and Communication Technology, (23-28)
  597. Salaün A, Bouillard A and Buob M Space-Time Pattern Extraction in Alarm Logs for Network Diagnosis Machine Learning for Networking, (134-153)
  598. Mukherjee S, Pan I and Samanta T (2019). A particle swarm optimization method for fault localization and residue removal in digital microfluidic biochips, Applied Soft Computing, 85:C, Online publication date: 1-Dec-2019.
  599. Yu W (2019). A mathematical morphology based method for hierarchical clustering analysis of spatial points on street networks, Applied Soft Computing, 85:C, Online publication date: 1-Dec-2019.
  600. ACM
    Fernando O, Kannappan V, Tan X, Hong J, Chattopadhyay A and Seah H La Petite Fee Cosmo Proceedings of the 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, (1-9)
  601. Sullivan A, Marinov D and Khurshid S Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method Formal Methods and Software Engineering, (336-352)
  602. Liu Z, Lu Z, Yang Y and Huang P (2019). Teleoperation for space manipulator based on complex virtual fixtures, Robotics and Autonomous Systems, 121:C, Online publication date: 1-Nov-2019.
  603. Khanam S, Dey V, Chatterjee M and Bhattacharya U (2019). An offline cost-efficient strategy for multicast traffic protection in WDM optical mesh networks to aid rapid recovery, Optical Switching and Networking, 34:C, (47-57), Online publication date: 1-Nov-2019.
  604. Demertzis A, Oikonomou K and Stavrakakis I (2019). Evaluation of a proposed minimum path impotence routing policy in wireless sensor networks, Ad Hoc Networks, 94:C, Online publication date: 1-Nov-2019.
  605. Guha S, Kupferman O and Vardi G (2019). Multi-player flow games, Autonomous Agents and Multi-Agent Systems, 33:6, (798-820), Online publication date: 1-Nov-2019.
  606. van den Bos P and Vaandrager F State Identification for Labeled Transition Systems with Inputs and Outputs Formal Aspects of Component Software, (191-212)
  607. De Angelis E, Fioravanti F, Palacios A, Pettorossi A and Proietti M Property-Based Test Case Generators for Free Tests and Proofs, (186-206)
  608. Backhouse R An Analysis of Repeated Graph Search Mathematics of Program Construction, (298-328)
  609. August T, Dao D and Kim K (2019). Market Segmentation and Software Security, Management Science, 65:10, (4575-4597), Online publication date: 1-Oct-2019.
  610. Barbosa Roa N, Travé-Massuyès L and Grisales-Palacio V (2019). , Pattern Recognition, 94:C, (162-186), Online publication date: 1-Oct-2019.
  611. Nelaturi S, Behandish M, Mirzendehdel A and de Kleer J (2019). Automatic Support Removal for Additive Manufacturing Post Processing, Computer-Aided Design, 115:C, (135-146), Online publication date: 1-Oct-2019.
  612. ACM
    Lozano R, Carlsson M, Blindell G and Schulte C (2019). Combinatorial Register Allocation and Instruction Scheduling, ACM Transactions on Programming Languages and Systems, 41:3, (1-53), Online publication date: 30-Sep-2019.
  613. Blum A, Haghtalab N, Hajiaghayi M and Seddighin S Computing Stackelberg Equilibria of Large General-Sum Games Algorithmic Game Theory, (168-182)
  614. Kutsia T and Pau C Matching and Generalization Modulo Proximity and Tolerance Relations Language, Logic, and Computation, (323-342)
  615. Subramani K, Caskurlu B and Acikalin U Security-Aware Database Migration Planning Algorithmic Aspects of Cloud Computing, (103-121)
  616. Wang P and Michailidis G Directed Acyclic Graph Reconstruction Leveraging Prior Partial Ordering Information Machine Learning, Optimization, and Data Science, (458-471)
  617. Šefl V Performance Analysis of Zippers Declarative Programming and Knowledge Management, (215-229)
  618. Duque-Arias D, Velasco-Forero S, Deschaud J, Goulette F and Marcotegui B A Graph-Based Color Lines Model for Image Analysis Image Analysis and Processing – ICIAP 2019, (181-191)
  619. Poslednik M, Pozniak-Koszalka I, Koszalka L and Kasprzak A Comparison of Heuristic Algorithms for Path Planning in 3D Printing with Multistage Experimentation System Computational Collective Intelligence, (498-510)
  620. Aprahamian H, Bish D and Bish E (2019). Optimal Risk-Based Group Testing, Management Science, 65:9, (4365-4384), Online publication date: 1-Sep-2019.
  621. Mejia-Alvarez P, Moncada-Madero D, Aydin H and Diaz-Ramirez A (2019). Evaluation framework for energy-aware multiprocessor scheduling in real-Time systems, Journal of Systems Architecture: the EUROMICRO Journal, 98:C, (388-402), Online publication date: 1-Sep-2019.
  622. Silva S, Rad P, Beebe N, Choo K and Umapathy M (2019). Cooperative unmanned aerial vehicles with privacy preserving deep vision for real-time object identification and tracking, Journal of Parallel and Distributed Computing, 131:C, (147-160), Online publication date: 1-Sep-2019.
  623. Nguyen H, Dumas M, ter Hofstede A, La Rosa M and Maggi F (2022). Stage-based discovery of business process models from event logs, Information Systems, 84:C, (214-237), Online publication date: 1-Sep-2019.
  624. Corus D, Oliveto P and Yazdani D (2019). Artificial immune systems can find arbitrarily good approximations for the NP-hard number partitioning problem, Artificial Intelligence, 274:C, (180-196), Online publication date: 1-Sep-2019.
  625. von Rymon Lipinski B, Seibt S, Roth J and Abé D Level Graph – Incremental Procedural Generation of Indoor Levels using Minimum Spanning Trees 2019 IEEE Conference on Games (CoG), (1-7)
  626. Pinkas B, Rosulek M, Trieu N and Yanai A SpOT-Light: Lightweight Private Set Intersection from Sparse OT Extension Advances in Cryptology – CRYPTO 2019, (401-431)
  627. Ayala-Rincón M, de Carvalho-Segundo W, Fernández M, Nantes-Sobrinho D and Rocha-Oliveira A (2019). A formalisation of nominal α-equivalence with A, C, and AC function symbols, Theoretical Computer Science, 781:C, (3-23), Online publication date: 16-Aug-2019.
  628. Ilić A and Bašić M (2019). Path matrix and path energy of graphs, Applied Mathematics and Computation, 355:C, (537-541), Online publication date: 15-Aug-2019.
  629. ACM
    Schoeneman F and Zola J Solving All-Pairs Shortest-Paths Problem in Large Graphs Using Apache Spark Proceedings of the 48th International Conference on Parallel Processing, (1-10)
  630. ACM
    Troendle D, Ta T and Jang B A Specialized Concurrent Queue for Scheduling Irregular Workloads on GPUs Proceedings of the 48th International Conference on Parallel Processing, (1-11)
  631. Acan H, Chakraborty S, Jo S and Satti S Succinct Data Structures for Families of Interval Graphs Algorithms and Data Structures, (1-13)
  632. Melucci M (2019). A brief survey on probability distribution approximation, Computer Science Review, 33:C, (91-97), Online publication date: 1-Aug-2019.
  633. ACM
    Koiliaris K and Xu C (2019). Faster Pseudopolynomial Time Algorithms for Subset Sum, ACM Transactions on Algorithms, 15:3, (1-20), Online publication date: 31-Jul-2019.
  634. Konstantinidis K and Ramamoorthy A CAMR: Coded Aggregated MapReduce 2019 IEEE International Symposium on Information Theory (ISIT), (1427-1431)
  635. Zarei Zefreh E, Lotfi S, Mohammad Khanli L and Karimpour J (2019). Topology and computational-power aware tile mapping of perfectly nested loops with dependencies on distributed systems, Journal of Parallel and Distributed Computing, 129:C, (14-35), Online publication date: 1-Jul-2019.
  636. Tenhunen H, Pahikkala T, Nevalainen O, Teuhola J, Mattila H and Tyystjärvi E (2022). Automatic detection of cereal rows by means of pattern recognition techniques, Computers and Electronics in Agriculture, 162:C, (677-688), Online publication date: 1-Jul-2019.
  637. Li Y, Qi G and Sheng A (2019). Optimal deployment of vehicles with circular formation for bearings-only multi-target localization, Automatica (Journal of IFAC), 105:C, (347-355), Online publication date: 1-Jul-2019.
  638. Pourpanah F, Shi Y, Lim C, Hao Q and Tan C (2019). Feature selection based on brain storm optimization for data classification, Applied Soft Computing, 80:C, (761-775), Online publication date: 1-Jul-2019.
  639. Demaine E, Iacono J, Koumoutsos G and Langerman S Belga B-Trees Computer Science – Theory and Applications, (93-105)
  640. ACM
    Han M, Kim H, Gu G, Park K and Han W Efficient Subgraph Matching Proceedings of the 2019 International Conference on Management of Data, (1429-1446)
  641. ACM
    Sarkhel R and Nandi A Visual Segmentation for Information Extraction from Heterogeneous Visually Rich Documents Proceedings of the 2019 International Conference on Management of Data, (247-262)
  642. ACM
    Mailis T, Kotidis Y, Nikolopoulos V, Kharlamov E, Horrocks I and Ioannidis Y An Efficient Index for RDF Query Containment Proceedings of the 2019 International Conference on Management of Data, (1499-1516)
  643. ACM
    Sommer J, Boehm M, Evfimievski A, Reinwald B and Haas P MNC Proceedings of the 2019 International Conference on Management of Data, (1607-1623)
  644. ACM
    Chrysafis C, Collins B, Dugas S, Dunkelberger J, Ehsan M, Gray S, Grieser A, Herrnstadt O, Lev-Ari K, Lin T, McMahon M, Schiefer N and Shraer A FoundationDB Record Layer Proceedings of the 2019 International Conference on Management of Data, (1787-1802)
  645. van der Werf J and Steehouwer L CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction Application and Theory of Petri Nets and Concurrency, (91-100)
  646. ACM
    Murali P, Linke N, Martonosi M, Abhari A, Nguyen N and Alderete C Full-stack, real-system quantum computer studies Proceedings of the 46th International Symposium on Computer Architecture, (527-540)
  647. Peri S, Sa M and Singhal N A Pragmatic Non-blocking Concurrent Directed Acyclic Graph Networked Systems, (327-344)
  648. Abdulla P, Atig M, Jonsson B and Ngo T Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial) Networked Systems, (3-18)
  649. Hou J, Wang S, Wu G, Fu G, Jia S, Wang Y, Li B and Zhang L Parallel Strongly Connected Components Detection with Multi-partition on GPUs Computational Science – ICCS 2019, (16-30)
  650. Nathan E, Sanders G and Henson V Personalized Ranking in Dynamic Graphs Using Nonbacktracking Walks Computational Science – ICCS 2019, (276-289)
  651. Duan Q, Shao C, Qu L, Shi Y and Niu B When Cooperative Co-Evolution Meets Coordinate Descent: Theoretically Deeper Understandings and Practically Better Implementations 2019 IEEE Congress on Evolutionary Computation (CEC), (721-730)
  652. Vysotsky L On Tensor-Train Ranks of Tensorized Polynomials Large-Scale Scientific Computing, (189-196)
  653. ACM
    Dhulipala L, Blelloch G and Shun J Low-latency graph streaming using compressed purely-functional trees Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, (918-934)
  654. Cicalese F, Gargano L and Vaccaro U (2019). Minimum-Entropy Couplings and Their Applications, IEEE Transactions on Information Theory, 65:6, (3436-3451), Online publication date: 1-Jun-2019.
  655. Søvde N, Astrup R and Talbot B (2019). An inverse shortest path approach to find forwarder productivity functions, Computers and Electronics in Agriculture, 161:C, (53-61), Online publication date: 1-Jun-2019.
  656. Komorowski M and Trzciński T (2019). Random Binary Search Trees for approximate nearest neighbour search in binary spaces, Applied Soft Computing, 79:C, (87-93), Online publication date: 1-Jun-2019.
  657. Hua J, Zhang Y, Zhang Y and Khurshid S (2019). EdSketch, International Journal on Software Tools for Technology Transfer (STTT), 21:3, (249-265), Online publication date: 1-Jun-2019.
  658. Cutello V, Oliva M, Pavone M and Scollo R A Hybrid Immunological Search for the Weighted Feedback Vertex Set Problem Learning and Intelligent Optimization, (1-16)
  659. Dumitrescu A Finding a Mediocre Player Algorithms and Complexity, (212-223)
  660. Ryll M, Ware J, Carter J and Roy N Efficient Trajectory Planning for High Speed Flight in Unknown Environments 2019 International Conference on Robotics and Automation (ICRA), (732-738)
  661. Zhang Z, Henderson T, Sze V and Karaman S FSMI: Fast Computation of Shannon Mutual Information for Information-Theoretic Mapping 2019 International Conference on Robotics and Automation (ICRA), (6912-6918)
  662. ACM
    Barnabò G, Fazzone A, Leonardi S and Schwiegelshohn C Algorithms for Fair Team Formation in Online Labour Marketplaces✱ Companion Proceedings of The 2019 World Wide Web Conference, (484-490)
  663. ACM
    Seddighin M, Saleh H and Ghodsi M Externalities and Fairness The World Wide Web Conference, (538-548)
  664. ACM
    Liu X, Zhang Z, Stones R, Li Y, Wang G and Liu X A Hybrid BitFunnel and Partitioned Elias-Fano Inverted Index The World Wide Web Conference, (1153-1163)
  665. ACM
    Yuen C, Singh A, Goyal S, Ranu S and Bagchi A Beyond Shortest Paths: Route Recommendations for Ride-sharing The World Wide Web Conference, (2258-2269)
  666. Kulba V, Somov S and Merkuryev Y (2019). Placement of Data Array Replicas in a Distributed System With Unreliable Communication Channels, Applied Computer Systems, 24:1, (69-74), Online publication date: 1-May-2019.
  667. Raap M, Preuß M and Meyer-Nieberg S (2019). Moving target search optimization – A literature review, Computers and Operations Research, 105:C, (132-140), Online publication date: 1-May-2019.
  668. Shukla K, Carcione J, Pestana R, Jaiswal P and Özdenvar T (2019). Modeling the wave propagation in viscoacoustic media, Computers & Geosciences, 126:C, (31-40), Online publication date: 1-May-2019.
  669. Saez Y, Estebanez C, Quintana D and Isasi P (2019). Evolutionary hash functions for specific domains, Applied Soft Computing, 78:C, (58-69), Online publication date: 1-May-2019.
  670. Babenko M, Kolesnichenko I and Smirnov I (2019). Cascade Heap, Theory of Computing Systems, 63:4, (637-646), Online publication date: 1-May-2019.
  671. Pan T, Song E, Bian Z, Lin X, Peng X, Zhang J, Huang T, Liu B and Liu Y INT-path: Towards Optimal Path Planning for In-band Network-Wide Telemetry IEEE INFOCOM 2019 - IEEE Conference on Computer Communications, (487-495)
  672. Asahiro Y, Jansson J, Miyano E, Ono H and T. P. S Graph Orientation with Edge Modifications Frontiers in Algorithmics, (38-50)
  673. Atkinson T, Karsa A, Drake J and Swan J Quantum Program Synthesis: Swarm Algorithms and Benchmarks Genetic Programming, (19-34)
  674. Fan Y, Lai Y, Li C, Li N, Ma Z, Zhou J, Latecki L and Su K Efficient Local Search for Minimum Dominating Sets in Large Graphs Database Systems for Advanced Applications, (211-228)
  675. ACM
    Govindaiah S and Petty M Applying Reinforcement Learning to Plan Manufacturing Material Handling Part 2 Proceedings of the 2019 ACM Southeast Conference, (16-23)
  676. Ghaznavi M and Jamshidi A (2019). A low complexity cluster based data fusion to defense against SSDF attack in cognitive radio networks, Computer Communications, 138:C, (106-114), Online publication date: 15-Apr-2019.
  677. Hora M, Končický V and Tětek J Theoretical Model of Computation and Algorithms for FPGA-Based Hardware Accelerators Theory and Applications of Models of Computation, (295-312)
  678. ACM
    Ramezanian S, Meskanen T and Niemi V Privacy preserving 2-party queries on bipartite graphs with private set intersection Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1867-1870)
  679. ACM
    Lunardi W, Voos H and Cherri L An effective hybrid imperialist competitive algorithm and tabu search for an extended flexible job shop scheduling problem Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (204-211)
  680. Choudhury P, Bhadra S and De T (2019). A brief review of protection based routing and spectrum assignment in elastic optical networks and a novel p-cycle based protection approach for multicast traffic demands, Optical Switching and Networking, 32:C, (67-79), Online publication date: 1-Apr-2019.
  681. ACM
    Nguyen T, Vuong L, Nguyen S, Pham C and Nguyen T Uniform Randomization for Block Double Validation Proceedings of the 2019 International Conference on Blockchain Technology, (12-18)
  682. Pourpanah F, Lim C, Wang X, Tan C, Seera M and Shi Y (2022). A hybrid model of fuzzy min–max and brain storm optimization for feature selection and data classification, Neurocomputing, 333:C, (440-451), Online publication date: 14-Mar-2019.
  683. Gao W, Pourhassan M, Roostapour V and Neumann F Runtime Analysis of Evolutionary Multi-objective Algorithms Optimising the Degree and Diameter of Spanning Trees Evolutionary Multi-Criterion Optimization, (504-515)
  684. Qiao W and Créput J (2022). GPU implementation of Borůvka’s algorithm to Euclidean minimum spanning tree based on Elias method, Applied Soft Computing, 76:C, (105-120), Online publication date: 1-Mar-2019.
  685. Krumke S, Thielen C, Weinschenk P and Westphal S (2019). Full implementation of social choice functions in dominant strategies, International Journal of Game Theory, 48:1, (337-361), Online publication date: 1-Mar-2019.
  686. ACM
    Indrawan G, Paramarta I and Agustini K A New Method of Latin-to-Balinese Script Transliteration based on Noto Sans Balinese Font and Dictionary Data Structure Proceedings of the 2nd International Conference on Software Engineering and Information Management, (75-79)
  687. ACM
    Chatterjee B, Peri S, Sa M and Singhal N A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries Proceedings of the 20th International Conference on Distributed Computing and Networking, (168-177)
  688. Naser H, Awad W, El-Alfy E, Thampi S and El-Alfy E (2019). A multi-matching approximation algorithm for Symmetric Traveling Salesman Problem, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 36:3, (2285-2295), Online publication date: 1-Jan-2019.
  689. Chang R, Dwyer T, Fujishiro I, Isenberg P, Franconeri S, Qu H, Schreck T, Weiskopf D and Weber G (2018). Preface, IEEE Transactions on Visualization and Computer Graphics, 25:1, (xii-xvii), Online publication date: 1-Jan-2019.
  690. Faust R, Glickenstein D and Scheidegger C (2018). DimReader: Axis lines that explain non-linear projections, IEEE Transactions on Visualization and Computer Graphics, 25:1, (481-490), Online publication date: 1-Jan-2019.
  691. Zhou X, Li K, Yang Z and Li K (2018). Finding Optimal Skyline Product Combinations under Price Promotion, IEEE Transactions on Knowledge and Data Engineering, 31:1, (138-151), Online publication date: 1-Jan-2019.
  692. Hsieh S, Wang Y, Shen T, Huang K, Pai C, Chen T and Li J (2018). DR-Scan: Dual-Rail Asynchronous Scan DfT and ATPG, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 38:1, (136-148), Online publication date: 1-Jan-2019.
  693. Mitchell J, Polishchuk V, Sysikaski M and Wang H (2019). An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains, Algorithmica, 81:1, (289-316), Online publication date: 1-Jan-2019.
  694. ACM
    Guo L, Peng C and He C New Reversible Computing Algorithms for Shortest Paths Problem Proceedings of the 6th International Conference on Information Technology: IoT and Smart City, (82-87)
  695. Ye L, Roy S and Sundaram S Optimal Sensor Placement for Kalman Filtering in Stochastically Forced Consensus Networks 2018 IEEE Conference on Decision and Control (CDC), (6686-6691)
  696. Polevoy G, Trajanovski S, Grosso P and de Laat C Removing Undesirable Flows by Edge Deletion Combinatorial Optimization and Applications, (217-232)
  697. Saile C and Suksompong W Robust Bounds on Choosing from Large Tournaments Web and Internet Economics, (393-407)
  698. Liao Y and Tsai S Fast Failover with Hierarchical Disjoint Paths in SDN 2018 IEEE Global Communications Conference (GLOBECOM), (1-7)
  699. Aldaghri N and Mahdavifar H Fast Secret Key Generation in Static Environments Using Induced Randomness 2018 IEEE Global Communications Conference (GLOBECOM), (1-6)
  700. Ebrahimi D, Sharafeddine S, Ho P and Assi C Data Collection in Wireless Sensor Networks Using UAV and Compressive Data Gathering 2018 IEEE Global Communications Conference (GLOBECOM), (1-7)
  701. Rahman M, Tadayon N, Han S and Valaee S LocHunt: Angle of Arrival Based Location Estimation in Harsh Multipath Environments 2018 IEEE Global Communications Conference (GLOBECOM), (1-6)
  702. Gu Z, Lu H, Zhu D and Lu Y Joint Power Allocation and Caching Optimization in Fiber-Wireless Access Networks 2018 IEEE Global Communications Conference (GLOBECOM), (1-7)
  703. Subramani K, Wojciechowski P, Santer Z and Anderson M An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints Algorithmic Aspects in Information and Management, (111-123)
  704. Molkaraie M and Gómez V (2018). Monte Carlo Methods for the Ferromagnetic Potts Model Using Factor Graph Duality, IEEE Transactions on Information Theory, 64:12, (7449-7464), Online publication date: 1-Dec-2018.
  705. Celisse A, Marot G, Pierre-Jean M and Rigaill G (2018). New efficient algorithms for multiple change-point detection with reproducing kernels, Computational Statistics & Data Analysis, 128:C, (200-220), Online publication date: 1-Dec-2018.
  706. Gil-Pons R Space Efficient Incremental Betweenness Algorithm for Directed Graphs Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, (262-270)
  707. Chattopadhyay S and Banerjee A A Variation Aware Composition Model for Dynamic Web Service Environments Service-Oriented Computing, (694-713)
  708. Tseng Y and Chang Y Mixed-Cell-Height Placement Considering Drain-to-Drain Abutment 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (1-6)
  709. Jiang B and Chen H Extending ML-OARSMT to Net Open Locator with Efficient and Effective Boolean Operations 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (1-8)
  710. ACM
    Barbay J and Pérez-Lantero P (2018). Adaptive Computation of the Swap-Insert Correction Distance, ACM Transactions on Algorithms, 14:4, (1-16), Online publication date: 31-Oct-2018.
  711. Abdul Careem M, Dutta A and Wang W Multi-Agent Planning with Cardinality: Towards Autonomous Enforcement of Spectrum Policies 2018 IEEE International Symposium on Dynamic Spectrum Access Networks (DySPAN), (1-10)
  712. Soltani R, Goeckel D, Towsley D and Houmansadr A Fundamental Limits of Covert Bit Insertion in Packets 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton), (1065-1072)
  713. Bekos M, Di Giacomo E, Didimo W, Liotta G and Montecchiani F Universal Slope Sets for Upward Planar Drawings Graph Drawing and Network Visualization, (77-91)
  714. Ray A, Kumar N, Shaw A and Mukherjee D U-PC: Unsupervised Planogram Compliance Computer Vision – ECCV 2018, (598-613)
  715. Wolf S, Pape C, Bailoni A, Rahaman N, Kreshuk A, Köthe U and Hamprecht F The Mutex Watershed: Efficient, Parameter-Free Image Partitioning Computer Vision – ECCV 2018, (571-587)
  716. Lunardi W, Voos H and Cherri L An Imperialist Competitive Algorithm for a Real-World Flexible Job Shop Scheduling Problem 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), (402-409)
  717. Malakuti S, Schmitt J and Gamer T From Heterogeneity to Uniformity in Building Automation Systems via Semantic-based Engineering 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), (115-122)
  718. Shiokawa H, Takahashi T and Kitagawa H ScaleSCAN: Scalable Density-Based Graph Clustering Database and Expert Systems Applications, (18-34)
  719. Goel S and Kumar R (2018). Brownian Motus and Clustered Binary Insertion Sort methods, Future Generation Computer Systems, 86:C, (266-280), Online publication date: 1-Sep-2018.
  720. Ros-Giralt J, Commike A, Cullen P and Lethin R (2018). Algorithms and data structures to accelerate network analysis, Future Generation Computer Systems, 86:C, (535-545), Online publication date: 1-Sep-2018.
  721. Massarwi F, Machchhar J, Antolin P and Elber G (2018). Hierarchical, random and bifurcation tiling with heterogeneity in micro-structures construction via functional composition, Computer-Aided Design, 102:C, (148-159), Online publication date: 1-Sep-2018.
  722. Busato F and Bombieri N Efficient Load Balancing Techniques for Graph Traversal Applications on GPUs Euro-Par 2018: Parallel Processing, (628-641)
  723. Wang D, Wang P and Shi J (2018). A fast and efficient conformal regressor with regularized extreme learning machine, Neurocomputing, 304:C, (1-11), Online publication date: 23-Aug-2018.
  724. Hagebring F and Lennartson B Compositional Optimization of Discrete Event Systems 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), (849-856)
  725. ACM
    Dai H, Sun K, Liu A, Zhang L, Zheng J and Chen G Charging Task Scheduling for Directional Wireless Charger Networks Proceedings of the 47th International Conference on Parallel Processing, (1-10)
  726. ACM
    Qiu K, Zhu Y, Yuan J, Zhao J, Wang X and Wolf T ParaPLL Proceedings of the 47th International Conference on Parallel Processing, (1-10)
  727. ACM
    Frede C and Knobelsdorf M Exploring how Students Perform in a Theory of Computation Course using Final Exam and Homework Assignments Data Proceedings of the 2018 ACM Conference on International Computing Education Research, (241-249)
  728. Keeler C and Salomaa K Cycle Height of Finite Automata Descriptional Complexity of Formal Systems, (200-211)
  729. Zhang Y, Liu H, Jin C and Guo Y Storage and Recreation Trade-Off for Multi-version Data Management Web and Big Data, (394-409)
  730. ACM
    Nguyen P and Sudholt D Memetic algorithms beat evolutionary algorithms on the class of hurdle problems Proceedings of the Genetic and Evolutionary Computation Conference, (1071-1078)
  731. Carneiro A, Protti F and Souza U Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion – A Deadlock Resolution Graph Problem Computing and Combinatorics, (84-95)
  732. Banerjee N, Jayapaul V and Satti S Minimum Transactions Problem Computing and Combinatorics, (650-661)
  733. Hoenisch P and Weber I AODV–Based Routing for Payment Channel Networks Blockchain – ICBC 2018, (107-124)
  734. Fang G, Zhong Y, Cheng Y and Fang S Obstacle-Avoiding Open-Net Connector with Precise Shortest Distance Estimation* 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), (1-6)
  735. Cicalese F and Vaccaro U Maximum Entropy Interval Aggregations 2018 IEEE International Symposium on Information Theory (ISIT), (1764-1768)
  736. ACM
    Ermel G, Farias K, Gonçales L and Bischoff V Supporting the Composition of UML Component Diagrams Proceedings of the XIV Brazilian Symposium on Information Systems, (1-9)
  737. ACM
    da Silva Freire A, Lima K and Rojas D A System For Motif Search In Biological Networks Proceedings of the XIV Brazilian Symposium on Information Systems, (1-8)
  738. Lu Y and Duel-Hallen A (2018). A Sensing Contribution-Based Two-Layer Game for Channel Selection and Spectrum Access in Cognitive Radio Ad-hoc Networks, IEEE Transactions on Wireless Communications, 17:6, (3631-3640), Online publication date: 1-Jun-2018.
  739. Issa M, Hassanien A, Oliva D, Helmi A, Ziedan I and Alzohairy A (2018). ASCA-PSO, Expert Systems with Applications: An International Journal, 99:C, (56-70), Online publication date: 1-Jun-2018.
  740. Adasme P (2018). p-Median based formulations with backbone facility locations, Applied Soft Computing, 67:C, (261-275), Online publication date: 1-Jun-2018.
  741. Zhu T, Hao Y, Luo W and Ning H (2018). Learning enhanced differential evolution for tracking optimal decisions in dynamic power systems, Applied Soft Computing, 67:C, (812-821), Online publication date: 1-Jun-2018.
  742. ACM
    Nikolic M and Olteanu D Incremental View Maintenance with Triple Lock Factorization Benefits Proceedings of the 2018 International Conference on Management of Data, (365-380)
  743. ACM
    Wolf F, May N, Willems P and Sattler K On the Calculation of Optimality Ranges for Relational Query Execution Plans Proceedings of the 2018 International Conference on Management of Data, (663-675)
  744. Thayer T, Vougioukas S, Goldberg K and Carpin S Routing Algorithms for Robot Assisted Precision Irrigation 2018 IEEE International Conference on Robotics and Automation (ICRA), (2221-2228)
  745. Qiu Y, Tan Z, Yang K, Yang W, Zhou X and Guo N Repairing Data Violations with Order Dependencies Database Systems for Advanced Applications, (283-300)
  746. Qing Z, Yuan L, Zhang F, Qin L, Lin X and Zhang W External Topological Sorting in Large Graphs Database Systems for Advanced Applications, (203-220)
  747. Meng Y, Shang R, Jiao L, Zhang W, Yuan Y and Yang S (2018). Feature selection based dual-graph sparse non-negative matrix factorization for local discriminative clustering, Neurocomputing, 290:C, (87-99), Online publication date: 17-May-2018.
  748. ACM
    Zarei A and Shooshtari A A Feature Vector for Optical Character Recognition Proceedings of the 1st International Conference on Information Science and Systems, (133-136)
  749. Liu S, Steinert R and Kostic D Flexible distributed control plane deployment NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium, (1-7)
  750. Konstantopoulos C, Vathis N, Pantziou G and Gavalas D (2018). Employing mobile elements for delay-constrained data gathering in WSNs, Computer Networks: The International Journal of Computer and Telecommunications Networking, 135:C, (108-131), Online publication date: 22-Apr-2018.
  751. Tang B DAO2: Overcoming Overall Storage Overflow in Intermittently Connected Sensor Networks IEEE INFOCOM 2018 - IEEE Conference on Computer Communications, (135-143)
  752. Xiao N, Yang P, Yan Y, Zhou H and Li X Motion-Fi: Recognizing and Counting Repetitive Motions with Passive Wireless Backscattering IEEE INFOCOM 2018 - IEEE Conference on Computer Communications, (2024-2032)
  753. Shin C, Park S, Yoon J and Lee H Progressive ad-hoc route reconstruction using distributed UAV relays after a large-scale failure 2018 IEEE Wireless Communications and Networking Conference (WCNC), (1-6)
  754. Tsitsiklis J and Xu K (2018). Delay-Predictability Trade-offs in Reaching a Secret Goal, Operations Research, 66:2, (587-596), Online publication date: 1-Apr-2018.
  755. Zhang G, Xing G and Cui L (2018). An efficient, large-scale, non-lattice-detection algorithm for exhaustive structural auditing of biomedical ontologies, Journal of Biomedical Informatics, 80:C, (106-119), Online publication date: 1-Apr-2018.
  756. ACM
    Kumar R, Xiaosong Z, Khan R, Kumar J and Ahad I Effective and Explainable Detection of Android Malware Based on Machine Learning Algorithms Proceedings of the 2018 International Conference on Computing and Artificial Intelligence, (35-40)
  757. Huang J, Zhong W, Li Z and Chen S (2018). Lagrangian relaxation-based routing path allocation for application-specific network-on-chips, Integration, the VLSI Journal, 61:C, (20-28), Online publication date: 1-Mar-2018.
  758. Sell L, Guo J, Li Z and Keyser T A Dynamic Programming Approach for Planning Reliability Growth 2018 Annual Reliability and Maintainability Symposium (RAMS), (1-6)
  759. Polevoy G, Trajanovski S, Grosso P and de Laat C Filtering Undesirable Flows in Networks Combinatorial Optimization and Applications, (3-17)
  760. Chairungsee S and Crochemore M Longest Previous Non-overlapping Factors Table Computation Combinatorial Optimization and Applications, (483-491)
  761. Leitert A and Dragan F Parameterized Approximation Algorithms for Some Location Problems in Graphs Combinatorial Optimization and Applications, (348-361)
  762. Michalowsky S, Gharesifard B and Ebenbauer C Distributed extremum seeking over directed graphs 2017 IEEE 56th Annual Conference on Decision and Control (CDC), (2095-2101)
  763. Ren Y, Tsai T, Huang J, Wu C and Tseng Y Flowtable-Free Routing for Data Center Networks: A Software-Defined Approach GLOBECOM 2017 - 2017 IEEE Global Communications Conference, (1-6)
  764. Chen G, Tu P and Young E SALT: Provably good routing topology by a novel steiner shallow-light tree algorithm 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (569-576)
  765. Lin T, Chi C and Chang Y Redistribution layer routing for wafer-level integrated fan-out package-on-packages 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (561-568)
  766. ACM
    Wang K, Zhou X and Li L Disentangle crime hot spots and displacements in space and time Proceedings of the 1st ACM SIGSPATIAL Workshop on Geospatial Humanities, (55-59)
  767. ACM
    Wang P, Wang D and Chlipala A (2017). TiML: a functional language for practical complexity analysis with invariants, Proceedings of the ACM on Programming Languages, 1:OOPSLA, (1-26), Online publication date: 12-Oct-2017.
  768. Zhang D, Liu A, Jia G, Chen F, Li Q and Li J Effective Caching of Shortest Travel-Time Paths for Web Mapping Mashup Systems Web Information Systems Engineering – WISE 2017, (422-437)
  769. Pogodin R, Krechetov M and Maximov Y Efficient rank minimization to tighten semidefinite programming for unconstrained binary quadratic optimization 2017 55th Annual Allerton Conference on Communication, Control, and Computing (Allerton), (1153-1159)
  770. Sinha A, Paschos G, Modiano E, Sinha A, Paschos G and Modiano E (2017). Throughput-Optimal Multi-Hop Broadcast Algorithms, IEEE/ACM Transactions on Networking, 25:5, (3088-3101), Online publication date: 1-Oct-2017.
  771. ACM
    Gordon C, Ernst M, Grossman D and Parkinson M (2017). Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types, ACM Transactions on Programming Languages and Systems, 39:3, (1-54), Online publication date: 30-Sep-2017.
  772. ACM
    Liu Y, Stoller S and Lin B (2017). From Clarity to Efficiency for Distributed Algorithms, ACM Transactions on Programming Languages and Systems, 39:3, (1-41), Online publication date: 30-Sep-2017.
  773. Rahman M, Bobadilla L, Abodo F and Rapp B Relay vehicle formations for optimizing communication quality in robot networks 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (6633-6639)
  774. Marques-Silva J, Ignatiev A and Morgado A Horn Maximum Satisfiability: Reductions, Algorithms and Applications Progress in Artificial Intelligence, (681-694)
  775. ACM
    Yan Y, Cao L and Rundensteiner E Scalable Top-n Local Outlier Detection Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1235-1244)
  776. ACM
    Zhang L, Wu Y and Wu X Achieving Non-Discrimination in Data Release Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1335-1344)
  777. ACM
    Li K, He Y and Ganjam K Discovering Enterprise Concepts Using Spreadsheet Tables Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1873-1882)
  778. ACM
    Li X, Cheng Y, Cong G and Chen L Discovering Pollution Sources and Propagation Patterns in Urban Area Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1863-1872)
  779. ACM
    Prabhakar S and Sharma V Improved Bounds on Absolute Positiveness of Multivariate Polynomials Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, (381-388)
  780. ACM
    Dini N, Yelen C and Khurshid S Optimizing parallel Korat using invalid ranges Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, (182-191)
  781. ACM
    Hua J and Khurshid S EdSketch: execution-driven sketching for Java Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, (162-171)
  782. Cai M, Laneman J and Hochwald B Beamforming codebook compensation for beam squint with channel capacity constraint 2017 IEEE International Symposium on Information Theory (ISIT), (76-80)
  783. ACM
    Kamasaka R, Shibata Y and Oguri K FPGA Implementation of A Graph Cut Algorithm For Stereo Vision Proceedings of the 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, (1-6)
  784. Chen J and Shen S Improving octree-based occupancy maps using environment sparsity with application to aerial robot navigation 2017 IEEE International Conference on Robotics and Automation (ICRA), (3656-3663)
  785. ACM
    Lin K, Lin Y, Li Y and Lin R A Maze Routing-Based Algorithm for ML-OARST with Pre-Selecting and Re-Building Steiner Points Proceedings of the Great Lakes Symposium on VLSI 2017, (399-402)
  786. ACM
    He X, Wang Y, Guo Y and Cotofana S A Mixed-Size Monolithic 3D Placer with 2D Layout Inheritance Proceedings of the Great Lakes Symposium on VLSI 2017, (29-34)
  787. ACM
    Wei V, Wong R, Long C and Mount D Distance Oracle on Terrain Surface Proceedings of the 2017 ACM International Conference on Management of Data, (1211-1226)
  788. ACM
    Idris M, Ugarte M and Vansummeren S The Dynamic Yannakakis Algorithm Proceedings of the 2017 ACM International Conference on Management of Data, (1259-1274)
  789. ACM
    Zhao K and Yu J All-in-One Proceedings of the 2017 ACM International Conference on Management of Data, (1165-1180)
  790. ACM
    Saquer J and Iqbal R A Dynamic Programming Based Solution to the Two-Dimensional Jump-It Problem Proceedings of the 2017 ACM Southeast Conference, (219-222)
  791. Thyfronitis Litos O and Zindros D Trust Is Risk: A Decentralized Financial Trust Platform Financial Cryptography and Data Security, (340-356)
  792. Jiang C, Wu W and Ding Z LTE Multimedia Broadcast Multicast Service Provisioning Based on Robust Header Compression 2017 IEEE Wireless Communications and Networking Conference (WCNC), (1-6)
  793. Lu G, Huang G, Banerjee A, Bhattacharya B, Ho T and Chen H On reliability hardening in cyber-physical digital-microfluidic biochips 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), (518-523)
  794. Ding C, Li J, Zheng W, Chang N, Lin X and Wang Y Algorithm accelerations for luminescent solar concentrator-enhanced reconfigurable onboard photovoltaic system 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), (318-323)
  795. ACM
    Li G, Wang G, Wang Q, Fei F, Lü S and Guo D ANN Proceedings of the 1st International Conference on Intelligent Information Processing, (1-9)
  796. ACM
    Loncaric C, Chandra S, Schlesinger C and Sridharan M (2016). A practical framework for type inference error explanation, ACM SIGPLAN Notices, 51:10, (781-799), Online publication date: 5-Dec-2016.
  797. ACM
    Itzhaky S, Singh R, Solar-Lezama A, Yessenov K, Lu Y, Leiserson C and Chowdhury R (2016). Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations, ACM SIGPLAN Notices, 51:10, (145-164), Online publication date: 5-Dec-2016.
  798. Medagliani P, Leguay J, Abdullah M, Leconte M and Paris S Global Optimization for Hash-Based Splitting 2016 IEEE Global Communications Conference (GLOBECOM), (1-6)
  799. Guler E, Luo G, Koneru K and Cao X Closeness-Centrality Based Multicast-Aware Virtual Network Embedding 2016 IEEE Global Communications Conference (GLOBECOM), (1-6)
  800. Mariescu-Istodor R and Fränti P Gesture Input for GPS Route Search Structural, Syntactic, and Statistical Pattern Recognition, (439-449)
  801. Lee N, Kuo H, Lai Y and Jiang J Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (1-8)
  802. Tsvetkov T, Ali-Tolppa J, Sanneck H and Carle G A Steiner Tree-Based Verification Approach for Handling Topology Changes in Self-Organizing Networks Proceedings of the 12th Conference on International Conference on Network and Service Management, (46-54)
  803. ACM
    Loncaric C, Chandra S, Schlesinger C and Sridharan M A practical framework for type inference error explanation Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (781-799)
  804. ACM
    Itzhaky S, Singh R, Solar-Lezama A, Yessenov K, Lu Y, Leiserson C and Chowdhury R Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (145-164)
  805. Wei W, Kim K and Fainekos G Extended LTLvis motion planning interface 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), (004194-004199)
  806. ACM
    White M, Tufano M, Vendome C and Poshyvanyk D Deep learning code fragments for code clone detection Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (87-98)
  807. ACM
    Gurajada S and Theobald M Distributed Set Reachability Proceedings of the 2016 International Conference on Management of Data, (1247-1261)
  808. ACM
    Abboud A, Hansen T, Williams V and Williams R Simulating branching programs with edit distance and friends: or: a polylog shaved is a lower bound made Proceedings of the forty-eighth annual ACM symposium on Theory of Computing, (375-388)
  809. ACM
    Kim S, Oh J and Lee J Automated News Generation for TV Program Ratings Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video, (141-145)
  810. Chen X (2015). A new clustering algorithm based on near neighbor influence, Expert Systems with Applications: An International Journal, 42:21, (7746-7758), Online publication date: 30-Nov-2015.
  811. ACM
    Lee I, Leiserson C, Schardl T, Zhang Z and Sukha J (2015). On-the-Fly Pipeline Parallelism, ACM Transactions on Parallel Computing, 2:3, (1-42), Online publication date: 2-Nov-2015.
  812. Hyunwoo Cho and Xiaoli Ma Threshold estimation for UWB single pulse radar MILCOM 2015 - 2015 IEEE Military Communications Conference, (228-232)
  813. ACM
    Zhang R, Cheng X, Cheng X and Yang L A Cross-Layer Design for Data-Centric Storage in Underwater Acoustic Sensor Networks Proceedings of the 10th International Conference on Underwater Networks & Systems, (1-5)
  814. Bays M and Wettergren T A solution to the service agent transport problem 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (6443-6450)
  815. ACM
    Hata T, Kawasaki H, Kurasawa H, Sato H, Nakamura M and Tsutsui A Top of worlds Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, (1405-1412)
  816. ACM
    Meneghetti N, Mindolin D, Ciaccia P and Chomicki J Output-sensitive Evaluation of Prioritized Skyline Queries Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, (1955-1967)
  817. ACM
    Baruah S, Bonifaci V, D'angelo G, Li H, Marchetti-Spaccamela A, Van Der Ster S and Stougie L (2015). Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems, Journal of the ACM, 62:2, (1-33), Online publication date: 6-May-2015.
  818. Jin C, Chen Z, Hendrix W, Agrawal A and Choudhary A Incremental, distributed single-linkage hierarchical clustering algorithm using mapreduce Proceedings of the Symposium on High Performance Computing, (83-92)
  819. ACM
    Chatterjee K, Pavlogiannis A and Velner Y Quantitative Interprocedural Analysis Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (539-551)
  820. ACM
    Tzannes A, Caragea G, Vishkin U and Barua R (2014). Lazy Scheduling, ACM Transactions on Programming Languages and Systems, 36:3, (1-51), Online publication date: 25-Sep-2014.
  821. ACM
    Kolditz T, Kissinger T, Schlegel B, Habich D and Lehner W Online bit flip detection for in-memory B-trees on unreliable hardware Proceedings of the Tenth International Workshop on Data Management on New Hardware, (1-9)
  822. ACM
    Huang J, Zhang X, Tan L, Wang P and Liang B AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction Proceedings of the 36th International Conference on Software Engineering, (1036-1046)
  823. ACM
    Ghosh K, Chakraborty A and Parui S Improving IR Performance from OCRed Text using Cooccurrence Proceedings of the 4th and 5th Annual Meetings of the Forum for Information Retrieval Evaluation, (1-7)
  824. ACM
    Tripp O, Koskinen E and Sagiv M (2013). Turning nondeterminism into parallelism, ACM SIGPLAN Notices, 48:10, (589-604), Online publication date: 12-Nov-2013.
  825. ACM
    Feldthaus A and Møller A (2013). Semi-automatic rename refactoring for JavaScript, ACM SIGPLAN Notices, 48:10, (323-338), Online publication date: 12-Nov-2013.
  826. ACM
    Tripp O, Koskinen E and Sagiv M Turning nondeterminism into parallelism Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, (589-604)
  827. ACM
    Feldthaus A and Møller A Semi-automatic rename refactoring for JavaScript Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, (323-338)
  828. Wang K, Brandstatter K and Raicu I SimMatrix Proceedings of the High Performance Computing Symposium, (1-9)
  829. Jensen M, Bochtis D, Sørensen C, Blas M and Lykkegaard K (2012). In-field and inter-field path planning for agricultural transport units, Computers and Industrial Engineering, 63:4, (1054-1061), Online publication date: 1-Dec-2012.
  830. ACM
    Yamamoto Y Property-preserving program refinement Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, (398-401)
  831. Nadimi-Shahraki M, Mustapha N, Sulaiman M and Mamat A (2011). Efficient prime-based method for interactive mining of frequent patterns, Expert Systems with Applications: An International Journal, 38:10, (12654-12670), Online publication date: 15-Sep-2011.
  832. ACM
    Bell T and Aspvall B Sorting algorithms as special cases of a priority queue sort Proceedings of the 42nd ACM technical symposium on Computer science education, (123-128)
  833. MacLean W, Sabihuddin S and Islam J (2010). Leveraging cost matrix structure for hardware implementation of stereo disparity computation using dynamic programming, Computer Vision and Image Understanding, 114:11, (1126-1138), Online publication date: 1-Nov-2010.
  834. ACM
    Fine B Unsupervised anomaly detection with minimal sensing Proceedings of the 47th annual ACM Southeast Conference, (1-5)
  835. Ishizeki T, Otachi Y and Yamazaki K (2008). An improved algorithm for the longest induced path problem on k-chordal graphs, Discrete Applied Mathematics, 156:15, (3057-3059), Online publication date: 6-Aug-2008.
  836. Verriet J (2000). Scheduling outtrees of height one in the LogP model, Parallel Computing, 26:9, (1065-1082), Online publication date: 1-Jul-2000.
  837. ACM
    Dongol B, Dubois C, Hallerstede S, Hehner E, Morgan C, Müller P, Ribeiro L, Silva A, Smith G and de Vink E On Formal Methods Thinking in Computer Science Education, Formal Aspects of Computing, 0:0
  838. ACM
    Li J, Nejati S and Sabetzadeh M Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks, ACM Transactions on Autonomous and Adaptive Systems, 0:0
Contributors
  • Dartmouth College
  • Massachusetts Institute of Technology
  • MIT Computer Science & Artificial Intelligence Laboratory
  • Columbia University

Reviews

S. Nagaraj

Computers are widely used all over the world. To benefit from them fully, it is essential to employ efficient algorithms when solving problems using computers. Efficient algorithms require less runtime and memory than other algorithms. This third edition is an introduction to algorithms. The book is very popular, and it is commonly used as a standard introduction to algorithms and data structures in undergraduate and graduate courses. In fact, academics, professionals, and researchers alike have something to gain from this book's 244 figures, 957 exercises, and 158 problems. The book consists of eight parts: "Foundations," "Sorting and Order Statistics," "Data Structures," "Advanced Design and Analysis Techniques," "Advanced Data Structures," "Graph Algorithms," "Selected Topics," and "Appendix: Mathematical Background." Unlike previous editions, this one offers solutions to some of the problems and exercises on the publisher's Web site (http://mitpress.mit.edu/algorithms/). While most of the second edition's content appears in this version, there are some significant differences. The authors have added new material on van Emde Boas trees and multithreaded algorithms, and 100 new exercises and 28 new problems. The chapters on recurrences, dynamic programming, and greedy algorithms have been revised, the bibliography has been updated, and the syntax of the pseudocode is slightly different. The chapters on binomial heaps and sorting networks have been omitted from this edition, since these topics are rarely taught. Considering the magnitude of the changes, this third edition is fully justified-in fact, even more material should have been added. Considering that the first edition was published in 1990, it is surprising that the third edition still contains some errors; the errors are listed on the book's Web site (http://www.cs.dartmouth.edu/~thc/clrs-bugs/bugs-3e.php). It is likely that the third edition will continue to be the standard textbook on algorithms. Its nice presentation style and stimulating exercises set this book apart from the rest. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Recommendations