Yih-Kuen Tsay, Ph.D. - Publications

Affiliations: 
1995- Dept. of Information Management National Taiwan University, Taipei, Taiwan, Taipei City, Taiwan 
Area:
Formal Verification, Temporal Logic, Automata Theory

3/63 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2013 Tsay Y, Tsai M, Chang J, Chang Y, Liu C. Büchi Store: an open repository of \omega -automata International Journal On Software Tools For Technology Transfer. 15: 109-123. DOI: 10.1007/S10009-012-0268-4  0.34
2009 Tsay YK, Chen YF, Tsai MH, Wu KN, Chan WC, Luo CJ, Chang JS. Tool support for learning Büchi automata and linear temporal logic Formal Aspects of Computing. 21: 259-275. DOI: 10.1007/S00165-008-0091-6  0.343
1994 Tsay Y, Bagrodia RL. Fault-tolerant algorithms for fair interprocess synchronization Ieee Transactions On Parallel and Distributed Systems. 5: 737-748. DOI: 10.1109/71.296319  0.304
Low-probability matches (unlikely to be authored by this person)
2000 Abdulla PA, Čerāns K, Jonsson B, Tsay Y. Algorithmic Analysis of Programs with Well Quasi-ordered Domains Information & Computation. 160: 109-127. DOI: 10.1006/Inco.1999.2843  0.3
1995 Tsay Y, Bagrodia RL. Deducing fairness properties in UNITY logic—a new completeness result Acm Transactions On Programming Languages and Systems. 17: 16-27. DOI: 10.1145/200994.200997  0.297
2009 Tsay Y, Wang B. Automated Compositional Reasoning Of Intuitionistically Closed Regular Properties International Journal of Foundations of Computer Science. 20: 747-762. DOI: 10.1142/S0129054109006851  0.283
1996 Jonsson B, Tsay Y. Assumption/guarantee specifications in linear-time temporal logic Theoretical Computer Science. 167: 47-72. DOI: 10.1016/0304-3975(96)00069-2  0.28
1993 Tsay Y, Bagrodia RL. Some impossibility results in interprocess synchronization Distributed Computing. 6: 221-231. DOI: 10.1007/Bf02242710  0.268
2014 Tsai M, Fogarty S, Vardi MY, Tsay Y. State of Büchi Complementation Logical Methods in Computer Science. 10. DOI: 10.2168/Lmcs-10(4:13)2014  0.227
1996 Huang NC, Chiang CS, Crawford NM, Tsay YF. CHL1 Encodes a Component of the Low-Affinity Nitrate Uptake System in Arabidopsis and Shows Cell Type-Specific Expression in Roots Plant Cell. 8: 2183-2191. PMID 8989878 DOI: 10.1105/Tpc.8.12.2183  0.139
2003 Liu KH, Tsay YF. Switching between the two action modes of the dual-affinity nitrate transporter CHL1 by phosphorylation Embo Journal. 22: 1005-1013. PMID 12606566 DOI: 10.1093/Emboj/Cdg118  0.129
1999 Huang NC, Liu KH, Lo HJ, Tsay YF. Cloning and functional characterization of an Arabidopsis nitrate transporter gene that encodes a constitutive component of low-affinity uptake Plant Cell. 11: 1381-1392. PMID 10449574 DOI: 10.1105/Tpc.11.8.1381  0.125
2021 Chen HY, Lin SH, Cheng LH, Wu JJ, Lin YC, Tsay YF. Potential Transceptor AtNRT1.13 Modulates Shoot Architecture and Flowering Time in a Nitrate-Dependent Manner. The Plant Cell. PMID 33580260 DOI: 10.1093/plcell/koab051  0.122
2014 Tsay YF. Plant science: How to switch affinity. Nature. 507: 44-5. PMID 24572361 DOI: 10.1038/Nature13063  0.122
2009 Hu HC, Wang YY, Tsay YF. AtCIPK8, a CBL-interacting protein kinase, regulates the low-affinity phase of the primary nitrate response. The Plant Journal : For Cell and Molecular Biology. 57: 264-78. PMID 18798873 DOI: 10.1111/J.1365-313X.2008.03685.X  0.119
2000 Lin CM, Koh S, Stacey G, Yu SM, Lin TY, Tsay YF. Cloning and functional characterization of a constitutively expressed nitrate transporter gene, OsNRT1, from rice. Plant Physiology. 122: 379-88. PMID 10677431 DOI: 10.1104/Pp.122.2.379  0.113
2013 Hsu PK, Tsay YF. Two phloem nitrate transporters, NRT1.11 and NRT1.12, are important for redistributing xylem-borne nitrate to enhance plant growth. Plant Physiology. 163: 844-56. PMID 24006285 DOI: 10.1104/Pp.113.226563  0.112
2018 Wang YY, Cheng YH, Chen KE, Tsay YF. Nitrate Transport, Signaling, and Use Efficiency. Annual Review of Plant Biology. PMID 29570365 DOI: 10.1146/Annurev-Arplant-042817-040056  0.112
2004 Chiu CC, Lin CS, Hsia AP, Su RC, Lin HL, Tsay YF. Mutation of a nitrate transporter, AtNRT1:4, results in a reduced petiole nitrate content and altered leaf development. Plant & Cell Physiology. 45: 1139-48. PMID 15509836 DOI: 10.1093/pcp/pch143  0.109
1993 Tsay YF, Frank MJ, Page T, Dean C, Crawford NM. Identification of a mobile endogenous transposon in Arabidopsis thaliana. Science (New York, N.Y.). 260: 342-4. PMID 8385803 DOI: 10.1126/Science.8385803  0.108
2018 Liao WY, Lin LF, Lin MD, Hsieh SC, Li AY, Tsay YS, Chou ML. Overexpression of () Causing Floral Defects While Promoting Flowering in , Whereas Only Affecting Floral Transition Time in . International Journal of Molecular Sciences. 19. PMID 30060634 DOI: 10.3390/ijms19082217  0.108
2017 Lin YL, Tsay YF. Influence of differing nitrate and nitrogen availability on flowering control in Arabidopsis. Journal of Experimental Botany. PMID 28369493 DOI: 10.1093/Jxb/Erx053  0.107
2004 Jeong J, Suh S, Guan C, Tsay YF, Moran N, Oh CJ, An CS, Demchenko KN, Pawlowski K, Lee Y. A nodule-specific dicarboxylate transporter from alder is a member of the peptide transporter family Plant Physiology. 134: 969-978. PMID 15001700 DOI: 10.1104/Pp.103.032102  0.107
2010 Krouk G, Crawford NM, Coruzzi GM, Tsay YF. Nitrate signaling: adaptation to fluctuating environments. Current Opinion in Plant Biology. 13: 266-73. PMID 20093067 DOI: 10.1016/J.Pbi.2009.12.003  0.106
2015 Li Y, Ouyang J, Wang YY, Hu R, Xia K, Duan J, Wang Y, Tsay YF, Zhang M. Disruption of the rice nitrate transporter OsNPF2.2 hinders root-to-shoot nitrate transport and vascular development. Scientific Reports. 5: 9635. PMID 25923512 DOI: 10.1038/Srep09635  0.104
2021 Ma JF, Tsay YF. Transport Systems Of Mineral Elements In Plants: Transporters, Regulation And Utilization. Plant & Cell Physiology. PMID 33576404 DOI: 10.1093/pcp/pcab026  0.104
2012 Wang YY, Hsu PK, Tsay YF. Uptake, allocation and signaling of nitrate. Trends in Plant Science. 17: 458-67. PMID 22658680 DOI: 10.1016/J.Tplants.2012.04.006  0.101
2010 Ho CH, Tsay YF. Nitrate, ammonium, and potassium sensing and signaling. Current Opinion in Plant Biology. 13: 604-10. PMID 20833581 DOI: 10.1016/J.Pbi.2010.08.005  0.099
2008 Lin SH, Kuo HF, Canivenc G, Lin CS, Lepetit M, Hsu PK, Tillard P, Lin HL, Wang YY, Tsai CB, Gojon A, Tsay YF. Mutation of the Arabidopsis NRT1.5 nitrate transporter causes defective root-to-shoot nitrate transport. The Plant Cell. 20: 2514-28. PMID 18780802 DOI: 10.1105/Tpc.108.060244  0.099
2021 Chen HY, Lin SH, Cheng LH, Wu JJ, Lin YC, Tsay YF. Corrigendum to: Potential transceptor AtNRT1.13 modulates shoot architecture and flowering time in a nitrate-dependent manner. The Plant Cell. PMID 34297836 DOI: 10.1093/plcell/koab172  0.099
1993 Tsay YF, Schroeder JI, Feldmann KA, Crawford NM. The herbicide sensitivity gene CHL1 of Arabidopsis encodes a nitrate-inducible nitrate transporter. Cell. 72: 705-13. PMID 8453665 DOI: 10.1016/0092-8674(93)90399-B  0.097
2017 Li Z, Wang R, Gao Y, Wang C, Zhao L, Xu N, Chen KE, Qi S, Zhang M, Tsay YF, Crawford NM, Wang Y. The Arabidopsis CPSF30-L gene plays an essential role in nitrate signaling and regulates the nitrate transceptor gene NRT1.1. The New Phytologist. PMID 28850721 DOI: 10.1111/Nph.14743  0.097
2004 Chiang CS, Stacey G, Tsay YF. Mechanisms and functional properties of two peptide transporters, AtPTR2 and fPTR2. The Journal of Biological Chemistry. 279: 30150-7. PMID 15138259 DOI: 10.1074/Jbc.M405192200  0.097
2020 Chen KE, Chen HY, Tseng CS, Tsay YF. Improving nitrogen use efficiency by manipulating nitrate remobilization in plants. Nature Plants. PMID 32868892 DOI: 10.1038/S41477-020-00758-0  0.096
1999 Liu KH, Huang CY, Tsay YF. CHL1 is a dual-affinity nitrate transporter of Arabidopsis involved in multiple phases of nitrate uptake Plant Cell. 11: 865-874. PMID 10330471 DOI: 10.1105/Tpc.11.5.865  0.096
2021 Lin JY, Yang CT, Tsay YS. A Study on the Sound Insulation Performance of Cross-laminated Timber. Materials (Basel, Switzerland). 14. PMID 34361337 DOI: 10.3390/ma14154144  0.096
2012 Wang Y, Hsu P, Tsay Y. Erratum to: “Uptake, allocation and signaling of nitrate” Trends in Plant Science. 17: 624. DOI: 10.1016/J.Tplants.2012.08.007  0.095
2011 Tsay YF, Ho CH, Chen HY, Lin SH. Integration of nitrogen and potassium signaling. Annual Review of Plant Biology. 62: 207-26. PMID 21495843 DOI: 10.1146/Annurev-Arplant-042110-103837  0.095
2009 Fan SC, Lin CS, Hsu PK, Lin SH, Tsay YF. The Arabidopsis nitrate transporter NRT1.7, expressed in phloem, is responsible for source-to-sink remobilization of nitrate. The Plant Cell. 21: 2750-61. PMID 19734434 DOI: 10.1105/Tpc.109.067603  0.093
1992 LaBrie ST, Wilkinson JQ, Tsay YF, Feldmann KA, Crawford NM. Identification of two tungstate-sensitive molybdenum cofactor mutants, chl2 and chl7, of Arabidopsis thaliana Mgg Molecular &Amp; General Genetics. 233: 169-176. PMID 1534867 DOI: 10.1007/Bf00587576  0.092
2009 Ho CH, Lin SH, Hu HC, Tsay YF. CHL1 functions as a nitrate sensor in plants. Cell. 138: 1184-94. PMID 19766570 DOI: 10.1016/J.Cell.2009.07.004  0.091
2011 Wang YY, Tsay YF. Arabidopsis nitrate transporter NRT1.9 is important in phloem nitrate transport. The Plant Cell. 23: 1945-57. PMID 21571952 DOI: 10.1105/Tpc.111.083618  0.091
2018 Chen YS, Chang CW, Tsay YG, Huang LY, Wu YC, Cheng LH, Yang CC, Wu CH, Teo WH, Hung KF, Huang CY, Lee TC, Lo JF. HSP40 co-chaperone protein Tid1 suppresses metastasis of head and neck cancer by inhibiting Galectin-7-TCF3-MMP9 axis signaling. Theranostics. 8: 3841-3855. PMID 30083263 DOI: 10.7150/thno.25784  0.09
2007 Tsay YF, Chiu CC, Tsai CB, Ho CH, Hsu PK. Nitrate transporters and peptide transporters. Febs Letters. 581: 2290-300. PMID 17481610 DOI: 10.1016/j.febslet.2007.04.047  0.09
1997 Frank MJ, Liu D, Tsay YF, Ustach C, Crawford NM. Tag1 is an autonomous transposable element that shows somatic excision in both Arabidopsis and tobacco. The Plant Cell. 9: 1745-56. PMID 9368414 DOI: 10.1105/Tpc.9.10.1745  0.083
2008 Almagro A, Lin SH, Tsay YF. Characterization of the Arabidopsis nitrate transporter NRT1.6 reveals a role of nitrate in early embryo development. The Plant Cell. 20: 3289-99. PMID 19050168 DOI: 10.1105/tpc.107.056788  0.083
2014 Léran S, Varala K, Boyer JC, Chiurazzi M, Crawford N, Daniel-Vedele F, David L, Dickstein R, Fernandez E, Forde B, Gassmann W, Geiger D, Gojon A, Gong JM, Halkier BA, ... ... Tsay YF, et al. A unified nomenclature of NITRATE TRANSPORTER 1/PEPTIDE TRANSPORTER family members in plants. Trends in Plant Science. 19: 5-9. PMID 24055139 DOI: 10.1016/J.Tplants.2013.08.008  0.072
2018 Chang CW, Chen YS, Tsay YG, Han CL, Chen YJ, Yang CC, Hung KF, Lin CH, Huang TY, Kao SY, Lee TC, Lo JF. ROS-independent ER stress-mediated NRF2 activation promotes warburg effect to maintain stemness-associated properties of cancer-initiating cells. Cell Death & Disease. 9: 194. PMID 29416012 DOI: 10.1038/s41419-017-0250-x  0.072
2019 Lo CH, Lin IH, Yang TT, Huang YC, Tanos BE, Chou PC, Chang CW, Tsay YG, Liao JC, Wang WJ. Phosphorylation of CEP83 by TTBK2 is necessary for cilia initiation. The Journal of Cell Biology. PMID 31455668 DOI: 10.1083/Jcb.201811142  0.066
2013 Schroeder JI, Delhaize E, Frommer WB, Guerinot ML, Harrison MJ, Herrera-Estrella L, Horie T, Kochian LV, Munns R, Nishizawa NK, Tsay YF, Sanders D. Using membrane transporters to improve crops for sustainable food production. Nature. 497: 60-6. PMID 23636397 DOI: 10.1038/Nature11909  0.062
1988 Tsay YF, Thompson JR, Rotenberg MO, Larkin JC, Woolford JL. Ribosomal protein synthesis is not regulated at the translational level in Saccharomyces cerevisiae: balanced accumulation of ribosomal proteins L16 and rp59 is mediated by turnover of excess protein. Genes & Development. 2: 664-76. PMID 3047007  0.061
2019 Huang KC, Tsay YS, Lin FM, Lee CC, Chang JW. Efficiency and performance tests of the sorptive building materials that reduce indoor formaldehyde concentrations. Plos One. 14: e0210416. PMID 30677054 DOI: 10.1371/journal.pone.0210416  0.058
1993 Deshmukh M, Tsay YF, Paulovich AG, Woolford JL. Yeast ribosomal protein L1 is required for the stability of newly synthesized 5S rRNA and the assembly of 60S ribosomal subunits. Molecular and Cellular Biology. 13: 2835-45. PMID 8474444 DOI: 10.1128/Mcb.13.5.2835  0.051
1990 Moritz M, Paulovich AG, Tsay YF, Woolford JL. Depletion of yeast ribosomal proteins L16 or rp59 disrupts ribosome assembly. The Journal of Cell Biology. 111: 2261-74. PMID 2277060  0.049
1994 Tsay YF, Shankweiler G, Lake J, Woolford JL. Localization of Saccharomyces cerevisiae ribosomal protein L16 on the surface of 60 S ribosomal subunits by immunoelectron microscopy. The Journal of Biological Chemistry. 269: 7579-86. PMID 7510288  0.047
2021 Tsay YF, Blatt MR, Gilliham M, Maurel C, von Wirén N. Integrating membrane transport, signaling and physiology. Plant Physiology. PMID 34908141 DOI: 10.1093/plphys/kiab585  0.045
2020 Liu M, Sui D, Dexheimer T, Hovde S, Deng X, Wang KW, Lin HL, Chien HT, Kweon HK, Kuo NS, Ayoub CA, Jimenez-Harrison D, Andrews PC, Kwok R, Bochar DA, ... ... Tsay YG, et al. Hyperphosphorylation Renders Tau Prone to Aggregate and to Cause Cell Death. Molecular Neurobiology. PMID 32780352 DOI: 10.1007/S12035-020-02034-W  0.035
2017 Yang HC, Chen IC, Tsay YC, Li ZR, Chen CH, Hwu HG, Chen CH. Using an Event-History with Risk-Free Model to Study the Genetics of Alcoholism. Scientific Reports. 7: 1975. PMID 28512340 DOI: 10.1038/s41598-017-01791-4  0.034
2021 Chiou WC, Hsu MS, Chen YT, Yang JM, Tsay YG, Huang HC, Huang C. Repurposing existing drugs: identification of SARS-CoV-2 3C-like protease inhibitors. Journal of Enzyme Inhibition and Medicinal Chemistry. 36: 147-153. PMID 33430659 DOI: 10.1080/14756366.2020.1850710  0.034
2017 Chiu HY, Tsay YG, Hung SC. Involvement of mTOR-autophagy in the selection of primitive mesenchymal stem cells in chitosan film 3-dimensional culture. Scientific Reports. 7: 10113. PMID 28860574 DOI: 10.1038/s41598-017-10708-0  0.032
2019 Jeng KS, Jeng CJ, Jeng WJ, Sheen IS, Li SY, Leu CM, Tsay YG, Chang CF. Sonic Hedgehog signaling pathway as a potential target to inhibit the progression of hepatocellular carcinoma. Oncology Letters. 18: 4377-4384. PMID 31611946 DOI: 10.3892/ol.2019.10826  0.03
2019 Chiang KM, Tsay YC, Vincent Ng TC, Yang HC, Huang YT, Chen CH, Pan WH. Is Hyperuricemia, an Early-Onset Metabolic Disorder, Causally Associated with Cardiovascular Disease Events in Han Chinese? Journal of Clinical Medicine. 8. PMID 31408958 DOI: 10.3390/jcm8081202  0.027
2017 Li LH, How CK, Kao WF, Chiu YH, Meng C, Hsu CC, Tsay YG. The impact of hepatitis B carrier on cardiac troponin I in 100-km ultramarathon runners. Journal of the Chinese Medical Association : Jcma. PMID 28454790 DOI: 10.1016/j.jcma.2017.03.002  0.014
Hide low-probability matches.