Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Ruiwen Dong 0001 |
Termination of linear loops under commutative updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.01003, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09997, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14036, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12159, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Fabian Mitterwallner, Aart Middeldorp, René Thiemann |
Linear Termination over N is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14805, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Étienne Payet |
Binary Non-Termination in Term Rewriting and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.11549, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roy Overbeek, Jörg Endrullis |
Termination of Graph Transformation Systems using Weighted Subgraph Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.07812, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Frank Emrich, Jera Hensel, Jürgen Giesl |
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.02382, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Liye Guo, Cynthia Kop |
Higher-Order LCTRSs and Their Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.13519, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luca Ciccone |
Concerto Grosso for Sessions: Fair Termination of Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.05539, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Akihisa Yamada 0002, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, Étienne Payet |
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.09536, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jörg Endrullis, Roy Overbeek |
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.07601, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho |
Termination in Concurrency, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.01165, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dieter Hofbauer, Johannes Waldmann |
Old and New Benchmarks for Relative Termination of String Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14149, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Étienne Payet |
Non-Termination in Term Rewriting and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.13949, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Haoxiang Zhang 0003, Juliana Freire, Yash Garg |
eTOP: Early Termination of Pipelines for Faster Training of AutoML Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.08597, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Meghal Gupta, Rachel Yun Zhang |
On Interactive Coding Schemes with Adaptive Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.04586, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jera Hensel, Jürgen Giesl |
Automated Termination Proofs for C Programs with Lists (Short WST Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.11024, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl |
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.06121, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lukas Gerlach 0002, David Carral |
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.12710, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Justus Fasse, Bart Jacobs 0002 |
Expressive modular verification of termination for busy-waiting programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15379, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yao Zhang, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang, Xiaohong Li 0001 |
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.03335, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Calautti, Mostafa Milani, Andreas Pieris |
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12851, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Francesco Di Cosmo |
Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.10007, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning with LoAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.10166, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ayuka Matsumi, Naoki Nishida 0001, Misaki Kojima, Donghoon Shin |
On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14094, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yihuan Liao, Min Qiu 0001, Jinhong Yuan |
Self-Connected Spatially Coupled LDPC Codes with Improved Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17451, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.00344, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Rupak Majumdar, V. R. Sathiyanarayana |
Positive Almost-Sure Termination - Complexity and Proof Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.16145, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.10002, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11741, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff |
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.00486, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.09839, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Calautti, Mostafa Milani, Andreas Pieris |
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 16(11), pp. 2858-2870, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wei Xiong, Yilong Han |
Incentives of Early Termination Compensation in Public-Private Partnership Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 70(6), pp. 2220-2232, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dayong Wang, Xin Lu 0001, Yu Sun, Qianmin Wang, Weisheng Li 0001, Frédéric Dufaux, Ce Zhu |
A Probability-Based Zero-Block Early Termination Algorithm for QSHVC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Broadcast. ![In: IEEE Trans. Broadcast. 69(2), pp. 469-481, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yi Jie Wong, Mau-Luen Tham, Ban-Hoe Kwan, Yasunori Owada |
FedDdrl: Federated Double Deep Reinforcement Learning for Heterogeneous IoT with Adaptive Early Client Termination and Local Epoch Adjustment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(5), pp. 2494, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos |
Formal Verification of Termination Criteria for First-Order Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(4), pp. 40, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kotaro Sakamoto, Hideaki Ishibashi, Rei Sato, Shinichi Shirakawa, Youhei Akimoto, Hideitsu Hino |
ATNAS: Automatic Termination for Neural Architecture Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 166, pp. 446-458, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Heiko Klare, Joshua Gleitze |
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(3), pp. 15:1-15:35, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Jiri Zárevúcky, Dorde Zikelic |
On Lexicographic Proof Rules for Probabilistic Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(2), pp. 11:1-11:25, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris |
Uniform Restricted Chase Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 52(3), pp. 641-683, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yihuan Liao, Min Qiu 0001, Jinhong Yuan |
Self-Connected Spatially Coupled LDPC Codes With Improved Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 27(8), pp. 1959-1963, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dayong Wang, Xin Lu 0001, Frédéric Dufaux, Qianmin Wang, Weisheng Li 0001, Bo Hang, Ce Zhu |
A Probability-Based All-Zero Block Early Termination Algorithm for QSHVC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: IEEE International Conference on Image Processing, ICIP 2023, Kuala Lumpur, Malaysia, October 8-11, 2023, pp. 2295-2299, 2023, IEEE, 978-1-7281-9835-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Krishnapriya G. B., R. N. Ponnalagu, Sanket Goel |
Accuracy Improved Muscle Onset and Termination Detection in EMG Signal Processing Using STKEO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 16th International Conference on Sensing Technology, ICST 2023, Hyderabad, India, December 17-20, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-9534-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Danya Lette, Azadeh Farzan |
Commutativity for Concurrent Program Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 109-131, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Piotr Hofman, Filip Mazowiecki, Philip Offtermatt |
Fast Termination and Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 132-155, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sydur Rahaman, Umar Farooq 0002, Iulian Neamtiu, Zhijia Zhao 0001 |
Detecting Potential User-data Save & Export Losses due to Android App Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 152-162, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jabu Mahlangu, Aloys Oriedi Akumu, Agha Francis Nnachi, Bolanle Tolulope Abe |
Analysis of the Impact of Improper Termination and Grounding of Substation Cables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICON ![In: IEEE AFRICON 2023, Nairobi, Kenya, September 20-22, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-3621-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro |
Type-based Termination Analysis for Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 1372-1379, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mirza Batalovic, Mirza Matoruga, Hamid Zildzo, Fuad Pasalic |
Simulation of Electrical Stress Control System inside medium voltage Cable Termination using COMSOL Mph Software Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: XXIX International Conference on Information, Communication and Automation Technologies, ICAT 2023, Sarajevo, Bosnia and Herzegovina, June 11-14, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-9983-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Chao Chen 0013, Yunghsiang S. Han, Nianqi Tang, Sian-Jheng Lin, Baoming Bai, Xiao Ma 0001 |
An Early-Termination Method for the Welch-Berlekamp Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2023, Taipei, Taiwan, June 25-30, 2023, pp. 815-819, 2023, IEEE, 978-1-6654-7554-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dhani Dharmaprani, Evan V. Jenkins, Kathryn Tiver, Sobhan Salari Shahrbabaki, Campbell Strong, Darius Chapman, Anand N. Ganesan |
Percolation theory as a conceptual framework to explain spontaneous atrial fibrillation termination: a pilot study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 12:1-12:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Akihisa Yamada 0002 |
Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 4:1-4:5, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jiacheng Wu, Songlin Sun, Jiaqi Zhang, Xu Han |
Decision Tree Based Early Termination Algorithm for Affine Prediction in AVS3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSP ![In: 25th IEEE International Workshop on Multimedia Signal Processing, MMSP 2023, Poitiers, France, September 27-29, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3893-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ievgen Ivanov |
On Newman's Lemma and Non-termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT&I ![In: Selected Papers of the X International Scientific Conference `Information Technology and Implementation` (IT&I-2023). Conference Proceedings, Kyiv, Ukraine, November 20 - 21, 2023., pp. 14-24, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Adriano Barile, Stefano Berardi, Luca Roversi |
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023., pp. 31-43, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Justin J. Kim, Wonho Lee, James F. Buckwalter |
A 12-162 GHz Distributed Amplifier in a 45-nm BiCMOS SOI Process Achieving 2.67 THz Gain-Bandwidth Using an Active Bias Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCICTS ![In: IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium, BCICTS 2023, Monterey, CA, USA, October 16-18, 2023, pp. 171-174, 2023, IEEE, 979-8-3503-0764-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 344-364, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 266-285, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 220-233, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff |
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, pp. 73-93, 2023, Springer, 978-3-031-43512-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Francesco Di Cosmo |
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings, pp. 110-125, 2023, Springer, 978-3-031-45071-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla |
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, pp. 594-599, 2023, Springer, 978-3-031-30819-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho |
Termination in Concurrency, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023, pp. 3:1-3:14, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yu Duan, Andy Xie, Patrick Fay |
1.7-kV Vertical GaN p-n Diodes with Step-Graded Ion-Implanted Edge Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DRC ![In: Device Research Conference, DRC 2023, Santa Barbara, CA, USA, June 25-28, 2023, pp. 1-2, 2023, IEEE, 979-8-3503-2310-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yao Zhang, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang, Xiaohong Li 0001 |
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 686-697, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lukas Gerlach 0002, David Carral |
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023., pp. 301-310, 2023, 978-1-956792-02-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhilei Han, Fei He 0001 |
Data-driven Recurrent Set Learning For Non-termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 1303-1315, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shiyu Zhang, Dongqing Hu, Xintian Zhou, Yunpeng Jia, Yu Wu 0015 |
Optimized Design of Trench Termination for High-Voltage β-Ga2O3 Trench MOS Barrier Schottky Diode with Anode Electrode Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EITCE ![In: Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2023, Xiamen, China, October 20-22, 2023, pp. 66-72, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Seongkwan Lee, Minho Kang, Cheolmin Park, Jun Yeon Won, Jaemoo Choi |
Method for Adjusting Termination Resistance Using PMU in DC Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: IEEE International Test Conference, ITC 2023, Anaheim, CA, USA, October 7-15, 2023, pp. 77-81, 2023, IEEE, 979-8-3503-4325-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roy Overbeek, Jörg Endrullis |
Termination of Graph Transformation Systems Using Weighted Subgraph Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 81-101, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Koji Noshiro, Koji Hasebe |
Flaws of Termination and Optimality in ADOPT-based Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 1996-2003, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yoshikazu Sakashita, Yasuhiro Akiyama |
The Effects of Assist Algorithms for Gait Assist Robot on Physical Stability During Unplanned Gait Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023, pp. 1111-1112, 2023, IEEE, 979-8-3503-4018-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ruiwen Dong 0001 |
Termination of linear loops under commutative updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 236-241, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luca Ciccone, Luca Padovani |
Fair termination of binary sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-30, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nirina Andrianarivelo, Pierre Réty |
Modular termination of prefix-constrained term rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 174, pp. 106207, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Siham Bakkouri, Abderrahmane Elyousfi |
Early Termination of CU Partition Based on Boosting Neural Network for 3D-HEVC Inter-Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 13870-13883, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Longlei Bai, Mingwei Su, Liangshun Sun, Shaogui Fan, Shuai Xun, Manjun Huang, Hui Peng |
Mechanism Characterization and Nondestructive Inspection Method of Thermal Degradation Faults in EPDM Cable Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 71, pp. 1-12, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Bing Liu, Hao Huang, Qiao Deng |
On optimal condition based task termination policy for phased task systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 221, pp. 108338, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ran Etgar, Yuval Cohen |
Optimizing termination decision for meta-heuristic search techniques that converge to a static objective-value distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR Spectr. ![In: OR Spectr. 44(1), pp. 249-271, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Guangyao Yan, Xinzhe Liu, Fupeng Chen, Hui Wang 0036, Yajun Ha |
Ultra-Fast FPGA Implementation of Graph Cut Algorithm With Ripple Push and Early Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 69(4), pp. 1532-1545, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács |
The probabilistic termination tool amber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 61(1), pp. 90-109, August 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Reetu Hooda, W. David Pan |
Early Termination of Dyadic Region-Adaptive Hierarchical Transform for Efficient Attribute Compression of 3D Point Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 29, pp. 214-218, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | George Bosilca, Aurélien Bouteiller, Thomas Hérault, Valentin Le Fèvre, Yves Robert, Jack J. Dongarra |
Comparing Distributed Termination Detection Algorithms for Modern HPC Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 12(1), pp. 26-46, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
12 | Sunghyun Choi 0004, Dongwoo Lew, Jongsun Park 0001 |
Early Termination Based Training Acceleration for an Energy-Efficient SNN Processor Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Circuits Syst. ![In: IEEE Trans. Biomed. Circuits Syst. 16(3), pp. 442-455, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Carsten Fuhs |
A calculus for modular loop acceleration and non-termination proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 24(5), pp. 691-715, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | S. Sivanesh, V. R. Sarma Dhulipala |
Analytical Termination of Malicious Nodes (ATOM): An Intrusion Detection System for Detecting Black Hole attack in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 124(2), pp. 1511-1524, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Luca Padovani |
On the Fair Termination of Client-Server Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.05457, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yoav Alon, Cristina David |
Using Graph Neural Networks for Program Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.14648, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kalev Alpernas, Aurojit Panda, Mooly Sagiv |
This is not the End: Rethinking Serverless Function Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.02330, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ashlin Richardson, Donald Leckie |
Locally Adaptive Hierarchical Cluster Termination With Application To Individual Tree Delineation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.00288, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Luca Ciccone, Luca Padovani |
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.03749, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jia Tang, Wenli Zheng, Cairong Chen, Dongmei Yu, Deren Han |
On finite termination of the generalized Newton method for solving absolute value equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.04492, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Michal Bortkiewicz, Jakub Lyskawa, Pawel Wawrzynski, Mateusz Ostaszewski, Artur Grudkowski, Tomasz Trzcinski |
Emergency action termination for immediate reaction in hierarchical reinforcement learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.06351, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yi Ding 0006, Alex Renda, Ahsan Pervaiz, Michael Carbin, Henry Hoffmann |
Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.04831, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.04546, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
12 | Jaymon Furniss |
Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.02605, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|