Result 1 to 20 of 222 total
Automatic compositional verification of timed systems. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 272-276 (2012).
1
On the Laplacian coefficients and Laplacian-like energy of bicyclic graphs. (English)
Linear Multilinear Algebra 60, No. 9, 1071-1092 (2012).
2
An empirical study on inconsistent changes to code clones at the release level. (English)
Sci. Comput. Program. 77, No. 6, 760-776 (2012).
3
Ordering trees by algebraic connectivity. (English)
Linear Algebra Appl. 436, No. 9, 3684-3691 (2012).
4
On the Laplacian coefficients of trees with a perfect matching. (English)
Linear Algebra Appl. 436, No. 3, 595-617 (2012).
5
Roman domination in a tree. (English)
Ars Comb. 98, 73-82 (2011).
6
Synchronization control of a parallel manipulator with redundant actuation in the task space. (English)
Int. J. Robot. Auton. 26, No. 4, 432-440 (2011).
7
An efficient algorithm for learning event-recording automata. (English)
Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 463-472 (2011).
8
Algorithms for minimum connected capacitated dominating set problem. (English)
Discrete Math. Algorithms Appl. 3, No. 1, 9-15 (2011).
9
On the Laplacian coefficients of unicyclic graphs with prescribed matching number. (English)
Discrete Math. 311, No. 8-9, 582-594 (2011).
10
On the Laplacian spectral radius of weighted trees with fixed diameter and weight set. (English)
Linear Multilinear Algebra 59, No. 1-3, 173-192 (2011).
11
Nonlinear two-point boundary value problems on time scales (English)
Mathematical and Computer Modelling 53, No. 5-6, 985-990 (2011).
12
Counterexample-guided assume-guarantee synthesis through learning (English)
IEEE Trans. Computers 60, No. 5, 734-750 (2011).
13
Promised delivery time and capacity games in time-based competition (English)
Management Science 57, No. 3, 599-610 (2011).
14
Synchronization control of a parallel manipulator with redundant actuation in the task space (English)
I. J. Robotics and Automation 26, No. 4 (2011).
15
VERTAF/multi-core: A sysml-based application framework for multi-core embedded software development (English)
J. Comput. Sci. Technol. 26, No. 3, 448-462 (2011).
16
Cathepsin L is up-expressed in atherosclerotic lesion induced by shear stress (English)
BMEI, 1466-1470 (2011).
17
Multi-stream spectro-temporal and cepstral features based on data-driven hierarchical phoneme clusters (English)
ICASSP, 5196-5199 (2011).
18
The principle and algorithm of earthquake alarm system designed for families (English)
ICAIC (2), 361-368 (2011).
19
An efficient algorithm for learning event-recording automata (English)
ATVA, 463-472 (2011).
20
Result 1 to 20 of 222 total
Start
Contact
Print
General Help
