journals/jql/Nagy98:::Gábor Tolcsvai Nagy:::Quantity and Style from a Cognitive Point of View.
journals/jql/Prun94:::Claudia Prün:::Validity of Menzerath-Altmann's Law: Graphic Representation of Language, Information Processing Systems and Synergetic Linguistics.
journals/jql/Zuse96:::Maria Zuse:::Distribution of Word Length in Early Modern English Letters of Sir Philip Sidney.
journals/jql/FurugoriA99:::Teiji Furugori::Eduardo de Paiva Alves:::Disambiguation of Syntactic Structures Using the Strength of Association in Three Word Dependency Relations.
journals/jql/Baayen94:::R. Harald Baayen:::Derivational Productivity and Text Typology.
journals/jql/MartindaleGMB96:::Colin Martindale::S. M. Gusein-Zade::Dean McKenzie::Mark Yu Borodovsky:::Comparison of Equations Describing the Ranked Frequency Distributions of Graphemes and Phonemes.
journals/jql/Perebeynoss97:::Valentina Perebeynoss:::English Conjugation and Some of its Functional Characteristics.
journals/jql/BoschCDG94:::Antal van den Bosch::Alain Content::Walter Dealemans::Beatrice De Gelder:::Measuring the Complexity of Writing Systems.
journals/jql/Andreev97:::S. Andreev:::Classification of Verbal Characteristics Based on their Implication Force by Means of Cluster- and Factor Analysis.
journals/jql/Sorvali98:::Irma Sorvali:::A Quantitative Approach to Translation.
journals/jql/Steiner95:::Petra Steiner:::Effects of Polylexy on Compounding.
journals/jql/Baskevic95:::Valentina Baskevic:::Semantic Correlations as Basic Means for Modeling the Lexico-Semantic System.
journals/jql/Nemcova94:::Emília Nemcová:::On Two Realizations of Menzerath's Law.
journals/jql/Pawlowski99a:::Adam Pawlowski:::The Quantitative Approach in Cultural Anthropology: Application of Linguistic Corpora in the Analysis of Basic Colour Terms.
journals/jsa/FernandezMM97:::J. M. Fernández::F. Moreno::Juan M. Meneses:::An approach to the design of RISC core processors for VLSI embedded systems.
journals/jsa/KimCC97:::Byung-gi Kim::Hoon Chang::Jung Wan Cho:::Methodology for ensuring high reliability of VLSI systems.
journals/jsa/StottSG97:::I. J. Stott::D. A. Sanders::M. J. Goodwin:::A software algorithm for the intelligent mixing of inputs to a tele-operated vehicle.
journals/jsa/ZumerKM97:::Viljem Zumer::Nikolaj Korbar::Marjan Mernik:::Automatic implementation of programming languages using object oriented approach.
journals/jsa/MunMK97:::Youngsong Mun::Kyung-Sun Min::Youngsik Kim:::Performance evaluation of switching networks.
journals/jsc/BescheE99:::H. U. Besche::Bettina Eick:::Construction of Finite Groups.
journals/jsc/BescheE99a:::H. U. Besche::Bettina Eick:::The Groups of Order at Most 1000 Except 512 and 768.
journals/jsc/Bach94:::Eric Bach:::Tensor Products and Computability.
journals/jsc/Schorn93:::Peter Schorn:::An Axiomatic Approach to Robust Geometric Programs.
journals/jsc/BorodinFHT85:::Allan Borodin::Ronald Fagin::John E. Hopcroft::Martin Tompa:::Decreasing the Nesting Depth of Expressions Involving Square Roots.
journals/jsc/Fulling90:::S. A. Fulling:::The Analytic Approach to Recursion Relations.
journals/jsc/BachS90:::Eric Bach::Victor Shoup:::Factoring Polynomials Using Fewer Random Bits.
journals/jsc/Hoeij97b:::Mark van Hoeij:::Factorization of Differential Operators with Rational Functions Coefficients.
journals/jsc/HeubergerPT02:::Clemens Heuberger::Attila Pethö::Robert F. Tichy:::Thomas' Family of Thue Equations Over Imaginary Quadratic Fields.
journals/jsc/SendraW91:::J. Rafael Sendra::Franz Winkler:::Symbolic Parametrization of Curves.
journals/jsc/Cherry85:::Guy W. Cherry:::Integration in Finite Terms with Special Functions: the Error Function.
journals/jsc/BrownW03:::Ronald Brown::Christopher D. Wensley:::Computation and homotopical applications of induced crossed modules.
journals/jsc/SmolkaA89:::Gert Smolka::Hassan Aït-Kaci:::Inheritance Hierarchies: Semantics and Unification.
journals/jsc/MignotteS03:::Maurice Mignotte::Doru Stefanescu:::Linear recurrent sequences and polynomial roots.
journals/jsc/TummarakotaL96:::Srinivas Tummarakota::Junghsen Lieh:::Symbolic Finite Element Modeling of Structural Systems.
journals/jsc/GaoC93:::Xiao-Shan Gao::Shang-Ching Chou:::A Zero Structure Theorem for Differential Parametric Systems.
journals/jsc/KrystaP99:::Piotr Krysta::Leszek Pacholski:::The STO problem is NP-complete.
journals/jsc/Belinfante03:::Johan G. F. Belinfante:::Computer proofs about finite and regular sets: the unifying concept of subvariance.
journals/jsc/Slattery86:::Michael C. Slattery:::Computing Character Degrees in p-Groups.
journals/jsc/ByrneF01:::Eimear Byrne::Patrick Fitzpatrick:::Gröbner Bases over Galois Rings with an Application to Decoding Alternant Codes.
journals/jsc/Hoeij97:::Mark van Hoeij:::Rational Parametrizations of Algebraic Curves Using a Canonical Divisor.
journals/jsc/Pauli01:::Sebastian Pauli:::Factoring Polynomials Over Local Fields.
journals/jsc/HoY96:::Chung-Jen Ho::Chee-Keng Yap:::The Habicht Approch to Subresultants.
journals/jsc/LiW03:::Hongbo Li::Yihong Wu:::Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry.
journals/jsc/HongM02:::Hoon Hong::Manfred Minimair:::Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case.
journals/jsc/PirastuS95:::Roberto Pirastu::Kurt Siegl:::Parallel Computation and Indefinite Summation: A MAPLE Application for the Rational Case.
journals/jsc/Kida02:::Masanari Kida:::Potential Good Reduction of Elliptic Curves.
journals/jsc/GeorgievaHS03:::Lilia Georgieva::Ullrich Hustadt::Renate A. Schmidt:::Hyperresolution for guarded formulae.
journals/jsc/LiW03a:::Hongbo Li::Yihong Wu:::Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry.
journals/jsc/Letzter01:::Edward S. Letzter:::Constructing Irreducible Representations of Finitely Presented Algebras.
journals/jsc/CannyM92:::John F. Canny::Dinesh Manocha:::Implicit Representation of Rational Parametric Surfaces.
journals/jsc/Meer94:::Klaus Meer:::Real Number Computations: On the Use of Information.
journals/jsc/Mnuk97:::Michal Mnuk:::An Algebraic Approach to Computing Adjoint Curves.
journals/jsc/NefS90:::W. Nef::P. M. Schmidt:::Computing a Sweeping-Plane in Regular ("General") Position: A Numerical and a Symbolic Solution.
journals/jsc/AvisI90:::David Avis::H. Imai:::Locating a Robot with Angle Mathematics.
journals/jsc/Gessel95:::Ira M. Gessel:::Finding Identities with the WZ Method.
journals/jsc/KohlhaseF01:::Michael Kohlhase::Andreas Franke:::MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
journals/jsc/Rutman93:::Elizabeth W. Rutman:::Primary Decomposition of Modules: Two Variables over a Field.
journals/jsc/LeungC96:::Ho-Fung Leung::Keith L. Clark:::Constraint Satisfaction in Distributed Concurrent Logic Programming.
journals/jsc/Otto91:::Friedrich Otto:::When is an Extension of a Specification Consistent? Decidable and Undecidable Cases.
journals/jsc/AschenwaldST96:::Dieter Aschenwald::Thomas Siegl::Robert F. Tichy:::MAPinsure - A MAPLE Package for Life Insurance.
journals/jsc/OlivieriR03:::Aurora Olivieri::Ángel del Río:::An algorithm to compute the primitive central idempotents and the Wedderburn decomposition of a rational group algebra.
journals/jsc/RoyS90:::Marie-Françoise Roy::A. Szpirglas:::Complexity of the Computation on Real Algebraic Numbers.
journals/jsc/Rieger93:::J. H. Rieger:::Computing View Graphs of Algebraic Surfaces.
journals/jsc/Ryba01:::A. J. E. Ryba:::Condensation of Symmetrized Tensor Powers.
journals/jsc/Boyd93a:::David W. Boyd:::Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: II. The Smallest Factor.
journals/jsc/Compoint98:::Elie Compoint:::Differential Equations and Algebraic Relations.
journals/jsc/CosteR88:::Michel Coste::Marie-Françoise Roy:::Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets.
journals/jsc/CantoneGO88:::Domenico Cantone::Susanna Ghelfo::Eugenio G. Omodeo:::The Automation of Syllogistic I. Syllogistic Normal Forms.
journals/jsc/Tran00:::Quoc-Nam Tran:::A Fast Algorithm for Gröbner Basis Conversion and its Applications.
journals/jsc/Kaltofen87:::Erich Kaltofen:::Deterministic Irreducibility Testing of Polynomials over Large Finite Fields.
journals/jsc/Tung02:::Shih Ping Tung:::Approximate Solutions of Polynomial Equations.
journals/jsc/NemesP95:::István Nemes::Marko Petkovsek:::RComp: A Mathematica Package for Computing with Recursive Sequences.
journals/jsc/MiolaM88:::Alfonso Miola::Teo Mora:::Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods.
journals/jsc/Wolf00:::Thomas Wolf:::The Symbolic Integration of Exact PDEs.
journals/jsc/Wolf02:::Thomas Wolf:::Size Reduction and Partial Decoupling of Systems of Equations.
journals/jsc/AitkenGMT98:::J. Stuart Aitken::Philip D. Gray::Thomas F. Melham::Muffy Thomas:::Interactive Theorem Proving: An Empirical Study of User Activity.
journals/jsc/LascouxP03:::Alain Lascoux::Piotr Pragacz:::Double Sylvester sums for subresultants and multi-Schur functions.
journals/jsc/Robertson88:::Edmund F. Robertson:::Tietze Transformations with Weighted Substring Search.
journals/jsc/LaubenbacherS00a:::Reinhard C. Laubenbacher::Karen Schlauch:::An Algorithm for the Quillen-Suslin Theorem for Quotients of Polynomial Rings by Monomial Ideals.
journals/jsc/Kapur86:::Deepak Kapur:::Using Gröbner Bases to Reason About Geometry Problems.
journals/jsc/Rioboo03:::Renaud Rioboo:::Towards faster real algebraic numbers.
journals/jsc/Baader89:::Franz Baader:::Unification in Commutative Theories.
journals/jsc/HendricksS99:::P. A. Hendricks::Michael F. Singer:::Solving Difference Equations in Finite Terms.
journals/jsc/DoughertyJ92:::Daniel J. Dougherty::Patricia Johann:::An Improved General E-Unification Method.
journals/jsc/Bronstein00:::Manuel Bronstein:::On Solutions of Linear Ordinary Difference Equations in their Coefficient Field.
journals/jsc/KeanT94:::Alex Kean::George K. Tsiknis:::A Corrigendum for the Optimized-IPIA.
journals/jsc/GarbeyKLM91:::Marc Garbey::H. G. Kaper::G. K. Leaf::B. J. Matkowsky:::Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion.
journals/jsc/Plesken87:::W. Plesken:::Towards a Soluble Quotient Algorithm.
journals/jsc/OmodeoPP93:::Eugenio G. Omodeo::Franco Parlamento::Alberto Policriti:::A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets.
journals/jsc/McCallum88:::Scott McCallum:::An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space.
journals/jsc/GagneP96:::Jean-Raymond Gagné::John Plaice:::A Non-Standard Temporal Deductive Database System.
journals/jsc/KerberKL92:::Adalbert Kerber::Axel Kohnert::Alain Lascoux:::SYMMETRICA, an Object Oriented Computer-Algebra System for the Symmetric Group.
journals/jsc/DolzmannS97:::Andreas Dolzmann::Thomas Sturm:::Simplification of Quantifier-Free Formulae over Ordered Fields.
journals/jsc/GiesbrechtKL03:::Mark Giesbrecht::Erich Kaltofen::Wen-shin Lee:::Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases.
journals/jsc/Couveignes00:::Jean Marc Couveignes:::Boundary of Hurwitz Spaces and Explicit Patching.
journals/jsc/BoingK99:::Harald Böing::Wolfram Koepf:::Algorithms for q-Hypergeometric Summation in Computer Algebra.
journals/jsc/KrantzP91:::Steven G. Krantz::William H. Paulsen:::Asymptotic Eigenfrequency Distributions for the N-Beam Euler-Bernoulli Coupled Beam Equation with Dissipative Joints.
journals/jsc/BushLW03:::M. R. Bush::M. Leeming::Robert F. C. Walters:::Computing left Kan extensions.
journals/jsc/Koepf95:::Wolfram Koepf:::Algorithms for m-Fold Hypergeometric Summation.
journals/jsc/Butler85:::Gregory Butler:::Effective Computation with Group Homomorphisms.
journals/jsc/HearnS95:::Anthony C. Hearn::Eberhard Schrüfer:::A Computer Algebra System Based on Ordersorted Algebra.
journals/jsc/Rojas99:::J. Maurice Rojas:::Solving Degenerate Sparse Polynomial Systems Faster.
journals/jsc/ScholtenO89:::Hans W. Scholten::Mark H. Overmars:::General Methods for Adding Range Restrictions to Decomposable Searching Problems.
journals/jsc/Matusevich01:::Laura Felicia Matusevich:::Rank Jumps in Codimension 2A-hypergeometric Systems.
journals/jsc/Petermann00:::Uwe Petermann:::Connection Calculus Theorem Proving with Multiple Built-in Theories.
journals/jsc/Stembridge95:::John R. Stembridge:::A Maple Package for Symmetric Functions.
journals/jsc/Hofling01:::Burkhard Höfling:::Computing Projectors, Injectors, Residuals and Radicals of Finite Soluble Groups.
journals/jsc/Gathen87:::Joachim von zur Gathen:::Feasible Arithmetic Computations: Valiant's Hypothesis.
journals/jsc/CorlessJ97:::Robert M. Corless::David J. Jeffrey:::Scientific Computing: One Part of the Revolution.
journals/jsc/Yamamoto94:::Osami Yamamoto:::On Some Bounds for Zeros of Norm-Bounded Polynomials.
journals/jsc/Malle00:::Gunter Malle:::Multi-parameter Polynomials with Given Galois Group.
journals/jsc/Veigneau97:::Sébastien Veigneau:::SP, a Package for Schubert Polynomials Realized with the Computer Algebra System. MAPLE.
journals/jsc/Boston97:::Nigel Boston:::A Use of Computers to Teach Group Theory and Introduce Students to Research.
journals/jsc/GathenH98:::Joachim von zur Gathen::Silke Hartlieb:::Factoring Modular Polynomials.
journals/jsc/GathenP01:::Joachim von zur Gathen::Daniel Panario:::Factoring Polynomials Over Finite Fields: A Survey.
journals/jsc/Deutsch93:::Jesse Ira Deutsch:::Identities Arising From Hecke Transformations of Modular Forms Over Q(\surd2) and Q(\surd3).
journals/jsc/Smart96:::Nigel P. Smart:::Solving Discriminant Form Equations Via Unit Equations.
journals/jsc/Sofroniou94:::M. Sofroniou:::Symbolic Derivation of Runge-Kutta Methods.
journals/jsc/HendriksP95:::Peter A. Hendriks::Marius van der Put:::Galois Action on Solutions of a Differential Equation.
journals/jsc/Linton91:::Steve Linton:::Double Coset Enumeration.
journals/jsc/GreenHS01:::Edward L. Green::Lenwood S. Heath::Craig A. Struble:::Constructing Homomorphism Spaces and Endomorphism Rings.
journals/jsc/Helminck00:::Aloysius G. Helminck:::Computing Orbits of Minimal Parabolic k-subgroups Acting on Symmetric k-varieties.
journals/jsc/Hendriks98:::Peter A. Hendriks:::An Algorithm Determining the Difference Galois Group of Second Order Linear Difference Equations.
journals/jsc/MuraoKF93:::Hirokazu Murao::Hidetsune Kobayashi::Tetsuro Fujise:::On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -.
journals/jsc/FixHL96:::George Fix::Chih-Ping Hsu::Tie Luo:::Implicitization of Rational Parametric Surfaces.
journals/jsc/GaalP96:::István Gaál::Michael Pohst:::On the Resolution of Index form Equations in Sextic Fields with an Imaginary Quadratic Subfield.
journals/jsc/ChurchillK99:::R. C. Churchill::M. Kummer:::A Unified Approach to Linear and Nonlinear Normal Forms for Hamiltonian Systems.
journals/jsc/AcciaroK00:::Vincenzo Acciaro::Jürgen Klüners:::Computing Local Artin Maps, and Solvability of Norm Equations.
journals/jsc/Beckert03:::Bernhard Beckert:::Depth-first proof search without backtracking for free-variable clausal tableaux.
journals/jsc/EdelsbrunnerW86:::Herbert Edelsbrunner::Roman Waupotitsch:::Computing a Ham-Sandwich Cut in Two Dimensions.
journals/jsc/Peltier03a:::Nicolas Peltier:::A calculus combining resolution and enumeration for building finite models.
journals/jsc/SalvyS99:::Bruno Salvy::John Shackell:::Symbolic Asymptotics: Multiseries of Inverse Functions.
journals/jsc/KennawayKSV96:::Richard Kennaway::Jan Willem Klop::M. Ronan Sleep::Fer-Jan de Vries:::Comparing Curried and Uncurried Rewriting.
journals/jsc/Lynch97:::Christopher Lynch:::Oriented Equational Logic Programming is Complete.
journals/jsc/Khetan03:::Amit Khetan:::The resultant of an unmixed bivariate system.
journals/jsc/OBrien90:::E. A. O'Brien:::The p-Group Generation Algorithm.
journals/jsc/Walther00:::Uli Walther:::Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties.
journals/jsc/Kahoui03:::M'hammed El Kahoui:::An elementary approach to subresultants theory.
journals/jsc/Labelle95:::Gilbert Labelle:::Some Combinatorial Results First Found Using Computer Algebra.
journals/jsc/HermillerKL99:::S. M. Hermiller::X. H. Kramer::Reinhard C. Laubenbacher:::Monomial Orderings, Rewriting Systems, and Gröbner Bases for the Commutator Ideal of a Free Algebra.
journals/jsc/Fuchs00:::Marc Fuchs:::Controlled Use of Clausal Lemmas in Connection Tableau Calculi.
journals/jsc/TranW00:::Quoc-Nam Tran::Franz Winkler:::Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors.
journals/jsc/Dickerson92:::Matthew Dickerson:::The Inverse of an Automorphism in Polynomial Time.
journals/jsc/TsaiW01:::Harrison Tsai::Uli Walther:::Computing Homomorphisms Between Holonomic D-modules.
journals/jsc/DumasSV01:::Jean-Guillaume Dumas::B. David Saunders::Gilles Villard:::On Efficient Sparse Integer Matrix Smith Normal Form Computations.
journals/jsc/GollanO90:::Holger W. Gollan::T. W. Ostermann:::Operation of Class Sums on Permutation Modules.
journals/jsc/HaydenL98:::Michael B. Hayden::Edmund A. Lamagna:::NEWTON: An Interactive Environment for Exploring Mathematics.
journals/jsc/Morgenstern91:::Jacques Morgenstern:::Invariant and Geometric Aspects of Algebraic Complexity Theory I.
journals/jsc/Vidunas99:::Raimundas Vidunas:::Differential Equations of Order Two with One Singular Point.
journals/jsc/ScalaS98:::Roberto La Scala::Michael Stillman:::Strategies for Computing Minimal Free Resolutions.
journals/jsc/ButlerL85:::Gregory Butler::Clement W. H. Lam:::A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects.
journals/jsc/Kalkbrener94:::Michael Kalkbrener:::Prime Decompositions of Radicals in Polynomial Rings.
journals/jsc/Conlon90a:::S. B. Conlon:::Computing Modular and Projective Character Degrees of Soluble Groups.
journals/jsc/Villard95:::Gilles Villard:::Generalized Subresultants for Computing the Smith Normal Form of Polynomial Matrices.
journals/jsc/AutinB89:::B. Autin::J. Bengtsson:::Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory.
journals/jsc/Strzeboski00:::Adam Strzeboski:::Solving Systems of Strict Polynomial Inequalities.
journals/jsc/Weispfenning90:::Volker Weispfenning:::The Complexity of Almost Linear Diophantine Problems.
journals/jsc/AhmedV96:::Mohsin Ahmed::G. Venkatesh:::Dense Time Logic Programming.
journals/jsc/Gobel95:::Manfred Göbel:::Computing Bases for Rings of Permutation-Invariant Polynomials.
journals/jsc/Gobel98:::Manfred Göbel:::A Constructive Description of SAGBI Bases for Polynomial Invariants of Permutation Groups.
journals/jsc/CohenDO01:::Henri Cohen::Francisco Diaz y Diaz::Michel Olivier:::Algorithmic Methods for Finitely Generated Abelian Groups.
journals/jsc/GutierrezM98:::Jaime Gutierrez::Rosario Rubio San Miguel:::Reduced Gröbner Bases Under Composition.
journals/jsc/DeckerHS98:::Wolfram Decker::Agnes E. Heydtmann::Frank-Olaf Schreyer:::Generating a Noetherian Normalization of the Invariant Ring of a Finite Group.
journals/jsc/KounalisR91:::Emmanuel Kounalis::Michaël Rusinowitch:::On Word Problems in Horn Theories.
journals/jsc/CollinsH91:::George E. Collins::H. Hong:::Partial Cylindrical Algebraic Decomposition for Quantifier Elimination.
journals/jsc/KlunersM00:::Jürgen Klüners::Gunter Malle:::Explicit Galois Realization of Transitive Groups of Degree up to 15.
journals/jsc/GatermannH02:::Karin Gatermann::Birkett Huber:::A Family of Sparse Polynomial Systems Arising in Chemical Reaction Systems.
journals/jsi/MaineBJM99a:::Paul A. D. de Maine::Kenneth D. Bradley::Stephen Jodis::Margaret M. de Maine:::High-Speed Tools for Global Information Management, II: Specifications and Uses of the Transparent Query Language (TQL).
journals/jsi/ShengFTN01:::Fang Sheng::Xien Fan::Gary Thomas::Peter A. Ng:::A Knowledge-Based Approach to Effective Document Retrieval.
journals/jsi/LeeL01:::Victor C. S. Lee::Kwok-Wa Lam:::Algorithm to Process Read-only Transactions in Real-time Environments.
journals/jsi/Rine97:::David C. Rine:::Copying Errors in Object-Oriented Design.
journals/jsi/KuhnELB95:::eva Kühn::Ahmed K. Elmagarmid::Yungho Leu::Noureddine Boudriga:::A Parallel Logic Language for Transaction Specification in Multidatabase Systems.
journals/jsi/LeemO01:::Hoon Seong Leem::Bumyong Oh:::Evaluating Information Strategic Planning: An Evaluation System and Its Application.
journals/jsi/Motschnig-Pitrik95:::Renate Motschnig-Pitrik:::An Integrating View on the Viewing Abstraction: Contexts and Perspectives in Software Development, AI, and Databases.
journals/jsi/MokWW96:::Aloysius K. Mok::Rwo-Hsi Wang::Chih-Kan Wang:::Realizing EQL Programs for Bounded-Time Execution.
journals/jss/BiHN02:::Yaxin Bi::M. Elizabeth C. Hull::Peter N. Nicholl:::An XML approach for legacy code reuse.
journals/jss/KusumotoKMT96:::Shinji Kusumoto::Tohru Kikuno::Ken-ichi Matsumoto::Koji Torii:::Experimental Evaluation of Time Allocation Procedure for Technical Reviews.
journals/jss/KoriemP97:::Samir M. Koriem::Lalit M. Patnaik:::A Generalized Stochastic High-Level Petri Net Model for Performance Analysis.
journals/jss/ZhuJDB02:::Hong Zhu::Lingzi Jin::Dan Diaper::Ganghong Bai:::Software requirements validation via task analysis.
journals/jss/FinneyF96:::Kate Finney::Norman E. Fenton:::Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here.
journals/jss/Schmidt03:::Heinz W. Schmidt:::Trustworthy components - compositionality and prediction.
journals/jss/LuF96:::Jian Lu::Zongming Fei:::Verification of HOS Software Specification by a Hierarchical Software Understanding Approach.
journals/jss/Lakhotia97:::Arun Lakhotia:::A Unified Framework For Expressing Software Subsystem Classification Techniques.
journals/jss/MashikoB97:::Yasuhiro Mashiko::Victor R. Basili:::Using the GQM Paradigm to Investigate Influential Factors for Software Process Improvement.
journals/jss/Chin-ChenC97:::C. Chin-Chen::W. Chih-Hung:::A Locally Adaptive Data Compression Strategy for Chinese-English Characters.
journals/jss/Hazzan02:::Orit Hazzan:::The reflective practitioner perspective in software engineering education.
journals/jss/RainerH03:::Austen Rainer::Tracy Hall:::A quantitative and qualitative analysis of factors affecting software processes.
journals/jss/RehderPL97:::B. Rehder::Nancy Pennington::Adrienne Y. Lee:::Scoring the Completeness of Software Designs.
journals/jss/ShahW96:::P. Shah::J. Wong:::Concurrency Control in an Object-Oriented Data Base System.
journals/jss/ChungBK02:::Yon Dohn Chung::Su Ho Bang::Myoung-Ho Kim:::An efficient broadcast data clustering method for multipoint queries in wireless information systems.
journals/jss/BenanderBP96:::Alan C. Benander::Barbara A. Benander::H. Pu:::Recursion vs. Iteration: An Empirical Study of Comprehension.
journals/jss/Darwish02:::Nasir Darwish:::COPS: cooperative problem solving using DCOM.
journals/jss/ChangCW02:::Weng-Long Chang::Chih-Ping Chu::Jia-Hwa Wu:::A simple and general approach to parallelize loops with arbitrary control flow and uniform data dependence distances.
journals/jss/Glass96:::Robert L. Glass:::The Strange Case of the Proofreader's Pencil.
journals/mlq/Rathjen01:::Michael Rathjen:::Kripke-Platek Set Theory and the Anti-Foundation Axiom.
journals/mlq/Shavrukov96:::V. Yu. Shavrukov:::Remarks on Uniformly Finitely Precomplete Positive Equivalences.
journals/mlq/Bourgade01:::Ménard Bourgade:::Séparations et transferts dans la hi?rarchie polynomiale des groupes abéliens infinis.
journals/mlq/LiL03:::Dengfeng Li::Angsheng Li:::A minimal pair joining to a plus cupping Turing degree.
journals/mlq/Apter03:::Arthur W. Apter:::Characterizing strong compactness via strongness.
journals/mlq/Pollett00:::Chris Pollett:::Translating I-Delta<sub>0</sub> + exp Proofs into Weaker Systems.
