Recent progress in Symbolic Dynamic and Permutation Complexity: Ten Years of Permutation EntropyAMIGÓ, J.M; KELLER, K; KURTHS, J et al.The European physical journal. Special topics. 2013, Vol 222, Num 2, issn 1951-6355, 361 p.Serial Issue

Symbolic partial model checking for security analysisMARTINELLI, Fabio.Lecture notes in computer science. 2003, pp 122-134, issn 0302-9743, isbn 3-540-40797-9, 13 p.Conference Paper

Ordinal pattern statistics for the assessment of heart rate variabilityGRAFF, G; GRAFF, B; KACZKOWSKA, A et al.The European physical journal. Special topics. 2013, Vol 222, Num 2, pp 525-534, issn 1951-6355, 10 p.Article

Symbolic convergence and the hydrogen economySOVACOOL, Benjamin K; BROSSMANN, Brent.Energy policy. 2010, Vol 38, Num 4, pp 1999-2012, issn 0301-4215, 14 p.Article

Genetic oscillation patternsJENSEN, M. H; PIGOLOTTI, S; KRISHNA, S et al.The European physical journal. Special topics. 2009, Vol 178, pp 45-56, issn 1951-6355, 12 p.Article

A symbolic approach to design centering of analog circuitsGRASSO, Francesco; MANETTI, Stefano; PICCIRILLI, Maria Cristina et al.Microelectronics and reliability. 2007, Vol 47, Num 8, pp 1288-1295, issn 0026-2714, 8 p.Article

Advanced symbolic analysis for compilers (new techniques and algorithms for symbolic program analysis and optimization)Fahringer, Thomas; Scholz, Bernard.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-01185-4, XII, 129 p, isbn 3-540-01185-4Book

FPGA-based state encoding using symbolic functional decompositionDENIZIAK, S; WISNIEWSKI, M.Electronics letters. 2010, Vol 46, Num 19, pp 1316-1318, issn 0013-5194, 3 p.Article

Fuzzy clustering algorithms for mixed feature variablesMIIN-SHEN YANG; PEI-YUAN HWANG; DE-HUA CHEN et al.Fuzzy sets and systems. 2004, Vol 141, Num 2, pp 301-317, issn 0165-0114, 17 p.Article

Symbolic Analysis of Economical Models with MathematicaGALVEZ, A; IGLESIAS, A.Lecture notes in computer science. 2006, pp 414-421, issn 0302-9743, isbn 3-540-34379-2, 8 p.Conference Paper

Advancing scientific computation by improving scientific code development : Symbolic execution and semantic analysisSTEWART, Mark.Lecture notes in computer science. 2005, pp 1043-1050, issn 0302-9743, isbn 3-540-26032-3, 3Vol, 8 p.Conference Paper

A SAT-based algorithm for reparameterization in symbolic simulationCHAUHAN, Pankaj; CLARKE, Edmund M; KROENINA, Daniel et al.Design automation conference. 2004, pp 524-529, isbn 1-58113-828-8, 6 p.Conference Paper

Test vector generation and classification using FSM traversalsMARCZYNSKI, Ralph; THORNTON, Mitchell A; SZYGENDA, Stephen A et al.IEEE International Symposium on Circuits and Systems. 2004, pp 309-312, isbn 0-7803-8251-X, 4 p.Conference Paper

Classification of SAR images through a convex hull region oriented approachD'OLIVEIRA, Simith T; DE CARVALHO, Francisco De A. T; DE SOUZA, Renata M. C. R et al.Lecture notes in computer science. 2004, pp 769-774, issn 0302-9743, isbn 3-540-23931-6, 6 p.Conference Paper

Constraint-based model checking for parameterized synchronous systemsDELZANNO, Giorgio.Lecture notes in computer science. 2002, pp 72-86, issn 0302-9743, isbn 3-540-43381-3Conference Paper

A cancellation-free algorithm for the symbolic analysis of circuits containing current conveyorsLASOTA, S; MALCHER, A.International conference on signals and electronic systems. 2005, pp 171-174, isbn 83-906074-7-6, 1Vol, 4 p.Conference Paper

Making collaborative group recommendations based on modal symbolic dataQUEIROZ, Sérgio R. De M; DE CARVALHO, Francisco De A. T.Lecture notes in computer science. 2004, pp 307-316, issn 0302-9743, isbn 3-540-23237-0, 10 p.Conference Paper

Fast time-domain symbolic simulation for synthesis of sigma-delta analog-digital convertersHUI ZHANG; DOBOLI, Alex.IEEE International Symposium on Circuits and Systems. 2004, pp 125-128, isbn 0-7803-8251-X, 4 p.Conference Paper

The dynamics of expansive invertible onesided cellular automataNASU, Masakazu.Transactions of the American Mathematical Society. 2002, Vol 354, Num 10, pp 4067-4084, issn 0002-9947Article

Mechanization of an integrated approach: Shallow embedding into SAL/PVSATTIOGBE, J. Christian.Lecture notes in computer science. 2002, pp 120-131, issn 0302-9743, isbn 3-540-00029-1, 12 p.Conference Paper

Characterizing the dynamics of coupled pendulums via symbolic time series analysisDE POLSI, G; CABEZA, C; MARTI, A. C et al.The European physical journal. Special topics. 2013, Vol 222, Num 2, pp 501-510, issn 1951-6355, 10 p.Article

Some Analyses of Interval DataBILLARD, Lynne.Information technology interfaces. 2008, pp 3-11, isbn 978-953-7138-12-7, 1Vol, 9 p.Conference Paper

Precise static type analysis for object oriented programsKUMAR, Rajeev; CHAKRABORTY, Soham S.ACM SIGPLAN notices. 2007, Vol 42, Num 2, pp 17-26, issn 1523-2867, 10 p.Article

A per-test fault diagnosis method based on the X-fault modelWEN, Xiaoqing; KAJIHARA, Seiji; MIYASE, Kohei et al.IEICE transactions on information and systems. 2006, Vol 89, Num 11, pp 2756-2765, issn 0916-8532, 10 p.Article

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability AnalysisCHUNG, Ming-Ying; CIARDO, Gianfranco; YU, Andy Jinqing et al.Lecture notes in computer science. 2006, pp 51-66, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper