Andrei Voronkov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged higher-order transformations

Transformation of General Binary MRF Minimization to the First-Order CaseHiroshi Ishikawa. pami, 33(6):1234-1249, 2011. [doi]

Darboux transformation and explicit solutions for the integrable sixth-order KdV equation for nonlinear wavesXiao-Yong Wen, Yi-Tian Gao, Lei Wang. amc, 218(1):55-60, 2011. [doi]

Limitations on Transformations from Composite-Order to Prime-Order Groups: The Case of Round-Optimal Blind SignaturesSarah Meiklejohn, Hovav Shacham, David Mandell Freeman. asiacrypt 2010: 519-538 [doi]

The Cole-Hopf transformation and multiple soliton solutions for the integrable sixth-order Drinfeld-Sokolov-Satsuma-Hirota equationAbdul-Majid Wazwaz. amc, 207(1):248-255, 2009. [doi]

Transformation of linear non-homogeneous differential equations of the second order to homogeneousMiloje Rajovic, Rade Stojiljkovic, Dragan Dimitrovski. cma, 57(4):604-611, 2009. [doi]

Connectivity preserving transformations for higher dimensional binary imagesAnvesh Komuravelli, Arnab Sinha, Arijit Bishnu. DAM, 157(16):3372-3385, 2009. [doi]

Szego transformations and Nth order associated polynomials on the unit circleLuis Garza, Francisco Marcellán. cma, 57(10):1659-1671, 2009. [doi]

Quasi-Affine Transformation in Higher DimensionValentin Blot, David Coeurjolly. dgci 2009: 493-504 [doi]

Polyhedral transformation for indexed rank order correlation queriesPhilon Nguyen, Nematollaah Shiri. CIKM 2008: 1477-1478 [doi]

Matrix transformations and compact operators on some new mth-order difference sequencesIvana Djolovic, Eberhard Malkowsky. amc, 198(2):700-714, 2008. [doi]

Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real TransformationsShunsuke Koshita, Yousuke Mizukami, Taketo Konno, Masahide Abe, Masayuki Kawamata. ieicet, 91-A(2):575-583, 2008. [doi]

Transformation of a Mamdani FIS to First Order Sugeno FISJavad Jassbi, S. H. Alavi, Paulo J. A. Serra, Rita Almeida Ribeiro. fuzzIEEE 2007: 1-6 [doi]

Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real TransformationsShunsuke Koshita, Yousuke Mizukami, Taketo Konno, Masahide Abe, Masayuki Kawamata. iscas 2007: 2248-2251 [doi]

Invariance of Second-Order Modes of Linear Continuous-Time Systems under Typical Frequency TransformationsMasayuki Kawamata, Yousuke Mizukami, Shunsuke Koshita. ieicet, 90-A(7):1481-1486, 2007. [doi]

A Nonparametric Statistical Test for Chaos: Cumulative periodogram under an Order TransformationDejian Lai. IJBC, 17(8):2815-2820, 2007. [doi]

Analysis of Second-Order Modes of Linear Discrete-Time Systems under Bounded-Real TransformationsShunsuke Koshita, Masahide Abe, Masayuki Kawamata. ieicet, 90-A(11):2510-2515, 2007. [doi]

On the Euler-Imshenetskii-Darboux transformation of linear second-order equationsL. M. Berkovich, S. A. Evlakhov. pcs, 32(3):154-165, 2006. [doi]

On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculiPatricia Johann. mscs, 15(2):201-229, 2005. [doi]

A novel property of the second-order modes of discrete-time systems under variable transformationShunsuke Koshita, Masahide Abe, Masayuki Kawamata. iscas 2005: 972-975 [doi]

Order-Preserving Transformations and Greedy-Like AlgorithmsSpyros Angelopoulos. waoa 2005: 197-210 [doi]

Differential transformation technique for solving higher-order initial value problemsI. H. Abdel-Halim Hassan. amc, 154(2):299-311, 2004. [doi]

A first-order one-pass CPS transformationOlivier Danvy, Lasse R. Nielsen. TCS, 308(1-3):239-257, 2003. [doi]

Correctness of a Higher-Order Removal Transformation through a Relational ReasoningSusumu Nishimura. aplas 2003: 358-375 [doi]

On the invariance of the second-order modes of continuous-time systems under general frequency transformation [analog filters]Masayuki Kawamata. iscas 2003: 505-508 [doi]

A First-Order One-Pass CPS TransformationOlivier Danvy, Lasse R. Nielsen. fossacs 2002: 98-113 [doi]

On the invariance of second-order modes under frequency transformation in 2-D separable denominator digital filtersMasayuki Kawamata, Shunsuke Koshita. iscas 2002: 777-780 [doi]

Semantical Evaluations as Monadic Second-Order Compatible Structure TransformationsBruno Courcelle. fossacs 2002: 1-4 [doi]

Invarianceness of Higher Order Centralised Scaled-invariants Undergo Basic TransformationsSiti Mariyam Hj. Shamsuddin, Md Nasir Sulaiman, Maslina Darus. ijcm, 79(1):39-48, 2002. [doi]

An Analysis of the UNICAFE Experience and its Implications for IT Induced Business Transformation in Higher EducationPanos Louvieris, Andrew Lockwood. ecis 2001: 1098-1109 [doi]

Elimination of Equality via Transformation with Ordering ConstraintsLeo Bachmair, Harald Ganzinger, Andrei Voronkov. cade 1998: 175-190 [doi]

Integral transformation with low-order scaling for large local second-order Møller-Plesset calculationsGuntram Rauhut, Peter Pulay, Hans-Joachim Werner. jcc, 19(11):1241-1254, 1998. [doi]

On Essential Premises for the Transformation OrderAlfons Geser. eatcs, 65:139-142, 1998.

Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable OrderingJan Behrens, Stephan Waack. STACS 1998: 227-237

Termination Transformation by Tree Lifting OrderingTakahito Aoto, Yoshihito Toyama. RTA 1998: 256-270 [doi]

Potential-Driven Statistical Ordering of TransformationsInki Hong, Darko Kirovski, Miodrag Potkonjak. dac 1997: 347-352 [doi]

Automatic Termination Proofs With Transformation OrderingsJoachim Steinbach. RTA 1995: 11-25

Fast, Randomized Join-Order Selection - Why Use Transformations?César A. Galindo-Legaria, Arjan Pellenkoft, Martin L. Kersten. VLDB 1994: 85-95 [doi]

Undoing Code Transformations in an Independent OrderChyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang. icpp 1994: 108-115

Using Transformations in the Implementations of Higher-Order FunctionsHanne Riis Nielson, Flemming Nielson. JFP, 1(4):459-494, 1991.

Cassettes of the Streptoalloteichus hindustanus ble gene for transformation of lower and higher eukaryotes to phleomycin resistanceD. Drocourt, T. Calmels, J. P. Reynes, M. Baron, G. Tiraby. nar, 18(13):4009, 1990.

An Approach to Ordering Optimizing TransformationsDeborah Whitfield, Mary Lou Soffa. ppopp 1990: 137-146

An Equivalence Preserving First Order Unfold/fold Transformation SystemTaisuke Sato. icalp 1990: 173-188

Transformations on Higher-Order FunctionsHanne Riis Nielson, Flemming Nielson. fpca 1989: 129-143 [doi]

Higher-Order Unification Revisited: Complete Sets of TransformationsWayne Snyder, Jean H. Gallier. JSC, 8(1/2):101-140, 1989.

Higher-Order Transformations and Type SimulationsMartin C. Henson. cj, 31(6):517-524, 1988.

Transformation OrderingFrançoise Bellegarde, Pierre Lescanne. tapsoft 1987: 69-80

Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via TransformationIan A. Mason. lics 1986: 105-117

Order-Preserving Key TransformationsAnil K. Garg, C. C. Gotlieb. TODS, 11(2):213-234, 1986. [doi]

Proving and Applying Program Transformations Expressed with Second-Order PatternsGérard P. Huet, Bernard Lang. ACTA, 11:31-55, 1978.

A Study of Order Transformations of Hierarchical Structures in IMS Data BaseJames W. Mehl, C. P. Wang. SIGMOD 1974: 125-139 [doi]

runs on WebDSL