The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Algebraic with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1959 (21) 1960-1961 (15) 1962-1965 (21) 1966 (31) 1967 (19) 1968-1969 (23) 1970 (16) 1971 (77) 1972 (20) 1973 (23) 1974 (31) 1975 (35) 1976 (81) 1977 (40) 1978 (37) 1979 (132) 1980 (96) 1981 (108) 1982 (74) 1983 (79) 1984 (119) 1985 (141) 1986 (170) 1987 (180) 1988 (310) 1989 (232) 1990 (315) 1991 (390) 1992 (266) 1993 (381) 1994 (326) 1995 (378) 1996 (415) 1997 (457) 1998 (418) 1999 (448) 2000 (530) 2001 (595) 2002 (561) 2003 (623) 2004 (724) 2005 (835) 2006 (957) 2007 (960) 2008 (994) 2009 (885) 2010 (583) 2011 (560) 2012 (585) 2013 (574) 2014 (593) 2015 (611) 2016 (604) 2017 (595) 2018 (579) 2019 (632) 2020 (678) 2021 (648) 2022 (673) 2023 (683) 2024 (160)
Publication types (Num. hits)
article(9734) book(95) incollection(245) inproceedings(11788) mastersthesis(1) phdthesis(343) proceedings(141)
Venues (Conferences, Journals, ...)
ISSAC(1880) CoRR(1291) J. Log. Algebraic Methods Prog...(927) AAECC(539) AMAST(471) IEEE Trans. Inf. Theory(281) IACR Cryptol. ePrint Arch.(271) WADT(256) RAMiCS(213) Theor. Comput. Sci.(189) J. Symb. Comput.(184) CDC(147) CAI(143) Appl. Math. Comput.(138) ALP(128) SYMSAC(127) More (+10 of total 2731)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7519 occurrences of 3198 keywords

Results
Found 22347 publication records. Showing 22347 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87Frederik Armknecht, Claude Carlet, Philippe Gaborit, Simon Künzli 0002, Willi Meier, Olivier Ruatta Efficient Computation of Algebraic Immunity for Algebraic and Fast Algebraic Attacks. Search on Bibsonomy EUROCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fast Algebraic Attacks, Boolean Functions, Stream Ciphers, Algebraic Attacks, Symmetric Functions, Algebraic Degree
76Frédéric Didier Using Wiedemann's Algorithm to Compute the Immunity Against Algebraic and Fast Algebraic Attacks. Search on Bibsonomy INDOCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fast algebraic attacks, Wiedemann’s algorithm, algebraic attacks, algebraic immunity
75Bruno Buchberger Algebraic Methods for Non-Linear Computational Geometry (Invited Address). Search on Bibsonomy SCG The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
72Enes Pasalic Almost Fully Optimized Infinite Classes of Boolean Functions Resistant to (Fast) Algebraic Cryptanalysis. Search on Bibsonomy ICISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fast Algebraic attacks, Algebraic Attack Resistant, High Degree Product, Boolean function, Stream ciphers, Algebraic Immunity, Annihilators
71J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao Algebraic general solutions of algebraic ordinary differential equations. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hermite-Padé approximants, algebraic differential equation, algebraic general solution, first order autonomous ODE, algebraic curve
67Ted Stanion, Carl Sechen Quasi-algebraic decompositions of switching functions. Search on Bibsonomy ARVLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF quasi-algebraic decompositions, algebraic product, binary Boolean operation, canonical manner, SSL testable, logic testing, testability, switching functions, switching functions, state assignment, minimisation of switching nets, benchmark circuits, circuit size
64Claude Carlet On the Higher Order Nonlinearities of Algebraic Immune Functions. Search on Bibsonomy CRYPTO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher order nonlinearity, Boolean function, stream cipher, block cipher, algebraic attack, algebraic immunity, algebraic degree
61Ekkart Kindler, Hagen Völzer Flexibility in Algebraic Nets. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Algebraic Petri nets, place invariants, verification techniques
59Xian-Mo Zhang, Josef Pieprzyk, Yuliang Zheng 0001 On Algebraic Immunity and Annihilators. Search on Bibsonomy ICISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hypergraph Theory, Greedy Algorithm, Algebraic Attacks, Algebraic Immunity
56Claude Carlet, Keqin Feng An Infinite Class of Balanced Functions with Optimal Algebraic Immunity, Good Immunity to Fast Algebraic Attacks and Good Nonlinearity. Search on Bibsonomy ASIACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean function, Stream cipher, Algebraic attack
55Chandrajit L. Bajaj Geometric Computations with Algebraic Varieties of Bounded Degree. Search on Bibsonomy SCG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
55WenYing Zhang, Chuankun Wu, XiangZhong Liu Construction and enumeration of Boolean functions with maximum algebraic immunity. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cryptography, Boolean function, algebraic attack, algebraic immunity
51Deshuai Dong, Shaojing Fu, Longjiang Qu, Chao Li 0002 A New Construction of Boolean Functions with Maximum Algebraic Immunity. Search on Bibsonomy ISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boolean Function, Algebraic Attacks, Balancedness, Algebraic Immunity
50Claude Carlet On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities. Search on Bibsonomy AAECC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Boolean function, stream cipher, resiliency, nonlinearity, algebraic attack, algebraic degree
50Renaud Rioboo Towards faster real algebraic numbers. Search on Bibsonomy ISSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF algebraic integers, real closure, sub-resultants, fractions, algebraic numbers, real closed fields
49Sultan Al-Hinai, Ed Dawson, Matthew Henricksen, Leonie Ruth Simpson On the Security of the LILI Family of Stream Ciphers Against Algebraic Attacks. Search on Bibsonomy ACISP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF filter function, stream ciphers, initialization, algebraic attacks, clock-control
47Na Li, Wen-Feng Qi 0001 Construction and Analysis of Boolean Functions of 2t+1 Variables with Maximum Algebraic Immunity. Search on Bibsonomy ASIACRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Boolean functions, resilience, nonlinearity, Algebraic attack, balancedness, algebraic immunity
47Yassir Nawaz, Guang Gong, Kishan Chand Gupta Upper Bounds on Algebraic Immunity of Boolean Power Functions. Search on Bibsonomy FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Inverse exponent, Kasami exponent, Niho exponent, Algebraic attacks, Algebraic immunity, Power functions, Polynomial functions
47An Braeken, Bart Preneel Probabilistic Algebraic Attacks. Search on Bibsonomy IMACC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Walsh spectrum, combination and filter generator, Algebraic attack, algebraic immunity, annihilator
47Manfred Broy, Martin Wirsing Invited Talk: Algebraic State Machines. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Yves Diers Affine Algebraic Varieties Relative to an Algebraic Theory. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF affine algebraic variety, irreducible algebra, algebraic theory
45Charles W. Wampler II Numerical algebraic geometry and kinematics. Search on Bibsonomy SNC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF robotics, kinematics, numerical algebraic geometry, homotopy continuation
45Shi Shu, Dudu Sun, Jinchao Xu An Algebraic Multigrid Method for Higher-order Finite Element Discretizations. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algebraic multigrid methods, geometric-based, unstructured grids, high-order finite element
45Frederik Armknecht, Matthias Krause 0001 Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF matroid union algorithm, boolean functions, algebraic attacks, Cryptographic primitives
44George Voutsadakis Categorical Abstract Algebraic Logic: Algebraizable Institutions. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
43Jin-San Cheng, Sylvain Lazard, Luis Mariano Peñaranda, Marc Pouget, Fabrice Rouillier, Elias P. Tsigaridas On the topology of planar algebraic curves. Search on Bibsonomy SCG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF effective algebraic geometry, topology of algebraic curves, exact geometric computation
43Longjiang Qu, Chao Li 0002 On the 2m-variable symmetric Boolean functions with maximum algebraic immunity. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algebraic attack, algebraic immunity, symmetric Boolean function
43Frédéric Didier, Jean-Pierre Tillich Computing the Algebraic Immunity Efficiently. Search on Bibsonomy FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Low degree multiple, Boolean functions, Stream ciphers, Algebraic attacks, Algebraic immunity, Annihilator
43Walter Dosch, Sönke Magnussen Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. Search on Bibsonomy SERA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Higher-order algebraic specification, refinement of data structure, algebraic implementation, transformation system
43Venkatesh Mysore, Bud Mishra Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. Search on Bibsonomy AB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Arno Eigenwillig, Michael Kerber, Nicola Wolpert Fast and exact geometric analysis of real algebraic plane curves. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF descartes method, sturm-habicht sequence, topology computation, algebraic curves, exact geometric computation, cylindrical algebraic decomposition
42Ruyong Feng, Xiao-Shan Gao Rational general solutions of algebraic ordinary differential equations. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Padé approximants, algebraic differential equation, autonomous first order ODE, rational general solution, rational parametrization, algebraic curve
41Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra Results on Algebraic Immunity for Cryptographically Significant Boolean Functions. Search on Bibsonomy INDOCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Walsh Spectra, Boolean Functions, Nonlinearity, Algebraic Attacks, Annihilators
41John Watrous On Quantum and Classical Space-bounded Processes with Algebraic Transition Amplitudes. Search on Bibsonomy FOCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF GapL functions, selective quantum processes, computational complexity theory, quantum computation, space-bounded computation, algebraic numbers
41Sabine Stifter Algebraic methods for computing inverse kinematics. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Gröbner bases, algebraic system solving, Inverse kinematics
41Chandrajit L. Bajaj, Insung Ihm Algebraic Surface Design with Hermite Interpolation. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF linear systems, computer-aided geometric design, Hermite interpolation, geometric continuity, Algebraic surface
40George Voutsadakis Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
40David J. Jeffrey, Pratibha, K. B. Roach Affine transformations of algebraic numbers. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF rootOf, affine transformation, algebraic numbers
39Nicolas T. Courtois Cryptanalysis of Sfinks. Search on Bibsonomy ICISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF solving systems of multivariate equations, fast algebraic attacks on stream ciphers, Boolean functions, stream ciphers, nonlinear filters, algebraic cryptanalysis
39Eric Berberich, Michael Kerber, Michael Sagraloff Exact geometric-topological analysis of algebraic surfaces. Search on Bibsonomy SCG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF topology computation, exact geometric computation, algebraic surfaces, cylindrical algebraic decomposition
39Na Li, Wen-Feng Qi 0001 Boolean functions of an odd number of variables with maximum algebraic immunity. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nonlinearity, algebraic attacks, algebraic immunity, correlation immunity
39Longjiang Qu, Chao Li 0002 Weight Support Technique and the Symmetric Boolean Functions with Maximum Algebraic Immunity on Even Number of Variables. Search on Bibsonomy Inscrypt The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Weight Support, Algebraic Attack, Algebraic Immunity, Symmetric Boolean Function
39S. Kazem Lellahi Conceptual Data Modeling: An Algebraic Viewpoint. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF conceptual model, meta-modeling, algebraic specification, algebraic semantics
39Hirobumi Nishida, Shunji Mori An Algebraic Approach to Automatic Construction of Structural Models. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF structural model automatic construction, shape prototypes, curve structure, algebraic representation, continuous transformation, learning (artificial intelligence), optical character recognition, character recognition, algebra, inductive learning, handwritten numerals, algebraic approach
39Christian Dimitrovici, Udo Hummert, Laure Petrucci Semantics, composition and net properties of algebraic high-level nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
38Liepa Bikulciené, Zenonas Navickas Expressions of Solutions of Linear Partial Differential Equations Using Algebraic Operators and Algebraic Convolution. Search on Bibsonomy NAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cauchy problem, perfect operator, algebraic convolution, Appell polynomials, Algebraic operator
37Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato Distributed Cooperative Formal Methods Tools. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed cooperative formal methods tools, distributed cooperative proving, proof editor, remote proof execution, distributed truth protocol, editor generator, algebraic semiotics, interface design, algebraic specification, algebraic specification
37Feng Liu, Keqin Feng Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cryptography, algebraic immunity, symmetric boolean function
37Simon Fischer 0002, Willi Meier Algebraic Immunity of S-Boxes and Augmented Functions. Search on Bibsonomy FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Augmented Function, Stream Cipher, Algebraic Attack, S-box, Trivium, Filter Generator
37Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. Search on Bibsonomy ECMDA-FA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF OCL queries and invariants, MDA, metamodeling, algebraic specification
37Raimund Seidel, Nicola Wolpert On the exact computation of the topology of real algebraic curves. Search on Bibsonomy SCG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computational geometry, robustness, algebraic curves, exact geometric computation
37Mohamed Tajine, Christian Ronse Hausdorff Discretizations of Algebraic Sets and Diophantine Sets. Search on Bibsonomy DGCI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Algebraic set, diophantine set, Hausdorff discretization, homogeneous metric
37Shouqing Zhang, Ling Li 0006, Hock Soon Seah Recursive algebraic curve fitting and rendering. Search on Bibsonomy Vis. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Vectorization, Recursive, Curve fitting, Algebraic curve
36Andrew Chi-Chih Yao Lower Bounds for Algebraic Computation Trees with Integer Inputs Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF integer inputs, topological lower bound, algebraic computation tree model, integral-constrained form, element distinctness, set disjointness, integer max gap, Milnor-Thom techniques, lower bounds, upper bounds, convex hull, Betti numbers, algebraic varieties, algebraic computation trees
36Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara Solution of algebraic riccati equations using the sum of roots. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algebraic riccati equation, gröbner basis, polynomial spectral factorization, sum of roots, control theory
36George Voutsadakis Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
36Erich L. Kaltofen, Pascal Koiran Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lang conjecture, lacunary polynomials, multivariate polynomials, polynomial-time complexity, polynomial factorization, sparse polynomials, height, algebraic numbers
36Marc Moreno Maza, Renaud Rioboo Polynomial Gcd Computations over Towers of Algebraic Extensions. Search on Bibsonomy AAECC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Polynomial gcd, zero dimensional systems, AXIOM, triangular sets, algebraic numbers, subresultants
36Helmuth Partsch Algebraic Specification: A Step Towards Future Software Engineering. Search on Bibsonomy Algebraic Methods The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
35Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen Factorization of Multi-Valued Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multi-valued logic function factorization, multi valued logic functions, rectangular covering problem, MVL algebraic factorization algorithm, MVL Boolean properties, purely algebraic factorization algorithm, multilevel implementation, Boolean method, MVL example functions, computational complexity, complexity, Boolean functions, multivalued logic
35Klaus Denecke, Dara Phusanga Hyperformulas and Solid Algebraic Systems. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS subject classification 03B50, 08A46, 08A30
35A. Jamakovic, Piet Van Mieghem On the Robustness of Complex Networks by Using the Algebraic Connectivity. Search on Bibsonomy Networking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Jovan Dj. Golic Vectorial Boolean functions and induced algebraic equations. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra Cryptographically Significant Boolean Functions: Construction and Analysis in Terms of Algebraic Immunity. Search on Bibsonomy FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Francois Anton A Certified Delaunay Graph Conflict Locator for Semi-algebraic Sets. Search on Bibsonomy ICCSA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Wen Chen 0011, Meng Joo Er Sliding mode observers for a class of uncertain differential-algebraic systems. Search on Bibsonomy ICARCV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari Transition Systems with Algebraic Structure as Models of Computations. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
35Johannes Henkel, Christoph Reichenbach, Amer Diwan Developing and debugging algebraic specifications for Java classes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Algebraic interpretation, specification discovery, algebraic specifications
35Nicolas T. Courtois, Blandine Debraize Algebraic Description and Simultaneous Linear Approximations of Addition in Snow 2.0.. Search on Bibsonomy ICICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Snow 2.0, stream ciphers, algebraic immunity, algebraic cryptanalysis, Modular addition, multivariate quadratic equations
35Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas On the complexity of real solving bivariate systems. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF real algebraic number, realsolving, topology of real algebraic curve, maple, polynomial system
35Claudia I. Horta, José A. Lima Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
35Wendy MacCaull Finite Algebraic Models for Residuated Logic. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
35J. Rafael Sendra, Juana Sendra An algebraic analysis of conchoids to algebraic curves. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Dima Grigoriev, Anatol Slissenko Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane. Search on Bibsonomy AAECC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov Solving Algebraic Systems which Arise as Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Equations. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF REDUCE, IBM PC
34Sonia Pérez-Díaz, J. Rafael Sendra Partial degree formulae for rational algebraic surfaces. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial degrees of an algebraic surface, rational map degree, rational surface parametrization, algebraic surface
34Huahao Shou, Jie Shen 0009, David Yoon Robust Plotting of Polar Algebraic Curves, Space Algebraic Curves, and Offsets of Planar Algebraic Curves. Search on Bibsonomy Reliab. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Richard J. Fateman Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. Search on Bibsonomy ISSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
34Ron Weiss, Andrzej Duda, David K. Gifford Composition and Search with a Video Algebra. Search on Bibsonomy IEEE Multim. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF algebraic video, video algebra, video indexing and searching, content-based retrieval, video databases
33Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater Practical Algebraic Attacks on the Hitag2 Stream Cipher. Search on Bibsonomy ISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hitag 2 algorithm, MiFare Crypto-1 cipher, Gröbner bases, Boolean functions, stream ciphers, RFID tags, SAT solvers, algebraic cryptanalysis
33Guang Gong Sequences, DFT and Resistance against Fast Algebraic Attacks. Search on Bibsonomy SETA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fast algebraic attack, bases, trace representations, stream ciphers, Discrete Fourier transform, polynomials, LFSR, m-sequences
33Eric Berberich, Michael Sagraloff A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF surface analysis, framework, topology, meshing, generic programming, geometry, algebraic surfaces, quadrics, space curves, lower envelopes
33Sultan Al-Hinai, Lynn Margaret Batten, Bernard D. Colbert Mutually Clock-Controlled Feedback Shift Registers Provide Resistance to Algebraic Attacks. Search on Bibsonomy Inscrypt The full citation details ... 2007 DBLP  DOI  BibTeX  RDF stream cipher, algebraic attacks, clock-control
33Josep Maria Font Beyond Rasiowa's Algebraic Approach to Non-classical Logics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF implicative logics, equivalential logics, Leibniz hierarchy, generalized matrices, Gentzen systems, Frege hierarchy, algebraizable logics, Abstract algebraic logic
33Shi Shu, Jinchao Xu, Ying Yang 0014, Haiyuan Yu An algebraic multigrid method for finite element systems on criss-cross grids. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF algebraic multigrid method, criss-cross grids, finite element, convergence analysis
33Saugata Basu, Richard Pollack, Marie-Françoise Roy Computing the first Betti number and the connected components of semi-algebraic sets. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF single exponential algorithms, Betti numbers, homology groups, semi-algebraic sets
33Jeremy Yermiyahou Kaminski, Amnon Shashua Multiple View Geometry of General Algebraic Curves. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Kruppa''s equations, 3D reconstruction, structure from motion, epipolar geometry, algebraic curves, multiple-view geometry
33Joo Yeon Cho, Josef Pieprzyk Algebraic Attacks on SOBER-t32 and SOBER-t16 without Stuttering. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SOBER-t32, SOBER-t16, stream ciphers, linearization, Algebraic attack, NESSIE, modular addition, multivariate equations
33Jung Hee Cheon, Dong Hoon Lee 0002 Resistance of S-Boxes against Algebraic Attacks. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Differential Uniformity, Boolean Functions, Nonlinearity, Algebraic Attack, S-boxes
33Dong Hoon Lee 0002, Jaeheon Kim, Jin Hong 0001, Jae Woo Han, Dukjae Moon Algebraic Attacks on Summation Generators. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF summation generators, stream ciphers, algebraic attacks
33Falai Chen, Xing Tang G2 Blending of Corners with Piecewise Algebraic Surfaces. Search on Bibsonomy PG The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Piecewise algebraic surface, blending, geometric continuity
33Nicolas T. Courtois Fast Algebraic Attacks on Stream Ciphers with Linear Feedback. Search on Bibsonomy CRYPTO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF combiners with memory, LFSR synthesis, Toyocrypt, Cryptrec, LILI-128, E0, Boolean functions, stream ciphers, Bluetooth, nonlinear filters, Algebraic attacks, Berlekamp-Massey algorithm, Nessie, multivariate equations
33John V. Tucker, Jeffery I. Zucker Abstract computability and algebraic specification. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Abstract computability, conditional equations, metric algebras, topological algebras, algebraic specification, computable analysis, equational logic
33Chandrajit L. Bajaj, Insung Ihm, Joe D. Warren Higher-Order Interpolation and Least-Squares Approximation Using Implicit Algebraic Surfaces. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF constrained quadratic optimization, distributed geometric-design environment, computer-aided geometric design, geometric continuity, algebraic surface
33Jeremy Gibbons Calculating Functional Programs. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete numerical algorithm, evaluation bound, implicit algebraic curve, root bound, meshing, singularity, subdivision algorithm
32Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost Differential equations for algebraic functions. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algebraic series, creative telescoping, differential resolvents, complexity, computer algebra
32Miodrag J. Mihaljevic, Marc P. C. Fossorier, Hideki Imai A General Formulation of Algebraic and Fast Correlation Attacks Based on Dedicated Sample Decimation. Search on Bibsonomy AAECC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF overdefined systems of nonlinear equations, state transition matrix, cryptanalysis, stream ciphers, decoding, LFSRs, algebraic attacks, fast correlation attack, decimation, keystream generators
32Patrícia D. L. Machado On Oracles for Interpreting Test Results against Algebraic Specifications. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal verification, correctness, algebraic specification, specification based-testing, oracle
Displaying result #1 - #100 of 22347 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license