CÁC BÀI BÁO KHOA HỌC 11:46:41 Ngày 20/01/2019 GMT+7
Thứ tự Tiêu đề Tác giả File
681 Splicing array grammar systems Subramanian K.G., Roslin Sagaya Mary A., Dersanambika K.S.  
682 Weak stochastic bisimulation for non-Markovian processes Lopez N., Nunez M.  
683 Compositionality of fixpoint logic with chop Zhan N., Wu J.  
684 Revisiting failure detection and consensus in omission failure environments Delporte-Gallet C., Fauconnier H., Freiling F.C.  
685 Codes and length-increasing transitive binary relations Van D.L., Hung K.V., Huy P.T.  
686 On superposition-based satisfiability procedures and their combination Kirchner H., Ranise S., Ringeissen C., Tran D.K.  
687 On cool congruence formats for weak bisimulations Van Glabbeek R.J.  
688 Generating C code from LOGS specifications Zhou J., Chen Y.  
689 The timer cascade: Functional modelling and real time calculi Boute R., Schafer A.  
690 A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems Groote J.F., Keinanen M.  
691 Outfix-free regular languages and prime outfix-free decomposition Han Y.-S., Wood D.  
692 Maximum marking problems with accumulative weight functions Sasano I., Ogawa M., Hu Z.  
693 Finding resource bounds in the presence of explicit deallocation Truong H., Bezem M.  
694 Languages and process calculi for network aware programming - Short summary De Nicola R.  
695 POST: A case study for an incremental development in rCOS Long Q., Qiu Z., Liu Z., Shao L., Jifeng H.  
696 A rewriting logic sampler Meseguer J.  
697 Symbolic model checking of finite precision timed automata Yan R., Li G., Tang Z.  
698 Implementing application-specific object-oriented theories in HOL Yatake K., Aoki T., Katayama T.  
699 A robust interpretation of duration calculus Franzle M., Hansen M.R.  
700 Representation and reasoning on RBAC: A description logic approach Zhao C., Heilili N., Liu S., Lin Z.  
Trang :  1  |  2  |  3  |  4  |  5  |  6  |  7  |  8  |  9  |  10  |  11  |  12  |  13  |  14  |  15  |  16  |  17  |  18  |  19  |  20  |  21  |  22  |  23  |  24  |  25  |  26  |  27  |  28  |  29  |  30  |  31  |  32  |  33  |  34  |  35  |  36  |  37  |  38  |  39  |  40  |  41  |  42  |  43  |  44  |  45  |  46  |  47  |  48  |  49  |  50  |  51  |  52  |  53  |  54  |  55  |  56  |  57  |