Author of the publication

On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages.

, , , and . STACS, volume 665 of Lecture Notes in Computer Science, page 354-364. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Recovering Regional Groundwater Storage Anomalies by Combining GNSS and Surface Mass Load Data: A Case Study in Western Yunnan., , , , and . Remote. Sens., 14 (16): 4032 (2022)Analysis of a queueing system in random environment with an unreliable server and geometric abandonments., , , and . RAIRO Oper. Res., 52 (3): 903-922 (2018)Research on Deformation Evolution of a Large Toppling Based on Comprehensive Remote Sensing Interpretation and Real-Time Monitoring., , , , , and . Remote. Sens., 15 (23): 5596 (December 2023)High-Resolution Imaging of Radiation Brightness Temperature Obtained by Drone-Borne Microwave Radiometer., , , , , and . Remote. Sens., 15 (3): 832 (February 2023)Retrieval of Chlorophyll-a Concentrations Using Sentinel-2 MSI Imagery in Lake Chagan Based on Assessments with Machine Learning Models., , , , , and . Remote. Sens., 14 (19): 4924 (2022)Cryptosystem for IoT Devices With Feedback Operation Modes Based on Shared Buffer and Unrolled-Pipeline Techniques., , , , , and . IEEE Internet Things J., 11 (3): 4389-4397 (February 2024)A Measurement Method for Robot Peg-in-Hole Prealignment Based on Combined Two-Level Visual Sensors., , , and . IEEE Trans. Instrum. Meas., (2021)Parameter inference for non-repairable multi-state system reliability models by multi-level observation sequences., and . Reliab. Eng. Syst. Saf., (2017)Selective maintenance strategy for systems executing multiple consecutive missions with uncertainty., and . Reliab. Eng. Syst. Saf., (2020)A CP Reduction Scheme Based on Symbol Repetition for Narrow-Band IoT Systems., , , , and . IEEE Internet Things J., 8 (16): 12880-12891 (2021)