Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Ruiwen Dong 0001 |
Termination of linear loops under commutative updates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination, Revisited. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Fabian Mitterwallner, Aart Middeldorp, René Thiemann |
Linear Termination over N is Undecidable. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Étienne Payet |
Binary Non-Termination in Term Rewriting and Logic Programming. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roy Overbeek, Jörg Endrullis |
Termination of Graph Transformation Systems using Weighted Subgraph Counting. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Frank Emrich, Jera Hensel, Jürgen Giesl |
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Liye Guo, Cynthia Kop |
Higher-Order LCTRSs and Their Termination. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luca Ciccone |
Concerto Grosso for Sessions: Fair Termination of Sessions. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jörg Endrullis, Roy Overbeek |
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho |
Termination in Concurrency, Revisited. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dieter Hofbauer, Johannes Waldmann |
Old and New Benchmarks for Relative Termination of String Rewrite Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Étienne Payet |
Non-Termination in Term Rewriting and Logic Programming. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Haoxiang Zhang 0003, Juliana Freire, Yash Garg |
eTOP: Early Termination of Pipelines for Faster Training of AutoML Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Meghal Gupta, Rachel Yun Zhang |
On Interactive Coding Schemes with Adaptive Termination. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jera Hensel, Jürgen Giesl |
Automated Termination Proofs for C Programs with Lists (Short WST Version). |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lukas Gerlach 0002, David Carral |
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Justus Fasse, Bart Jacobs 0002 |
Expressive modular verification of termination for busy-waiting programs. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Calautti, Mostafa Milani, Andreas Pieris |
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Francesco Di Cosmo |
Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning with LoAT. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yihuan Liao, Min Qiu 0001, Jinhong Yuan |
Self-Connected Spatially Coupled LDPC Codes with Improved Termination. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Rupak Majumdar, V. R. Sathiyanarayana |
Positive Almost-Sure Termination - Complexity and Proof Rules. |
CoRR |
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). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version). |
CoRR |
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) |
Proc. VLDB Endow. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wei Xiong, Yilong Han |
Incentives of Early Termination Compensation in Public-Private Partnership Projects. |
IEEE Trans. Engineering Management |
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. |
IEEE Trans. Broadcast. |
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. |
Sensors |
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. |
J. Autom. Reason. |
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. |
Neural Networks |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Heiko Klare, Joshua Gleitze |
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations. |
Formal Aspects Comput. |
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. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris |
Uniform Restricted Chase Termination. |
SIAM J. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yihuan Liao, Min Qiu 0001, Jinhong Yuan |
Self-Connected Spatially Coupled LDPC Codes With Improved Termination. |
IEEE Commun. Lett. |
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. |
ICIP |
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. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Danya Lette, Azadeh Farzan |
Commutativity for Concurrent Program Termination Proofs. |
CAV (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Piotr Hofman, Filip Mazowiecki, Philip Offtermatt |
Fast Termination and Workflow Nets. |
CAV (1) |
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. |
AST |
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. |
AFRICON |
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. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. |
LICS |
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. |
ICAT |
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. |
ISIT |
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. |
EMBC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Akihisa Yamada 0002 |
Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). |
FSCD |
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. |
MMSP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ievgen Ivanov |
On Newman's Lemma and Non-termination. |
IT&I |
2023 |
DBLP BibTeX RDF |
|
12 | Adriano Barile, Stefano Berardi, Luca Roversi |
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem. |
ICTCS |
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. |
BCICTS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jan-Christoph Kassing, Jürgen Giesl |
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper). |
CADE |
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. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Francesco Di Cosmo |
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs. |
RuleML+RR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla |
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). |
TACAS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho |
Termination in Concurrency, Revisited. |
PPDP |
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. |
DRC |
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. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lukas Gerlach 0002, David Carral |
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhilei Han, Fei He 0001 |
Data-driven Recurrent Set Learning For Non-termination Analysis. |
ICSE |
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. |
EITCE |
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. |
ITC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roy Overbeek, Jörg Endrullis |
Termination of Graph Transformation Systems Using Weighted Subgraph Counting. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Koji Noshiro, Koji Hasebe |
Flaws of Termination and Optimality in ADOPT-based Algorithms. |
IJCAI |
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. |
GCCE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ruiwen Dong 0001 |
Termination of linear loops under commutative updates. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luca Ciccone, Luca Padovani |
Fair termination of binary sessions. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nirina Andrianarivelo, Pierre Réty |
Modular termination of prefix-constrained term rewrite systems. |
Inf. Process. Lett. |
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. |
IEEE Access |
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. |
IEEE Trans. Instrum. Meas. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Bing Liu, Hao Huang, Qiao Deng |
On optimal condition based task termination policy for phased task systems. |
Reliab. Eng. Syst. Saf. |
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. |
OR Spectr. |
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. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács |
The probabilistic termination tool amber. |
Formal Methods Syst. Des. |
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. |
IEEE Signal Process. Lett. |
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. |
Int. J. Netw. Comput. |
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. |
IEEE Trans. Biomed. Circuits Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Carsten Fuhs |
A calculus for modular loop acceleration and non-termination proofs. |
Int. J. Softw. Tools Technol. Transf. |
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. |
Wirel. Pers. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Luca Padovani |
On the Fair Termination of Client-Server Sessions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yoav Alon, Cristina David |
Using Graph Neural Networks for Program Termination. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kalev Alpernas, Aurojit Panda, Mooly Sagiv |
This is not the End: Rethinking Serverless Function Termination. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ashlin Richardson, Donald Leckie |
Locally Adaptive Hierarchical Cluster Termination With Application To Individual Tree Delineation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Luca Ciccone, Luca Padovani |
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Jaymon Furniss |
Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|