Search dblp for Publications

• > Home > Search

@article{DBLP:journals/bib/HanWCACYWL23,
  author       = {Yanqiang Han and
                  Zhilong Wang and
                  An Chen and
                  Imran Ali and
                  Junfei Cai and
                  Simin Ye and
                  Zhiyun Wei and
                  Jin{-}Jin Li},
  title        = {A deep transfer learning-based protocol accelerates full quantum mechanics
                  calculation of protein},
  journal      = {Briefings Bioinform.},
  volume       = {24},
  number       = {1},
  year         = {2023}
}

@article{DBLP:journals/cmpb/AngLCWTCNZDC22,
  author       = {Christopher Yew Shuen Ang and
                  Jay Wing Wai Lee and
                  Yeong Shiong Chiew and
                  Xin Wang and
                  Chee Pin Tan and
                  Matthew E. Cove and
                  Mohd Basri Mat Nor and
                  Cong Zhou and
                  Thomas Desaive and
                  J. Geoffrey Chase},
  title        = {Virtual patient framework for the testing of mechanical ventilation
                  airway pressure and flow settings protocol},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {226},
  pages        = {107146},
  year         = {2022}
}

@article{DBLP:journals/cmpb/LeeCWTNCDC22,
  author       = {Jay Wing Wai Lee and
                  Yeong Shiong Chiew and
                  Xin Wang and
                  Chee Pin Tan and
                  Mohd Basri Mat Nor and
                  Matthew E. Cove and
                  Nor Salwa Damanhuri and
                  J. Geoffrey Chase},
  title        = {Protocol conception for safe selection of mechanical ventilation settings
                  for respiratory failure Patients},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {214},
  pages        = {106577},
  year         = {2022}
}

@article{DBLP:journals/tsmc/ShangCWY22,
  author       = {Lin Shang and
                  Mingjie Cai and
                  Baofang Wang and
                  Jinpeng Yu},
  title        = {Adaptive Fault-Tolerant Fast Finite-Time Consensus Protocols for Multiple
                  Mechanical Systems With Output Constraints},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {52},
  number       = {9},
  pages        = {6028--6035},
  year         = {2022}
}

@article{DBLP:journals/ijsysc/CaiX20,
  author       = {Mingjie Cai and
                  Zhengrong Xiang},
  title        = {Adaptive practical fast finite-time consensus protocols for multiple
                  uncertain nonlinear mechanical systems},
  journal      = {Int. J. Syst. Sci.},
  volume       = {51},
  number       = {11},
  pages        = {1929--1944},
  year         = {2020}
}

@inproceedings{DBLP:conf/fm/BodeveixBCF19,
  author       = {Jean{-}Paul Bodeveix and
                  Julien Brunel and
                  David Chemouil and
                  Mamoun Filali},
  title        = {Mechanically Verifying the Fundamental Liveness Property of the Chord
                  Protocol},
  booktitle    = {{FM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11800},
  pages        = {45--63},
  publisher    = {Springer},
  year         = {2019}
}

@article{DBLP:journals/jcc/VanduyfhuysVWWV18,
  author       = {Louis Vanduyfhuys and
                  Steven Vandenbrande and
                  Jelle Wieme and
                  Michel Waroquier and
                  Toon Verstraelen and
                  Veronique Van Speybroeck},
  title        = {Extension of the QuickFF force field protocol for an improved accuracy
                  of structural, vibrational, mechanical and thermal properties of metal-organic
                  frameworks},
  journal      = {J. Comput. Chem.},
  volume       = {39},
  number       = {16},
  pages        = {999--1011},
  year         = {2018}
}

@inproceedings{DBLP:conf/chiplay/CroonWWVA17,
  author       = {Robin De Croon and
                  Davina Wildemeersch and
                  Joris Wille and
                  Katrien Verbert and
                  Vero Vanden Abeele},
  title        = {Anthropomorphism-Based Focus Group Protocol to Select Gamification
                  Mechanics},
  booktitle    = {PGW@CHI {PLAY}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2055},
  publisher    = {CEUR-WS.org},
  year         = {2017}
}

@article{DBLP:journals/jfi/CaiXG16,
  author       = {Mingjie Cai and
                  Zhengrong Xiang and
                  Jian Guo},
  title        = {Adaptive finite-time fault-tolerant consensus protocols for multiple
                  mechanical systems},
  journal      = {J. Frankl. Inst.},
  volume       = {353},
  number       = {6},
  pages        = {1386--1408},
  year         = {2016}
}

@article{DBLP:journals/isci/ChooNW14,
  author       = {Kim{-}Kwang Raymond Choo and
                  Junghyun Nam and
                  Dongho Won},
  title        = {A mechanical approach to derive identity-based protocols from Diffie-Hellman-based
                  protocols},
  journal      = {Inf. Sci.},
  volume       = {281},
  pages        = {182--200},
  year         = {2014}
}

@article{DBLP:journals/jcnc/FilaliB14,
  author       = {Rajaa Filali and
                  Mohamed Bouhdadi},
  title        = {A Mechanically Proved and an Incremental Development of the Session
                  Initiation Protocol {INVITE} Transaction},
  journal      = {J. Comput. Networks Commun.},
  volume       = {2014},
  pages        = {352071:1--352071:11},
  year         = {2014}
}

@inproceedings{DBLP:conf/birthday/RochaM14,
  author       = {Camilo Rocha and
                  Jos{\'{e}} Meseguer},
  title        = {Mechanical Analysis of Reliable Communication in the Alternating Bit
                  Protocol Using the Maude Invariant Analyzer Tool},
  booktitle    = {Specification, Algebra, and Software},
  series       = {Lecture Notes in Computer Science},
  volume       = {8373},
  pages        = {603--629},
  publisher    = {Springer},
  year         = {2014}
}

@article{DBLP:journals/corr/PatraCCB14,
  author       = {Chiranjib Patra and
                  Samiran Chattopadhyay and
                  Matangini Chattopadhyay and
                  Parama Bhaumik},
  title        = {Understanding the Mechanics of Some Localized Protocols by Theory
                  of Complex Networks},
  journal      = {CoRR},
  volume       = {abs/1410.8007},
  year         = {2014}
}

@article{DBLP:journals/iacr/ChooNW14,
  author       = {Kim{-}Kwang Raymond Choo and
                  Junghyun Nam and
                  Dongho Won},
  title        = {A mechanical approach to derive identity-based protocols from Diffie-Hellman-based
                  protocols},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {358},
  year         = {2014}
}

@article{DBLP:journals/jcc/ZhuKHYC10,
  author       = {Xiao Zhu and
                  Peter H. Koenig and
                  Michael Hoffmann and
                  Arun Yethiraj and
                  Qiang Cui},
  title        = {Establishing effective simulation protocols for beta- and alpha/beta-peptides.
                  {III.} Molecular mechanical model for acyclic beta-amino acids},
  journal      = {J. Comput. Chem.},
  volume       = {31},
  number       = {10},
  pages        = {2063--2077},
  year         = {2010}
}

@inproceedings{DBLP:conf/allerton/HuiGBH09,
  author       = {Ka{-}Hung Hui and
                  Dongning Guo and
                  Randall Berry and
                  Martin Haenggi},
  title        = {Performance analysis of {MAC} protocols in wireless line networks
                  using statistical mechanics},
  booktitle    = {Allerton},
  pages        = {1315--1322},
  publisher    = {{IEEE}},
  year         = {2009}
}

@inproceedings{DBLP:conf/wotug/BadbanFP08,
  author       = {Bahareh Badban and
                  Wan J. Fokkink and
                  Jaco van de Pol},
  title        = {Mechanical Verification of a Two-Way Sliding Window Protocol},
  booktitle    = {{CPA}},
  series       = {Concurrent Systems Engineering Series},
  volume       = {66},
  pages        = {179--202},
  publisher    = {{IOS} Press},
  year         = {2008}
}

@article{DBLP:journals/fmsd/FokkinkPP06,
  author       = {Wan J. Fokkink and
                  Jun Pang and
                  Jaco van de Pol},
  title        = {Cones and foci: {A} mechanical framework for protocol verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {29},
  number       = {1},
  pages        = {1--31},
  year         = {2006}
}

@inproceedings{DBLP:conf/ijcai/MaCM05,
  author       = {Xiaoqi Ma and
                  Xiaochun Cheng and
                  Rachel McCrindle},
  title        = {Knowledge Based Approach for Mechanically Verifying Security Protocols},
  booktitle    = {{IJCAI}},
  pages        = {1572--1573},
  publisher    = {Professional Book Center},
  year         = {2005}
}

@article{DBLP:journals/fac/AbrialCM03,
  author       = {Jean{-}Raymond Abrial and
                  Dominique Cansell and
                  Dominique M{\'{e}}ry},
  title        = {A Mechanically Proved and Incremental Development of {IEEE} 1394 Tree
                  Identify Protocol},
  journal      = {Formal Aspects Comput.},
  volume       = {14},
  number       = {3},
  pages        = {215--227},
  year         = {2003}
}

@article{DBLP:journals/sttt/SimonsS01,
  author       = {David P. L. Simons and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Mechanical verification of the {IEEE} 1394a root contention protocol
                  using Uppaal2k},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {3},
  number       = {4},
  pages        = {469--485},
  year         = {2001}
}

@inproceedings{DBLP:conf/tphol/BellaP01,
  author       = {Giampaolo Bella and
                  Lawrence C. Paulson},
  title        = {Mechanical Proofs about a Non-repudiation Protocol},
  booktitle    = {TPHOLs},
  series       = {Lecture Notes in Computer Science},
  volume       = {2152},
  pages        = {91--104},
  publisher    = {Springer},
  year         = {2001}
}

@inproceedings{DBLP:conf/icdcsw/ChkliaevSH00,
  author       = {Dmitri Chkliaev and
                  Peter van der Stok and
                  Jozef Hooman},
  title        = {Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol},
  booktitle    = {{ICDCS} Workshop on Distributed System Validation and Verification},
  pages        = {E96--E103},
  year         = {2000}
}

@article{DBLP:journals/fac/Moore94,
  author       = {J Strother Moore},
  title        = {A Formal Model of Asynchronous Communication and its Use in Mechanically
                  Verifying a Biphase Mark Protocol},
  journal      = {Formal Aspects Comput.},
  volume       = {6},
  number       = {1},
  pages        = {60--91},
  year         = {1994}
}

@inproceedings{DBLP:conf/ftrtft/Shankar92,
  author       = {Natarajan Shankar},
  title        = {Mechanical Verification of a Generalized Protocol for Byzantine Fault
                  Tolerant Clock Synchronization},
  booktitle    = {{FTRTFT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {217--236},
  publisher    = {Springer},
  year         = {1992}
}

@article{DBLP:journals/tse/BlumerS86,
  author       = {Thomas P. Blumer and
                  Deepinder P. Sidhu},
  title        = {Mechanical Verification and Automatic Implementation of Communication
                  Protocols},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {12},
  number       = {8},
  pages        = {827--843},
  year         = {1986}
}

@inproceedings{DBLP:conf/sigcomm/DiVito83,
  author       = {Benedetto L. DiVito},
  title        = {Mechanical verification of a data transport protocol},
  booktitle    = {{SIGCOMM}},
  pages        = {30--37},
  publisher    = {{ACM}},
  year         = {1983}
}

@article{DBLP:journals/cogsci/Luger81,
  author       = {George F. Luger},
  title        = {Mathematical Model Building in the Solution of Mechanics Problems:
                  Human Protocols and the {MECHO} Trace},
  journal      = {Cogn. Sci.},
  volume       = {5},
  number       = {1},
  pages        = {55--77},
  year         = {1981}
}

@article{DBLP:journals/sigsoft/DiVito81,
  author       = {Ben DiVito},
  title        = {A mechanical verification of the Alternating Bit Protocol},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {6},
  number       = {3},
  pages        = {8--13},
  year         = {1981}
}