default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMinghui Ma
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j48]Minghui Ma, Xu Han, Shidong Liang
, Yansong Wang, Lan Jiang:
Connected vehicles ecological driving based on deep reinforce learning: Application of Web 3.0 technologies in traffic optimization. Future Gener. Comput. Syst. 163: 107544 (2025)- 2024
- [j47]Shuang Li, Qian Zhang, Shanglin Liu, Minghui Ma:
Robust prediction of thrust for tunnel boring machines with adaptive heavy-tailed error distribution. Adv. Eng. Informatics 62: 102619 (2024) - [j46]Yiheng Wang, Zhe Lin, Minghui Ma:
Decidability of topological quasi-Boolean algebras. J. Appl. Non Class. Logics 34(2-3): 269-293 (2024) - [j45]Ripei Zhang, Chunyi Chen, Zhongye Shen, Jun Peng, Minghui Ma:
Rendering acceleration based on JND-guided sampling prediction. Multim. Syst. 30(1): 6 (2024) - [j44]Qian Chen, Minghui Ma:
Tabularity and Post-Completeness in Tense Logic. Rev. Symb. Log. 17(2): 475-492 (2024) - [j43]Hongping Zhou, Lei Wang, Minghui Ma, Zhongyi Guo:
Compound radar jamming recognition based on signal source separation. Signal Process. 214: 109246 (2024) - [c24]Zhixin Ma, Mingcong Wang, Hexiao Wang, Minghui Ma, Li Yang:
Computational Ghost Imaging Base on Bidirectional Recurrent Neural Network. CMLDS 2024: 51:1-51:5 - 2023
- [j42]Zhe Lin, Minghui Ma:
Cut-Free Gentzen Sequent Calculi for Tense Logics. Axioms 12(7): 620 (2023) - [j41]Zhe Lin, Minghui Ma:
Residuated Basic Logic. Axioms 12(10): 966 (2023) - [j40]Shidong Liang, Bingqing Zhu, Jianjia He, Sheng-Xue He, Minghui Ma:
A pricing strategy for electric vehicle charging in residential areas considering the uncertainty of charging time and demand. Comput. Commun. 199: 153-167 (2023) - [j39]Minghui Ma, Guiying Li:
Intuitionistic Propositional Logic with Galois Negations. Stud Logica 111(1): 21-56 (2023) - [j38]Minghui Ma, Qian Chen:
Finite Model Property in Weakly Transitive Tense Logics. Stud Logica 111(2): 217-250 (2023) - [c23]Qian Chen, Minghui Ma:
Modal Logic of Generalized Separated Topological Spaces. ICLA 2023: 92-104 - [c22]Hao Wu, Minghui Ma:
An Infinity of Intuitionistic Connexive Logics. ICLA 2023: 189-206 - [c21]Hao Wu, Minghui Ma:
Relational Semantics for Normal Topological Quasi-Boolean Logic. ICLA 2023: 207-221 - [c20]Juntong Guo, Minghui Ma:
Epistemic Monadic Boolean Algebras. LORI 2023: 135-148 - 2022
- [j37]Shidong Liang, Hu Zhang, Zhiming Fang, Shengxue He, Jing Zhao, Rongmeng Leng, Minghui Ma:
Optimal control to improve reliability of demand responsive transport priority at signalized intersections considering the stochastic process. Reliab. Eng. Syst. Saf. 218(Part): 108192 (2022) - [j36]Zhe Lin, Minghui Ma:
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. Stud Logica 110(5): 1255-1289 (2022) - 2021
- [j35]Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma:
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. Fundam. Informaticae 179(3): 239-274 (2021) - [j34]Shidong Liang, Shengxue He, Hu Zhang, Minghui Ma:
Optimal holding time calculation algorithm to improve the reliability of high frequency bus route considering the bus capacity constraint. Reliab. Eng. Syst. Saf. 212: 107632 (2021) - [j33]Yuanlei Lin, Minghui Ma:
Belnap-Dunn Modal Logic with Value Operators. Stud Logica 109(4): 759-789 (2021) - [j32]Minghui Ma, Qian Chen:
Lattices of Finitely Alternative Normal Tense Logics. Stud Logica 109(5): 1093-1118 (2021) - 2020
- [j31]Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng:
A Prediction Model for Bus Arrival Time at Bus Stop Considering Signal Control and Surrounding Traffic Flow. IEEE Access 8: 127672-127681 (2020) - [j30]Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng:
Pre-Control Strategies for Downstream Bus Service Reliability With Traffic Signal. IEEE Access 8: 148853-148864 (2020) - [j29]Guangyi Ma, Minghui Ma, Shidong Liang, Yansong Wang, Yaozong Zhang:
An improved car-following model accounting for the time-delayed velocity difference and backward looking effect. Commun. Nonlinear Sci. Numer. Simul. 85: 105221 (2020) - [j28]Zelin Zhang, Minghui Ma, Peter T. L. Popkowski Leszczyc, Hejun Zhuang:
The influence of coupon duration on consumers' redemption behavior and brand profitability. Eur. J. Oper. Res. 281(1): 114-128 (2020) - [j27]Minghui Ma, Chun-Ting Wong:
A Paraconsistent Conditional Logic. J. Philos. Log. 49(5): 883-903 (2020) - [j26]Minghui Ma, Ahti-Veikko Pietarinen:
Peirce's Calculi for Classical Propositional Logic. Rev. Symb. Log. 13(3): 509-540 (2020) - [j25]Minghui Ma, Yuanlei Lin:
Countably Many Weakenings of Belnap-Dunn Logic. Stud Logica 108(2): 163-198 (2020) - [j24]Yuanlei Lin, Minghui Ma:
Polarity Semantics for Negation as a Modal Operator. Stud Logica 108(5): 877-902 (2020)
2010 – 2019
- 2019
- [j23]Shidong Liang, Minghui Ma, Shengxue He, Hu Zhang:
Short-Term Passenger Flow Prediction in Urban Public Transport: Kalman Filtering Combined K-Nearest Neighbor Approach. IEEE Access 7: 120937-120949 (2019) - [j22]Zhe Lin, Minghui Ma:
Gentzen sequent calculi for some intuitionistic modal logics. Log. J. IGPL 27(4): 596-623 (2019) - [j21]Minghui Ma, Yuanlei Lin:
A Three-Valued Fregean Quantification Logic. J. Philos. Log. 48(2): 409-423 (2019) - [j20]Minghui Ma:
Labelled Tableau Systems for Some Subintuitionistic Logics. Logica Universalis 13(2): 273-288 (2019) - [j19]Minghui Ma, Hans van Ditmarsch:
Dynamic Graded Epistemic Logic. Rev. Symb. Log. 12(4): 663-684 (2019) - [j18]Minghui Ma, Yuanlei Lin:
A Deterministic Weakening of Belnap-Dunn Logic. Stud Logica 107(2): 283-312 (2019) - [j17]Minghui Ma, Jinsheng Chen:
Sequent Calculi for Global Modal Consequence Relations. Stud Logica 107(4): 613-637 (2019) - [j16]Minghui Ma, Shidong Liang, Yifei Qin:
A Bidirectional Searching Strategy to Improve Data Quality Based on K-Nearest Neighbor Approach. Symmetry 11(6): 815 (2019) - [j15]Shidong Liang, Hu Zhang, Minghui Ma:
Design of Short-Turning Service for a Bus Route with Hybrid Vehicle Type. Symmetry 11(9): 1140 (2019) - [c19]Katsuhiko Sano, Minghui Ma:
Sequent Calculi for Normal Update Logics. ICLA 2019: 132-143 - 2018
- [j14]Minghui Ma, Mihir Kumar Chakraborty:
Covering-based rough sets and modal logics. Part II. Int. J. Approx. Reason. 95: 113-123 (2018) - [j13]Minghui Ma, Ahti-Veikko Pietarinen:
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. J. Philos. Log. 47(6): 913-945 (2018) - [j12]Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao:
Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28(7): 1367-1442 (2018) - [j11]Minghui Ma, Katsuhiko Sano:
How to update neighbourhood models. J. Log. Comput. 28(8): 1781-1804 (2018) - [j10]Minghui Ma, Fei Liang:
Sequent Calculi for Semi-De Morgan and De Morgan Algebras. Stud Logica 106(3): 565-593 (2018) - [j9]Minghui Ma, Ahti-Veikko Pietarinen:
Gamma graph calculi for modal logics. Synth. 195(8): 3621-3650 (2018) - [j8]Minghui Ma, Shidong Liang:
An integrated control method based on the priority of ways in a freeway network. Trans. Inst. Meas. Control 40(3): 843-852 (2018) - [c18]Minghui Ma, Ahti-Veikko Pietarinen:
A Weakening of Alpha Graphs: Quasi-Boolean Algebras. Diagrams 2018: 549-564 - [c17]Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin:
Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. IJCSR 2018: 309-322 - [c16]Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma:
Decidability in Pre-rough Algebras: Extended Abstract. IJCSR 2018: 511-521 - [i5]Zhe Lin, Minghui Ma:
Finite Model Property of Pretransitive Modal Logic. CoRR abs/1802.09240 (2018) - 2017
- [j7]Minghui Ma, Suman Mallik:
Bundling of Vertically Differentiated Products in a Supply Chain. Decis. Sci. 48(4): 625-656 (2017) - [j6]Minghui Ma, Zhiguang Zhao:
Unified correspondence and proof theory for strict implication. J. Log. Comput. 27(3): 921-960 (2017) - [j5]Naresh Bansal, Kissan Joseph, Minghui Ma, M. Babajide Wintoki:
Do CMO Incentives Matter? An Empirical Investigation of CMO Compensation and Its Impact on Firm Performance. Manag. Sci. 63(6): 1993-2015 (2017) - [j4]Minghui Ma, Ahti-Veikko Pietarinen:
Proof Analysis of Peirce's Alpha System of Graphs. Stud Logica 105(3): 625-647 (2017) - [c15]Minghui Ma, Ahti-Veikko Pietarinen:
Peirce's Sequent Proofs of Distributivity. ICLA 2017: 168-182 - [c14]Jinsheng Chen, Minghui Ma:
Labelled Sequent Calculus for Inquisitive Logic. LORI 2017: 526-540 - [c13]Minghui Ma, Ahti-Veikko Pietarinen:
Graphical Sequent Calculi for Modal Logics. M4M@ICLA 2017: 91-103 - 2016
- [j3]Minghui Ma, Ahti-Veikko Pietarinen:
A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. FLAP 3(1): 73-104 (2016) - [j2]Minghui Ma, Mihir Kumar Chakraborty:
Covering-based rough sets and modal logics. Part I. Int. J. Approx. Reason. 77: 55-65 (2016) - [c12]Zhe Lin, Minghui Ma:
On the Complexity of the Equational Theory of Residuated Boolean Algebras. WoLLIC 2016: 265-278 - [i4]Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao:
Unified Correspondence as a Proof-Theoretic Tool. CoRR abs/1603.08204 (2016) - 2015
- [c11]Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada:
Tableaux for Non-normal Public Announcement Logic. ICLA 2015: 132-145 - [c10]Minghui Ma, Jeremy Seligman:
Algebraic Semantics for Dynamic Dynamic Logic. LORI 2015: 255-267 - 2014
- [j1]Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh:
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Log. 165(4): 963-995 (2014) - [i3]Zhe Lin, Minghui Ma:
The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. CoRR abs/1403.3157 (2014) - [i2]Minghui Ma, Zhe Lin:
Residuated Basic Logic I. CoRR abs/1403.3354 (2014) - [i1]Minghui Ma, Zhe Lin:
Residuated Basic Logic II. Interpolation, Decidability and Embedding. CoRR abs/1404.7401 (2014) - 2013
- [c9]Minghui Ma, Katsuhiko Sano:
How to Update Neighborhood Models. LORI 2013: 204-217 - [c8]Katsuhiko Sano, Minghui Ma:
Alternative Semantics for Visser's Propositional Logics. TbiLLC 2013: 257-275 - 2011
- [c7]Md. Aquil Khan, Minghui Ma:
A Modal Logic for Multiple-Source Tolerance Approximation Spaces. ICLA 2011: 124-136 - [c6]Minghui Ma:
Mathematics of Public Announcements. LORI 2011: 193-205 - [c5]Minghui Ma, Meiyun Guo:
Logics of Belief over Weighted Structures. LORI 2011: 206-219 - [c4]Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma:
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI 2011: 394-395 - 2010
- [c3]Katsuhiko Sano, Minghui Ma:
Goldblatt-Thomason-style Theorems for Graded Modal Language. Advances in Modal Logic 2010: 330-349
2000 – 2009
- 2009
- [c2]Minghui Ma:
Dynamic Epistemic Logic of Finite Identification. LORI 2009: 227-237 - 2008
- [c1]Aijun Xu, Minghui Ma:
Disaster Assessment Algorithm after Forest Fire Based on GIS. FSKD (4) 2008: 241-245
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
