Chris Verhoef - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged algebra

Congruences on Dynamic AlgebrasSandra Marques Pinto, M. Teresa Oliveira-Martins, M. Céu Pinto. igpl, 16(1):15-31, 2008. [doi]

Basic Hoops: an Algebraic Study of Continuous ::::t:::: -normsP. Aglianò, Isabel M. A. Ferreirim, Franco Montagna. sLogica, 87(1):73-98, 2007. [doi]

Discrete Dualities for Heyting Algebras with OperatorsEwa Orlowska, Ingrid Rewitzky. FUIN, 81(1-3):275-295, 2007. [doi]

Quasi-interpolation in the Fourier algebraHans Georg Feichtinger, Norbert Kaiblinger. jat, 144(1):103-118, 2007. [doi]

Inverse polynomial images which consists of two Jordan arcs - An algebraic solutionKlaus Schiefermayr. jat, 148(2):148-157, 2007. [doi]

Polynomial equations with one catalytic variable, algebraic series and map enumerationMireille Bousquet-Mélou, Arnaud Jehanne. JCT, 96(5):623-672, 2006. [doi]

A free subalgebra of the algebra of matroidsHenry Crapo, William Schmitt. ejc, 26(7):1066-1085, 2005. [doi]

ICS: a package for computing involutive characteristic set of algebraic partial differential equation systemsShan-Qing Zhang, Gui-Xu Zhang, Zhi-Bin Li. amc, 160(2):551-577, 2005. [doi]

Clifford algebra-valued orthogonal polynomials in Euclidean spaceF. Brackx, N. De Schepper, F. Sommen. jat, 137(1):108-122, 2005. [doi]

Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, ProceedingsCharles Rattray, Savi Maharaj, Carron Shankland, editors, Volume 3116 of Lecture Notes in Computer Science, Springer, 2004.

Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, ProceedingsJaime Gutierrez, editor, ACM, 2004.

Inequalities of Rafalson type for algebraic polynomialsK. H. Kwon, D. W. Lee. jat, 128(2):175-186, 2004. [doi]

A Goppa-like bound on the trellis state complexity of algebraic-geometric codesCarlos Munuera, Fernando Torres. TIT, 49(3):733-737, 2003.

A note on Tutte polynomials and Orlik-Solomon algebrasRaul Cordovil, David Forge. ejc, 24(8):1081-1087, 2003. [doi]

Algebraic properties of a digraph and its line digraphCamino Balbuena, Daniela Ferrero, Xavier Marcote, Ignacio M. Pelayo. join, 4(4):377-393, 2003. [doi]

Computer Algebra System Maple: A New Software LibraryVictor Aladjev. iccS 2003: 711-717 [doi]

Use of algebraically independent numbers for zero recognition of polynomial termsDaniel Richardson, Ahmed El-Sonbaty. jc, 19(5):631-637, 2003. [doi]

Computation AlgebrasMichal Walicki, Magne Haveraaen, Sigurd Meldal. mscs, 11(5):597-636, 2001.

Lower Bounds for Dynamic Algebraic ProblemsGudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen. iandc, 171(2):333-349, 2001. [doi]

An Extremal Relation of the Theory of Approximation of Functions by Algebraic PolynomialsSemyon Rafalson. jat, 110(2):146-170, 2001. [doi]

The Whitney Algebra of a MatroidHenry Crapo, William Schmitt. JCT, 91(1-2):215-263, 2000. [doi]

Efficient Representation and Algebraic Manipulation of Infinite Relations in Paraconsistent DatabasesNicholas Q. Trân, Rajiv Bagai. is, 25(8):491-502, 2000. [doi]

A Kleene Theorem for Lindenmayerian Algebraic Power SeriesZoltán Ésik, Werner Kuich. jalc, 5(2):109-122, 2000.

Finite algebras of finite complexityKeith A. Kearnes, Emil W. Kiss. DM, 207(1-3):89-135, 1999. [doi]

Guarded Algebras: Disguising Partiality so You Won t Know Whether It s ThereMagne Haveraaen, Eric G. Wagner. WADT 2000: 182-200

Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, ProceedingsArmando Martin Haeberer, editor, Volume 1548 of Lecture Notes in Computer Science, Springer, 1999.

Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected PapersJosé Luiz Fiadeiro, editor, Volume 1589 of Lecture Notes in Computer Science, Springer, 1999.

Lower Bounds for Dynamic Algebraic ProblemsGudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen. STACS 1999: 362-372 [doi]

The Computational Complexity of Some Problems of Linear AlgebraJonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey Shallit. jcss, 58(3):572-596, 1999.

Algebra of Communicating Processes - Preface to the Special IssueAlban Ponse, Chris Verhoef, Bas van Vlijmen. TCS, 177(2):285-286, 1997. [doi]

A General Conservative Extension Theorem in Process Algebras with InequalitiesPedro R. D Argenio, Chris Verhoef. TCS, 177(2):351-380, 1997. [doi]

The Computational Complexity of Some Problems of Linear Algebra (Extended Abstract)Jonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey Shallit. STACS 1997: 451-462

The Computational Complexity of Some Problems of Linear AlgebraJonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey Shallit. eccc, 4(9), 1997. [doi]

Horn sentences in Post algebrasDragic Bankovic. DM, 173(1-3):269-275, 1997. [doi]

On Dynamic Algorithms for Algebraic ProblemsJohn H. Reif, Stephen R. Tate. jal, 22(2):347-371, 1997.

Thermophysical Algebraic Invariants from Infrared Imagery for Object RecognitionJonathan D. Michel, Nagaraj Nandhakumar, Vincent J. Velten. pami, 19(1):41-51, 1997. [doi]

Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected PapersFrancesco Parisi-Presicce, editor, Volume 1376 of Lecture Notes in Computer Science, Springer, 1997.

Algebra and Theory of Order-Deterministic PomsetsArend Rensink. ndjfl, 37(2):283-320, 1996.

A General Conservative Extension Theorem in Process AlgebraChris Verhoef. procomet 1994: 149-168

On the Parallel Complexity of Iterated Multiplication in Rings of Algebraic IntegersStephan Waack. cfcp 1994: 35-44

Algebraic Nonlinearity and Its Applications to CryptographyLuke O Connor, Andrew Klapper. joc, 7(4):213-227, 1994.

Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion ProblemsJosé Meseguer, Joseph A. Goguen. iandc, 103(1):114-158, March 1993.

Decompositions and Projections in Equivalential AlgebrasKatarzyna Slomczynska. rml, 26:11-24, 1992.

Normal Retractions in Ordered Equivalential AlgebrasKatarzyna Slomczynska. rml, 26:75-87, 1992.

A set of level 3 basic linear algebra subprogramsJack Dongarra, Jeremy Du Croz, Sven Hammarling, Iain S. Duff. TOMS, 16(1):1-17, 1990. [doi]

Incidence algebra antipodes and lagrange inversion in one and several variablesMark D. Haiman, William Schmitt. JCT, 50(2):172-185, 1989. [doi]

Petri Nets Are Monoids: A New Algebraic Foundation for Net TheoryJosé Meseguer, Ugo Montanari. lics 1988: 155-164

On expansion of algebraic functions in power and Puiseux series, IID. V. Chudnovsky, G. V. Chudnovsky. jc, 3(1):1-25, 1987. [doi]

Factoring Polynomials Over Algebraic Number FieldsPeter J. Weinberger, Linda Preiss Rothschild. TOMS, 2(4):335-350, 1976. [doi]

A Decomposition Theorem for Hyper-Algebraic Extensions of Language FamiliesJan van Leeuwen, Derick Wood. TCS, 1(3):199-214, 1976.

runs on WebDSL