Minghui Ma - RankMe

85 papers A* 1B 1C 2Journal 58Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A lightweight dual-RepViT model for efficient tuberculosis detection using chest X-ray images. Pattern Anal. Appl. Minghui Ma, Lingfeng Wang, Liping Guo
2026	J	`jnl`	Coordinated physics-integrated machine learning and its application in tunnel engineering. Eng. Appl. Artif. Intell. Shanglin Liu, Minghui Ma, Cuixia Su, Qian Zhang, Yilan Kang
2026	A*	`conf`	Neuro-Sym Supporter: A Thoughtful Emotion Support Agent Integrating Neural and Symbolic Policy Learning. WWW Minghui Ma, Bin Guo, Mengqi Chen, Jingqi Liu, Yasan Ding, Yan Liu, Han Wang
2026	J	`jnl`	Optimized fast desensitized cubature Kalman filter for uncertain navigation system. Signal Process. Renlong Qi, Shi-hao Tong, Liang Ma, Minghui Ma, Tai-Shan Lou
2025	J	`jnl`	Connected vehicles ecological driving based on deep reinforce learning: Application of Web 3.0 technologies in traffic optimization. Future Gener. Comput. Syst. Minghui Ma, Xu Han, Shidong Liang, Yansong Wang, Lan Jiang
2025	J	`jnl`	Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic. Stud Logica Minghui Ma, Juntong Guo
2025	—	`conf`	The Impact Mechanism of Differences Between AI Streamers and Human Streamers on Consumer Purchase Intention in E-Commerce Live Streaming. WHICEB (2) Jinni Chen, Mingyuan Jia, Yi Shi, Minghui Ma
2025	J	`jnl`	The McKinsey Axiom on Weakly Transitive Frames. Stud Logica Qian Chen, Minghui Ma
2025	—	`conf`	The Mechanism of the Impact of Short Video E-commerce Covert Advertising Features on Consumers' Impulse Buying Intentions. WHICEB (2) Yi Shi, Yi Cui, Jinni Chen, Minghui Ma
2024	J	`jnl`	Compound radar jamming recognition based on signal source separation. Signal Process. Hongping Zhou, Lei Wang, Minghui Ma, Zhongyi Guo
2024	—	`conf`	Computational Ghost Imaging Base on Bidirectional Recurrent Neural Network. CMLDS Zhixin Ma, Mingcong Wang, Hexiao Wang, Minghui Ma, Li Yang
2024	J	`jnl`	Decidability of topological quasi-Boolean algebras. J. Appl. Non Class. Logics Yiheng Wang, Zhe Lin, Minghui Ma
2024	J	`jnl`	Rendering acceleration based on JND-guided sampling prediction. Multim. Syst. Ripei Zhang, Chunyi Chen, Zhongye Shen, Jun Peng, Minghui Ma
2024	J	`jnl`	Robust prediction of thrust for tunnel boring machines with adaptive heavy-tailed error distribution. Adv. Eng. Informatics Shuang Li, Qian Zhang, Shanglin Liu, Minghui Ma
2024	J	`jnl`	Tabularity and Post-Completeness in Tense Logic. Rev. Symb. Log. Qian Chen, Minghui Ma
2023	J	`jnl`	A pricing strategy for electric vehicle charging in residential areas considering the uncertainty of charging time and demand. Comput. Commun. Shidong Liang, Bingqing Zhu, Jianjia He, Sheng-Xue He, Minghui Ma
2023	—	`conf`	An Infinity of Intuitionistic Connexive Logics. ICLA Hao Wu, Minghui Ma
2023	J	`jnl`	Cut-Free Gentzen Sequent Calculi for Tense Logics. Axioms Zhe Lin, Minghui Ma
2023	—	`conf`	Epistemic Monadic Boolean Algebras. LORI Juntong Guo, Minghui Ma
2023	J	`jnl`	Finite Model Property in Weakly Transitive Tense Logics. Stud Logica Minghui Ma, Qian Chen
2023	J	`jnl`	Intuitionistic Propositional Logic with Galois Negations. Stud Logica Minghui Ma, Guiying Li
2023	—	`conf`	Modal Logic of Generalized Separated Topological Spaces. ICLA Qian Chen, Minghui Ma
2023	—	`conf`	Relational Semantics for Normal Topological Quasi-Boolean Logic. ICLA Hao Wu, Minghui Ma
2023	J	`jnl`	Residuated Basic Logic. Axioms Zhe Lin, Minghui Ma
2022	J	`jnl`	A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. Stud Logica Zhe Lin, Minghui Ma
2022	J	`jnl`	Optimal control to improve reliability of demand responsive transport priority at signalized intersections considering the stochastic process. Reliab. Eng. Syst. Saf. Shidong Liang, Hu Zhang, Zhiming Fang, Shengxue He, Jing Zhao, Rongmeng Leng, Minghui Ma
2021	J	`jnl`	Belnap-Dunn Modal Logic with Value Operators. Stud Logica Yuanlei Lin, Minghui Ma
2021	J	`jnl`	Lattices of Finitely Alternative Normal Tense Logics. Stud Logica Minghui Ma, Qian Chen
2021	J	`jnl`	Optimal holding time calculation algorithm to improve the reliability of high frequency bus route considering the bus capacity constraint. Reliab. Eng. Syst. Saf. Shidong Liang, Shengxue He, Hu Zhang, Minghui Ma
2021	J	`jnl`	Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. Fundam. Informaticae Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma
2020	J	`jnl`	A Paraconsistent Conditional Logic. J. Philos. Log. Minghui Ma, Chun-Ting Wong
2020	J	`jnl`	A Prediction Model for Bus Arrival Time at Bus Stop Considering Signal Control and Surrounding Traffic Flow. IEEE Access Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng
2020	J	`jnl`	An improved car-following model accounting for the time-delayed velocity difference and backward looking effect. Commun. Nonlinear Sci. Numer. Simul. Guangyi Ma, Minghui Ma, Shidong Liang, Yansong Wang, Yaozong Zhang
2020	J	`jnl`	Countably Many Weakenings of Belnap-Dunn Logic. Stud Logica Minghui Ma, Yuanlei Lin
2020	J	`jnl`	Peirce's Calculi for Classical Propositional Logic. Rev. Symb. Log. Minghui Ma, Ahti-Veikko Pietarinen
2020	J	`jnl`	Polarity Semantics for Negation as a Modal Operator. Stud Logica Yuanlei Lin, Minghui Ma
2020	J	`jnl`	Pre-Control Strategies for Downstream Bus Service Reliability With Traffic Signal. IEEE Access Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng
2020	J	`jnl`	The influence of coupon duration on consumers' redemption behavior and brand profitability. Eur. J. Oper. Res. Zelin Zhang, Minghui Ma, Peter T. L. Popkowski Leszczyc, Hejun Zhuang
2019	J	`jnl`	A Bidirectional Searching Strategy to Improve Data Quality Based on K-Nearest Neighbor Approach. Symmetry Minghui Ma, Shidong Liang, Yifei Qin
2019	J	`jnl`	A Deterministic Weakening of Belnap-Dunn Logic. Stud Logica Minghui Ma, Yuanlei Lin
2019	J	`jnl`	A Three-Valued Fregean Quantification Logic. J. Philos. Log. Minghui Ma, Yuanlei Lin
2019	J	`jnl`	Design of Short-Turning Service for a Bus Route with Hybrid Vehicle Type. Symmetry Shidong Liang, Hu Zhang, Minghui Ma
2019	J	`jnl`	Dynamic Graded Epistemic Logic. Rev. Symb. Log. Minghui Ma, Hans van Ditmarsch
2019	J	`jnl`	Gentzen sequent calculi for some intuitionistic modal logics. Log. J. IGPL Zhe Lin, Minghui Ma
2019	J	`jnl`	Labelled Tableau Systems for Some Subintuitionistic Logics. Logica Universalis Minghui Ma
2019	J	`jnl`	Sequent Calculi for Global Modal Consequence Relations. Stud Logica Minghui Ma, Jinsheng Chen
2019	—	`conf`	Sequent Calculi for Normal Update Logics. ICLA Katsuhiko Sano, Minghui Ma
2019	J	`jnl`	Short-Term Passenger Flow Prediction in Urban Public Transport: Kalman Filtering Combined K-Nearest Neighbor Approach. IEEE Access Shidong Liang, Minghui Ma, Shengxue He, Hu Zhang
2018	C	`conf`	A Weakening of Alpha Graphs: Quasi-Boolean Algebras. Diagrams Minghui Ma, Ahti-Veikko Pietarinen
2018	J	`jnl`	An integrated control method based on the priority of ways in a freeway network. Trans. Inst. Meas. Control Minghui Ma, Shidong Liang
2018	J	`jnl`	Covering-based rough sets and modal logics. Part II. Int. J. Approx. Reason. Minghui Ma, Mihir Kumar Chakraborty
2018	—	`conf`	Decidability in Pre-rough Algebras: Extended Abstract. IJCSR Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma
2018	J	`jnl`	Finite Model Property of Pretransitive Modal Logic. CoRR Zhe Lin, Minghui Ma
2018	J	`jnl`	Gamma graph calculi for modal logics. Synth. Minghui Ma, Ahti-Veikko Pietarinen
2018	J	`jnl`	How to update neighbourhood models. J. Log. Comput. Minghui Ma, Katsuhiko Sano
2018	J	`jnl`	Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. J. Philos. Log. Minghui Ma, Ahti-Veikko Pietarinen
2018	J	`jnl`	Sequent Calculi for Semi-De Morgan and De Morgan Algebras. Stud Logica Minghui Ma, Fei Liang
2018	—	`conf`	Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. IJCSR Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin
2018	J	`jnl`	Unified correspondence as a proof-theoretic tool. J. Log. Comput. Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
2017	J	`jnl`	Bundling of Vertically Differentiated Products in a Supply Chain. Decis. Sci. Minghui Ma, Suman Mallik
2017	J	`jnl`	Do CMO Incentives Matter? An Empirical Investigation of CMO Compensation and Its Impact on Firm Performance. Manag. Sci. Naresh Bansal, Kissan Joseph, Minghui Ma, M. Babajide Wintoki
2017	—	`conf`	Graphical Sequent Calculi for Modal Logics. M4M@ICLA Minghui Ma, Ahti-Veikko Pietarinen
2017	—	`conf`	Labelled Sequent Calculus for Inquisitive Logic. LORI Jinsheng Chen, Minghui Ma
2017	—	`conf`	Peirce's Sequent Proofs of Distributivity. ICLA Minghui Ma, Ahti-Veikko Pietarinen
2017	J	`jnl`	Proof Analysis of Peirce's Alpha System of Graphs. Stud Logica Minghui Ma, Ahti-Veikko Pietarinen
2017	J	`jnl`	Unified correspondence and proof theory for strict implication. J. Log. Comput. Minghui Ma, Zhiguang Zhao
2016	J	`jnl`	A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. FLAP Minghui Ma, Ahti-Veikko Pietarinen
2016	J	`jnl`	Covering-based rough sets and modal logics. Part I. Int. J. Approx. Reason. Minghui Ma, Mihir Kumar Chakraborty
2016	C	`conf`	On the Complexity of the Equational Theory of Residuated Boolean Algebras. WoLLIC Zhe Lin, Minghui Ma
2016	J	`jnl`	Unified Correspondence as a Proof-Theoretic Tool. CoRR Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
2015	—	`conf`	Algebraic Semantics for Dynamic Dynamic Logic. LORI Minghui Ma, Jeremy Seligman
2015	—	`conf`	Tableaux for Non-normal Public Announcement Logic. ICLA Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada
2014	J	`jnl`	Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Log. Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh
2014	J	`jnl`	Residuated Basic Logic I. CoRR Minghui Ma, Zhe Lin
2014	J	`jnl`	Residuated Basic Logic II. Interpolation, Decidability and Embedding. CoRR Minghui Ma, Zhe Lin
2014	J	`jnl`	The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. CoRR Zhe Lin, Minghui Ma
2013	—	`conf`	Alternative Semantics for Visser's Propositional Logics. TbiLLC Katsuhiko Sano, Minghui Ma
2013	—	`conf`	How to Update Neighborhood Models. LORI Minghui Ma, Katsuhiko Sano
2011	—	`conf`	A Modal Logic for Multiple-Source Tolerance Approximation Spaces. ICLA Md. Aquil Khan, Minghui Ma
2011	—	`conf`	Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma
2011	—	`conf`	Logics of Belief over Weighted Structures. LORI Minghui Ma, Meiyun Guo
2011	—	`conf`	Mathematics of Public Announcements. LORI Minghui Ma
2010	B	`conf`	Goldblatt-Thomason-style Theorems for Graded Modal Language. Advances in Modal Logic Katsuhiko Sano, Minghui Ma
2009	—	`conf`	Dynamic Epistemic Logic of Finite Identification. LORI Minghui Ma
2008	—	`conf`	Disaster Assessment Algorithm after Forest Fire Based on GIS. FSKD (4) Aijun Xu, Minghui Ma