6 papers:
 HCI-IT-2015-MurataM #analysis #eye tracking #using HCI-IT-2015-MurataM #analysis #eye tracking #using
- Nonlinear Dynamical Analysis of Eye Movement Characteristics Using Attractor Plot and First Lyapunov Exponent (AM, TM), pp. 78–85.
 IJCAR-2010-BensaidCP #graph #integer IJCAR-2010-BensaidCP #graph #integer
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (HB, RC, NP), pp. 369–383.
 CADE-2009-BensaidCP #integer #named #proving #theorem proving CADE-2009-BensaidCP #integer #named #proving #theorem proving
- Dei: A Theorem Prover for Terms with Integer Exponents (HB, RC, NP), pp. 146–150.
 DLT-2006-Krieger #fixpoint #morphism #on the DLT-2006-Krieger #fixpoint #morphism #on the
- On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
 ICPR-1998-TangYF #detection ICPR-1998-TangYF #detection
- Characterization and detection of edges by Lipschitz exponents and MASW wavelet transform (YYT, LY, LF), pp. 1572–1574.
 RTA-1998-Schmidt-SchaussS #equation #on the RTA-1998-Schmidt-SchaussS #equation #on the
- On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.