BibSLEIGH — algebra stem

Used together with:

process (95)
specif (68)
program (64)
use (62)
relat (59)

Stem algebra$ (all stems)

786 papers:

DATE-2015-KyrtatasSP #algebra #compilation #embedded #linear: A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATE-2015-SunKPE #algebra #geometry #using #verification: Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.
ITiCSE-2015-KarpovaDHP #algebra #named #parsing #relational #tool support: RAPT: Relational Algebra Parsing Tools (OK, ND, DH, AP), p. 334.
CIAA-2015-BrodaCFM #algebra: Deciding Synchronous Kleene Algebra with Derivatives (SB, SC, MF, NM), pp. 49–62.
DLT-2015-EsikFL #algebra: *-Continuous Kleene ω-Algebras (ZÉ, UF, AL), pp. 240–251.
ICALP-v1-2015-AronovK #algebra #diagrams #tool support: Batched Point Location in SINR Diagrams via Algebraic Tools (BA, MJK), pp. 65–77.
ICALP-v1-2015-BerkholzG #algebra #graph #morphism #testing: Limitations of Algebraic Approaches to Graph Isomorphism Testing (CB, MG), pp. 155–166.
ICALP-v1-2015-KozikO #algebra #constraints #problem: Algebraic Properties of Valued Constraint Satisfaction Problem (MK, JO), pp. 846–858.
ICALP-v2-2015-KariS #algebra #approach #geometry: An Algebraic Geometric Approach to Nivat’s Conjecture (JK, MS), pp. 273–285.
ICALP-v2-2015-StatonU #algebra: Effect Algebras, Presheaves, Non-locality and Contextuality (SS, SU), pp. 401–413.
LATA-2015-LiH #algebra #automaton #network #on the: On Observability of Automata Networks via Computational Algebra (RL, YH), pp. 249–262.
ICFP-2015-GaboardiP #algebra #λ-calculus: Algebras and coalgebras in the light affine λ calculus (MG, RP), pp. 114–126.
GCM-2015-LoweT #algebra #category theory: Single-Pushout Rewriting of Partial Algebras (ML, MT), pp. 82–96.
ICGT-2015-CorradiniDEPR #algebra #graph grammar #named: AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
KDD-2015-ZhouALS #algebra #linear: Cuckoo Linear Algebra (LZ, DGA, ML, AJS), pp. 1553–1562.
ECOOP-2015-BiboudisPFS #algebra #pipes and filters: Streams a la carte: Extensible Pipelines with Object Algebras (AB, NP, GF, YS), pp. 591–613.
OOPSLA-2015-ZhangCOS #algebra #scrap your boilerplate: Scrap your boilerplate with object algebras (HZ, ZC, BCdSO, TvdS), pp. 127–146.
GPCE-2015-InostrozaS #algebra #composition #using: Modular interpreters for the masses: implicit context propagation using object algebras (PI, TvdS), pp. 171–180.
PPDP-2015-HaarPRV #algebra #concurrent #logic: An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.
POPL-2015-ChatterjeeIPG #algebra #algorithm #constant #performance #recursion #state machine: Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (KC, RIJ, AP, PG), pp. 97–109.
POPL-2015-Pous #algebra #algorithm #equivalence #testing: Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
POPL-2015-Sojakova #algebra #induction: Higher Inductive Types as Homotopy-Initial Algebras (KS), pp. 31–42.
POPL-2015-Staton #algebra #programming language #quantum: Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
CADE-2015-Passmore #algebra #decidability #integer: Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (GOP), pp. 181–196.
CADE-2015-ZulkoskiGC #algebra #named #satisfiability: MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
ICST-2015-HuuhtanenIL #algebra #algorithm #design #testing: Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
LICS-2015-CarvalhoMM #algebra #complexity: From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP (CC, FRM, BM), pp. 462–474.
RTA-2015-Hellstrom #algebra #network: Network Rewriting II: Bi- and Hopf Algebras (LH), pp. 194–208.
VMCAI-2015-GhorbalSP #algebra #difference #proving #set: A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
VMCAI-2015-SalaunY #algebra #debugging #process #specification: Debugging Process Algebra Specifications (GS, LY), pp. 245–262.
TACAS-2014-GhorbalP #algebra #difference #invariant: Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
SAS-2014-GhorbalSP #algebra #difference #equation #polynomial: Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
STOC-2014-ForbesSS #algebra #branch #multi #order #set #source code: Hitting sets for multilinear read-once algebraic branching programs, in any order (MAF, RS, AS), pp. 867–875.
AFL-2014-Klima #algebra #automaton #on the: On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract) (OK), pp. 49–54.
DLT-2014-Weil #algebra #logic: From Algebra to Logic: There and Back Again The Story of a Hierarchy — (Invited Paper) (PW), pp. 275–278.
ICALP-v2-2014-Heunen #algebra: Piecewise Boolean Algebras and Their Domains (CH), pp. 208–219.
ICALP-v2-2014-KozenM #algebra #equation: Kleene Algebra with Equations (DK, KM), pp. 280–292.
LATA-2014-DubourgJ #algebra #tool support: Algebraic Tools for the Overlapping Tile Product (ED, DJ), pp. 335–346.
LATA-2014-KlaudelKD #algebra #logic #semantics: Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification: Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
FM-2014-HayesM #algebra #invariant #realtime: Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
HILT-2014-BaggeH #algebra #api #specification #why: Specification of generic APIs, or: why algebraic may be better than pre/post (AHB, MH), pp. 71–80.
ICPR-2014-DumonceauxRG #algebra #approach #clustering: An Algebraic Approach to Ensemble Clustering (FD, GR, MG), pp. 1301–1306.
KR-2014-Dufour-LussierHBL #algebra: Belief Revision in the Propositional Closure of a Qualitative Algebra (VDL, AH, FLB, JL).
KR-2014-ZhangR #algebra #reasoning #representation: Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra (PZ, JR).
SKY-2014-Ben-Av #algebra #generative #multi #ontology #using: Ontology Hierarchy Self Generation using Algebraic Multi-Grid (AMG) (RBA), pp. 79–85.
AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using: Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
OOPSLA-2014-RendelBO #algebra #attribute grammar: From object algebras to attribute grammars (TR, JIB, KO), pp. 377–395.
GPCE-2014-GousetiPS #algebra #implementation: Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.
QAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process: Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
SAC-2014-SeffrinRJ #algebra #network: A dynamic bayesian network for inference of learners’ algebraic knowledge (HMS, GLR, PAJ), pp. 235–240.
SPLC-2014-Tribastone #algebra #behaviour #process: Behavioral relations in a process algebra for variants (MT), pp. 82–91.
CGO-2014-SpampinatoP #algebra #compilation #linear: A Basic Linear Algebra Compiler (DGS, MP), p. 23.
LCTES-2014-BeaugnonKHBTAL #algebra #linear #named: VOBLA: a vehicle for optimized basic linear algebra (UB, AK, SvH, RB, DT, JA, AL), pp. 115–124.
LICS-CSL-2014-FioreS #algebra: Substitution, jumps, and algebraic effects (MPF, SS), p. 10.
LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive: Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
RTA-TLCA-2014-SternagelT #algebra #certification #complexity #formal method #proving #termination: Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs (CS, RT), pp. 441–455.
SIGMOD-2013-PapadopoulosCDG #algebra #authentication #data type #lightweight #linear #query: Lightweight authentication of linear algebraic queries on data streams (SP, GC, AD, MNG), pp. 881–892.
VLDB-2013-NirkhiwaleDJ #algebra #estimation: A Sampling Algebra for Aggregate Estimation (SN, AD, CMJ), pp. 1798–1809.
ESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant: A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.
FoSSaCS-2013-Staton #algebra #logic: An Algebraic Presentation of Predicate Logic — (Extended Abstract) (SS), pp. 401–417.
SAS-2013-WhiteM #algebra #analysis #memory management #optimisation #using: Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation (LW, AM), pp. 433–453.
STOC-2013-Ben-SassonGKKS #algebra #geometry #product line: A new family of locally correctable codes based on degree-lifted algebraic geometry codes (EBS, AG, YK, SK, SS), pp. 833–842.
STOC-2013-GuruswamiX #algebra #bound #geometry: List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound (VG, CX), pp. 843–852.
ICALP-v1-2013-BhattacharyyaY #algebra: An Algebraic Characterization of Testable Boolean CSPs (AB, YY), pp. 123–134.
ICALP-v2-2013-Janin #algebra #automaton #logic: Algebras, Automata and Logic for Languages of Labeled Birooted Trees (DJ), pp. 312–323.
LATA-2013-SelivanovK #algebra: Boolean Algebras of Regular ω-Languages (VLS, AK), pp. 504–515.
IFM-2013-LaneveP #algebra #contract #web #web service: An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.
ICFP-2013-Brady #algebra #dependent type #programming #reasoning: Programming and reasoning with algebraic effects and dependent types (EB), pp. 133–144.
ICFP-2013-DelbiancoN #algebra #continuation #hoare #reasoning: Hoare-style reasoning with (algebraic) continuations (GAD, AN), pp. 363–376.
ICFP-2013-Dolan #algebra #functional #linear: Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
HCI-AS-2013-HuseyinovT #algebra #evaluation #fuzzy #using: Evaluation of Computer Algebra Systems Using Fuzzy AHP at the Universities of Cyprus (IH, FST), pp. 391–397.
ICML-c3-2013-Izbicki #algebra #approach #classification #online #parallel #performance: Algebraic classifiers: a generic approach to fast cross-validation, online training, and parallel training (MI), pp. 648–656.
ECOOP-2013-OliveiraSLC #algebra #feature model #programming: Feature-Oriented Programming with Object Algebras (BCdSO, TvdS, AL, WRC), pp. 27–51.
LOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem: Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
QAPL-2013-McIverRS #algebra #concurrent #probability: Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.
POPL-2013-AtkeyJK #abstraction #algebra: Abstraction and invariance for algebraically indexed types (RA, PJ, AK), pp. 87–100.
ESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning: RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
LDTA-J-2009-AndersenBC #algebra #composition: Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.
CGO-2013-DuchateauPB #algebra #algorithm #automation #equation #linear #named: Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.
CADE-2013-LoupSCAB #algebra #composition #constraints: A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, EÁ, BB), pp. 193–207.
CSL-2013-KozenM #algebra: Kleene Algebra with Products and Iteration Theories (DK, KM), pp. 415–431.
ICTSS-2013-ElyasovPH #algebra #mining #specification: Guided Algebraic Specification Mining for Failure Simplification (AE, ISWBP, JH), pp. 223–238.
LICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #semantics #syntax: Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.
LICS-2013-Staton #algebra #perspective: Instances of Computational Effects: An Algebraic Perspective (SS), p. 519.
SAT-2013-Atserias #algebra #bound #problem #proving: The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs (AA), pp. 1–17.
CSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification: A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ESOP-2012-FehnkerGHMPT #algebra #network #process: A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
WCRE-2012-BernatM #algebra #context-free grammar #editing: Structured Binary Editing with a CFG Transformation Algebra (ARB, BPM), pp. 9–18.
CIAA-2012-Oliveira #algebra #automaton #linear #probability: Typed Linear Algebra for Weigthed (Probabilistic) Automata (JNO), pp. 52–65.
ICALP-v2-2012-AcetoCEI #algebra #process: Algebraic Synchronization Trees and Processes (LA, AC, ZÉ, AI), pp. 30–41.
ICALP-v2-2012-DawarH #algebra #game studies: Pebble Games with Algebraic Rules (AD, BH), pp. 251–262.
FM-2012-BenkiraneNSS #algebra #process #using: Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (SB, RN, ES, CS), pp. 101–115.
IFM-2012-CalderS #algebra #case study #network #process #runtime #verification: Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
GT-VMT-2012-GabrielLE #algebra #approach #petri net: Algebraic Approach to Timed Petri Nets (KG, PL, CE).
GT-VMT-2012-NatschlagerS #algebra #approach #graph #graph transformation #inheritance: A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation (CN, KDS).
ICGT-2012-Lowe #algebra #framework #graph grammar #graph transformation: Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICML-2012-KiralyT #algebra #approach #combinator #matrix #rank: A Combinatorial Algebraic Approach for the Identifiability of Low-Rank Matrix Completion (FJK, RT), p. 100.
KDIR-2012-AugelloGPV #algebra #encoding #geometry: Geometric Encoding of Sentences based on Clifford Algebra (AA, MG, GP, GV), pp. 457–462.
SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification: Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
BX-2012-GibbonsJ #algebra #lens: Relating Algebraic and Coalgebraic Descriptions of Lenses (JG, MJ), pp. 5–20.
ECOOP-2012-OliveiraC #algebra: Extensibility for the Masses — Practical Extensibility with Object Algebras (BCdSO, WRC), pp. 2–27.
GPCE-2012-RafkindF #algebra #named: Honu: syntactic extension for algebraic notation through enforestation (JR, MF), pp. 122–131.
QAPL-2012-PalamidessiS #algebra #bound #constraints #difference #privacy #relational: Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems (CP, MS), pp. 92–105.
POPL-2012-KammarP #algebra #optimisation: Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.
PPoPP-2012-MarkerTPBG #algebra #developer #linear: Mechanizing the expert dense linear algebra developer (BM, AT, JP, DSB, RAvdG), pp. 289–290.
IJCAR-2012-FosterS #algebra #analysis #automation: Automated Analysis of Regular Algebra (SF, GS), pp. 271–285.
LICS-2012-ChenM #algebra #category theory #constraints #quantifier #theorem: An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.
LICS-2012-Schuster #algebra #case study #induction: Induction in Algebra: A First Case Study (PS), pp. 581–585.
RTA-2012-Anai #algebra #geometry: Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.
DATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification: STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
SIGMOD-2011-BalesDV #algebra #optimisation #query: Score-consistent algebraic optimization of full-text search queries with GRAFT (NB, AD, VV), pp. 769–780.
VLDB-2011-KimRA #algebra #pipes and filters #using: From SPARQL to MapReduce: The Journey Using a Nested TripleGroup Algebra (HK, PR, KA), pp. 1426–1429.
VLDB-2011-OgasawaraOVDPM #algebra #approach #workflow: An Algebraic Approach for Data-Centric Scientific Workflows (ESO, DdO, PV, JD, FP, MM), pp. 1328–1339.
ITiCSE-2011-MartinezC #algebra #education #relational: A cooperative learning-based strategy for teaching relational algebra (AM, AC), pp. 263–267.
DLT-J-2009-BloomE11 #algebra #linear #order: Algebraic Linear Orderings (SLB, ZÉ), pp. 491–515.
DLT-J-2010-Head11 #algebra #parallel #towards: Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.
AFL-2011-Kunimochi #algebra #morphism #petri net: Algebraic Properties of Petri Net Morphisms based on Place Connectivity (YK), pp. 270–284.
DLT-2011-SelivanovK #algebra #regular expression: Boolean Algebras of Regular Languages (VLS, AK), pp. 386–396.
ICALP-v1-2011-AllenderW #algebra #branch #on the #power of #source code: On the Power of Algebraic Branching Programs of Width Two (EA, FW), pp. 736–747.
ICALP-v2-2011-BeeckenMS #algebra #independence #testing: Algebraic Independence and Blackbox Identity Testing (MB, JM, NS), pp. 137–148.
AGTIVE-2011-RungeET #algebra #graph transformation #specification: AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
CIKM-2011-KimC #algebra #approximate #composition #framework: Approximate tensor decomposition within a tensor-relational algebraic framework (MK, KSC), pp. 1737–1742.
MLDM-2011-DanylenkoLL #algebra #implementation #named: Decisions: Algebra and Implementation (AD, JL, WL), pp. 31–45.
POPL-2011-OngR #algebra #data type #functional #higher-order #pattern matching #source code #verification: Verifying higher-order functional programs with pattern-matching algebraic data types (CHLO, SJR), pp. 587–598.
LDTA-2011-DominguezP #algebra: Exploiting algebra/coalgebra duality for program fusion extensions (FD, AP), p. 6.
CSL-2011-BesC #algebra #linear #order: Algebraic Characterization of FO for Scattered Linear Orderings (AB, OC), pp. 67–81.
CSL-2011-Straubing #algebra #finite #word: Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words (HS), pp. 525–537.
RTA-2011-KopR #algebra #dependence #functional #higher-order: Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
TLCA-2011-BrunelHH #algebra #deduction #orthogonal: Orthogonality and Boolean Algebras for Deduction Modulo (AB, OH, CH), pp. 76–90.
PODS-2010-DalviSS #algebra #probability #query: Computing query probability with incidence algebras (NND, KS, DS), pp. 203–214.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
FoSSaCS-2010-Staton #algebra: Completeness for Algebraic Theories of Local State (SS), pp. 48–63.
TACAS-2010-BuchsHMR #algebra #named #petri net: AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.
PEPM-2010-Henglein #algebra #equivalence #lazy evaluation #optimisation #relational #using: Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.
SAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
STOC-2010-LokshtanovN #algebra: Saving space by algebraization (DL, JN), pp. 321–330.
DLT-2010-BerrimaR #algebra #bisimulation #equivalence: Linking Algebraic Observational Equivalence and Bisimulation (MB, NBR), pp. 76–87.
DLT-2010-Head #algebra #parallel #using: Using Light to Implement Parallel Boolean Algebra (TH), pp. 231–242.
SEFM-2010-MassinkLBH #algebra #analysis #approach #process #scalability: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
IFL-2010-BrownLBH #algebra: Improving Your CASH Flow: The Computer Algebra SHell (CB, HWL, JB, KH), pp. 169–184.
GT-VMT-2010-GrohmannM #algebra #graph: Graph Algebras for Bigraphs (DG, MM).
ICPR-2010-Machucho-CadenaB #3d #algebra #geometry #re-engineering #using: 3D Reconstruction of Tumors for Applications in Laparoscopy Using Conformal Geometric Algebra (RMC, EBC), pp. 2532–2535.
GPCE-J-2007-FrisbyKWA10 #algebra #combinator: Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
POPL-2010-SuterDK #abstraction #algebra #data type: Decision procedures for algebraic data types with abstractions (PS, MD, VK), pp. 199–210.
SAC-2010-BoscPML #algebra #relational: Extending relational algebra to handle bipolarity (PB, OP, AM, LL), pp. 1718–1722.
LDTA-2009-AndersenB10 #algebra: Syntactic Language Extension via an Algebra of Languages and Transformations (JA, CB), pp. 19–35.
SLE-2010-BraatzB #algebra #domain-specific language #graph transformation #modelling #rdf: Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (BB, CB), pp. 82–101.
PPoPP-2010-ChandramowlishwaranKV #algebra #concurrent #linear #parallel #programming: Applying the concurrent collections programming model to asynchronous parallel dense linear algebra (AC, KK, RWV), pp. 345–346.
CSL-2010-CookF #algebra #linear: Formal Theories for Linear Algebra (SAC, LF), pp. 245–259.
CSL-2010-GhaniJF #algebra #induction: Fibrational Induction Rules for Initial Algebras (NG, PJ, CF), pp. 336–350.
CSL-2010-Pous #algebra #linear #logic #proving: Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.
LICS-2010-BodirskyHM #algebra #approach #constraints #on the: On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
LICS-2010-JohannSV #algebra: A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.
TAP-2010-Blanchette #algebra #analysis #data type #induction #recursion #relational: Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.
WICSA-ECSA-2009-BontaB #algebra #architecture #code generation #java #named #process: PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
DATE-2009-GopalakrishnanK #algebra #polynomial #synthesis: Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis (SG, PK), pp. 1452–1457.
DATE-2009-MendlerHT #algebra #interface: WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
ESOP-2009-PlotkinP #algebra: Handlers of Algebraic Effects (GDP, MP), pp. 80–94.
FoSSaCS-2009-AbbesB #algebra #concurrent #probability: Concurrency, σ-Algebras, and Probabilistic Fairness (SA, AB), pp. 380–394.
STOC-2009-ClarksonW #algebra #linear #streaming: Numerical linear algebra in the streaming model (KLC, DPW), pp. 205–214.
ICALP-v1-2009-KoutisW #algebra #problem: Limits and Applications of Group Algebras for Parameterized Problems (IK, RW), pp. 653–664.
IFM-2009-SalaunB #algebra #encoding #process #using: Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.
AdaEurope-2009-SokolskyLC #algebra #modelling: Process-Algebraic Interpretation of AADL Models (OS, IL, DC), pp. 222–236.
CAiSE-2009-HornungML #algebra #process #query #workflow: Process Algebra-Based Query Workflows (TH, WM, GL), pp. 440–454.
CIKM-2009-MouzaLRS #algebra #n-gram #named #string #using: AS-index: a structure for string search using n-grams and algebraic signatures (CdM, WL, PR, TJES), pp. 295–304.
CIKM-2009-WuBTJDS #algebra #comparison #named: ASIC: algebra-based structural index comparison (YW, SB, TT, SJ, DD, MS), pp. 2111–2112.
CIKM-2009-WuLACB #algebra #benchmark #generative #named #query #xpath: XQGen: an algebra-based XPath query generator for micro-benchmarking (YW, NL, RA, SC, SB), pp. 2109–2110.
TOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #ocl #semantics #specification: Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.
SAC-2009-BriggsA #algebra #constraints #parametricity #specification: Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.
SAC-2009-IdaT #algebra #graph grammar: Origami fold as algebraic graph rewriting (TI, HT), pp. 1132–1137.
SAC-2009-RodriguesMF #algebra #implementation #navigation #process #web #web service: Implementing rigorous web services with process algebra: navigation plan for web services (MCR, SM, JEF), pp. 625–631.
CSL-2009-Bojanczyk #algebra: Algebra for Tree Languages (MB), p. 1.
LICS-2009-BojanczykSW #algebra #logic: Wreath Products of Forest Algebras, with Applications to Tree Logics (MB, HS, IW), pp. 255–263.
LICS-2009-BonsangueRS #algebra #polynomial: An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
RTA-2009-BursucC #algebra #bound #protocol #security: Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (SB, HCL), pp. 133–147.
TLCA-2009-Hamana #algebra #semantics: Initial Algebra Semantics for Cyclic Sharing Structures (MH), pp. 127–141.
TLCA-2009-Tasson #algebra #towards: Algebraic Totality, towards Completeness (CT), pp. 325–340.
ECSA-2008-BernardoB #algebra #architecture #process: Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
CASE-2008-AddadA #algebra #architecture #evaluation #graph #modelling #using: Modeling and response time evaluation of ethernet-based control architectures using timed event graphs and Max-Plus algebra (BA, SA), pp. 418–423.
DATE-2008-FanBSV #algebra #design #encryption: FPGA Design for Algebraic Tori-Based Public-Key Cryptography (JF, LB, KS, IV), pp. 1292–1297.
FASE-2008-BoronatM #algebra #semantics: An Algebraic Semantics for MOF (AB, JM), pp. 377–391.
FoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics: Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
TACAS-2008-Kovacs #algebra #reasoning: Reasoning Algebraically About P-Solvable Loops (LK), pp. 249–264.
ICSM-2008-KothariBMS #algebra #development #on the #performance #using: On evaluating the efficiency of software feature development using algebraic manifolds (JK, DB, SM, AS), pp. 7–16.
STOC-2008-KaufmanS #algebra #testing: Algebraic property testing: the role of invariance (TK, MS), pp. 403–412.
FLOPS-2008-AbelCD #algebra #on the #proving #type system: On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (AA, TC, PD), pp. 3–13.
ICALP-A-2008-Koutis #algebra #algorithm #performance #problem: Faster Algebraic Algorithms for Path and Packing Problems (IK), pp. 575–586.
ICALP-B-2008-Mathissen #algebra #logic #word: Weighted Logics for Nested Words and Algebraic Formal Power Series (CM), pp. 221–232.
SEFM-2008-HofnerKM #algebra: Algebraic View Reconciliation (PH, RK, BM), pp. 85–94.
SFM-2008-CiocchettaH #algebra #biology #process: Process Algebras in Systems Biology (FC, JH), pp. 265–312.
GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).
ICGT-2008-Stevens #algebra #bidirectional #towards: Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.
ICEIS-DISI-2008-Savnik #algebra #data flow #implementation #query #web: Implementation of Algebra for Querying Web Data Sources (IS), pp. 91–96.
CIKM-2008-MasudaT #algebra: Nested region algebra extended with variables for tag-annotated text search (KM, JT), pp. 1349–1350.
ICPR-2008-Falcon-MoralesB #algebra #geometry: Radon transform and Conformal Geometric Algebra with lines (LFM, EBC), pp. 1–4.
BX-2008-Diskin1 #algebra #semantics: Algebraic Semantics for Model Translation (ZD), p. 34.
ICMT-2008-AmstelBPV #algebra #modelling #process #question #semantic gap #state machine #uml: Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? (MvA, MvdB, ZP, TV), pp. 61–75.
MoDELS-2008-Diskin #algebra #bidirectional #modelling: Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
MoDELS-2008-Diskin #algebra #bidirectional #modelling: Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
SAC-2008-AraujoSF #algebra #analysis #process: HIV drug resistance analysis tool based on process algebra (LVdA, ECS, JEF), pp. 1358–1363.
SAC-2008-BraghettoFP #algebra #execution #process #using: Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.
SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification: A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.
SAC-2008-LasserreLR #algebra #algorithm: Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
SAC-2008-SansL #algebra #interface #named #order #visualisation #xquery: IFOX: interface for ordered XQuery an algebraic oriented tool for ordered XQuery visualization (VS, DL), pp. 1252–1257.
HPDC-2008-YouseffSYDW #algebra #kernel #linear #memory management: The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software (LY, KS, HY, JD, RW), pp. 141–152.
PPoPP-2008-DiamondRKGGB #algebra #distributed #linear #performance: High performance dense linear algebra on a spatially distributed processor (JRD, BR, SWK, RAvdG, KG, DB), pp. 63–72.
CAV-2008-WienandWSKG #algebra #approach #correctness #proving: An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (OW, MW, DS, WK, GMG), pp. 473–486.
ICST-2008-YuKZZ #algebra #component #java #specification #testing: Testing Java Components based on Algebraic Specifications (BY, LK, YZ, HZ), pp. 190–199.
LICS-2008-Beffara #algebra #calculus #process: An Algebraic Process Calculus (EB), pp. 130–141.
LICS-2008-Kozen #algebra #testing: Nonlocal Flow of Control and Kleene Algebra with Tests (DK), pp. 105–117.
LICS-2008-PlotkinP #algebra #logic: A Logic for Algebraic Effects (GDP, MP), pp. 118–129.
RTA-2008-ArrighiD #algebra #confluence #encoding #higher-order #λ-calculus: Linear-algebraic λ-calculus: higher-order, encodings, and confluence (PA, GD), pp. 17–31.
ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process: Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.
CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification: Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.
VLDB-2007-LitwinMRS #algebra #performance #string #using: Fast nGram-Based String Search Over Data Encoded Using Algebraic Signatures (WL, RM, PR, TJES), pp. 207–218.
WRLA-2006-SasseM07 #algebra #hoare #java #logic #semantics #verification: Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.
ICALP-2007-LaroseT #algebra #constraints #problem: Universal Algebra and Hardness Results for Constraint Satisfaction Problems (BL, PT), pp. 267–278.
IFM-2007-KongOF #algebra #analysis #formal method: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.
SEFM-2007-ZhuHLB #algebra #approach #semantics #web #web service: Algebraic Approach to Linking the Semantics of Web Services (HZ, JH, JL, JPB), pp. 315–328.
SFM-2007-ClarkGHT #algebra #probability #process: Stochastic Process Algebras (AC, SG, JH, MT), pp. 132–179.
ICEIS-DISI-2007-BarkerD #algebra #information management #policy: Secure knowledge exchange by policy algebra and erml (SB, PD), pp. 212–217.
ECMDA-FA-2007-HerrmannKRSV #algebra #composition #semantics: An Algebraic View on the Semantics of Model Composition (CH, HK, BR, MS, SV), pp. 99–113.
GPCE-2007-WeaverKFA #algebra #combinator: Constructing language processors with algebra combinators (PW, GK, NF, PA), pp. 155–164.
LOPSTR-2007-BossiPR #algebra #process #refinement #security: Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.
QAPL-2007-CianciaF #algebra #logic #modelling: Co-Algebraic Models for Quantitative Spatial Logics (VC, GLF), pp. 43–58.
PADL-2007-FisselerKBKM #algebra #haskell #information management #using: Algebraic Knowledge Discovery Using Haskell (JF, GKI, CB, AK, CM), pp. 80–93.
SAC-2007-GhourabiITMK #algebra #axiom #logic: Logical and algebraic view of Huzita’s origami axioms with applications to computational origami (FG, TI, HT, MM, AK), pp. 767–772.
CADE-2007-HofnerS #algebra #automation #reasoning: Automated Reasoning in Kleene Algebra (PH, GS), pp. 279–294.
CADE-2007-KuncakR #algebra #performance #satisfiability #towards: Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic (VK, MCR), pp. 215–230.
LICS-2007-IdziakMMVW #algebra: Tractability and learnability arising from algebras with few subpowers (PMI, PM, RM, MV, RW), pp. 213–224.
TLCA-2007-JohannG #algebra #exclamation #semantics: Initial Algebra Semantics Is Enough! (PJ, NG), pp. 207–222.
VLDB-2006-Pradhan #algebra #effectiveness #performance #query #retrieval #xml: An Algebraic Query Model for Effective and Efficient Retrieval of XML Fragments (SP), pp. 295–306.
ITiCSE-2006-Gal-EzerT #algebra #how #question #regular expression: Algebraic characterization of regular languages: how to cope with all these equivalences? (JGE, MBT), p. 325.
FASE-2006-BoronatCR #algebra #model transformation #specification: Algebraic Specification of a Model Transformation Engine (AB, JÁC, IR), pp. 262–277.
FoSSaCS-2006-PhillipsU #algebra #calculus #process: Reversing Algebraic Process Calculi (ICCP, IU), pp. 246–260.
FLOPS-2006-SulzmannWS #algebra #data type #framework: A Framework for Extended Algebraic Data Types (MS, JW, PJS), pp. 47–64.
ICALP-v1-2006-Kunc #algebra #finite: Algebraic Characterization of the Finite Power Property (MK), pp. 120–131.
ICALP-v2-2006-ArmknechtK #algebra #multi: Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity (FA, MK), pp. 180–191.
FM-2006-HofnerKM #algebra: Feature Algebra (PH, RK, BM), pp. 300–315.
SEFM-2006-Lodaya #algebra #automaton #process: Product Automata and Process Algebra (KL), pp. 128–136.
ICFP-2006-KatsumataN #algebra #parametricity: Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
ICEIS-AIDSS-2006-KafkasBY #algebra #equation #implementation: Implementation Strategies for “Equation Guru” — A User Friendly Intelligent Algebra Tutor (SK, ZB, HY), pp. 58–65.
ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml: Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.
ICPR-v1-2006-Bayro-CorrochanoM #algebra #fuzzy #geometry #logic #using: Object Manipulation using Fuzzy Logic and Geometric Algebra (EBC, RMC), pp. 1120–1123.
ICPR-v1-2006-Heyden #algebra #constraints #multi: Differential-Algebraic Multiview Constraints (AH), pp. 159–162.
ICPR-v1-2006-Lopez-FrancoB #algebra #geometry #invariant #navigation #using: Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra (CLF, EBC), pp. 570–573.
ICPR-v4-2006-Rivera-RoveloB #algebra #framework #geometry #realtime #using: Non-Rigid Alignment and Real-Time Tracking Using the Geometric Algebra Framework (JRR, EBC), pp. 675–678.
KR-2006-Truszczynski #algebra #approach #equivalence: Strong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach (MT), pp. 389–399.
ECMDA-FA-2006-BoronatOGRC #algebra #eclipse #framework #modelling #ocl #query #specification: An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework (AB, JO, AG, IR, JÁC), pp. 316–330.
GPCE-2006-Fontijne #algebra #generative #geometry #implementation: Gaigen 2: a geometric algebra implementation generator (DF), pp. 141–150.
PPDP-2006-SchrijversB #algebra #data type #polymorphism #re-engineering: Polymorphic algebraic data type reconstruction (TS, MB), pp. 85–96.
POPL-2006-PottierR #algebra #data type #type inference: Stratified type inference for generalized algebraic data types (FP, YRG), pp. 232–244.
SAC-2006-RuizCCP #algebra #analysis #concurrent #e-commerce #process #protocol #set #using: Analysis of the SET e-commerce protocol using a true concurrency process algebra (MCR, DC, FC, JJP), pp. 879–886.
CSL-2006-LautemannTT #algebra: An Algebraic Point of View on the Crane Beach Property (CL, PT, DT), pp. 426–440.
CSL-2006-Truszczynski #algebra #logic: Nonmonotonic Logics and Their Algebraic Foundations (MT), pp. 58–71.
LICS-2006-ManzonettoS #algebra #λ-calculus: Boolean Algebras for λ Calculus (GM, AS), pp. 317–326.
CASE-2005-FalkmanLT #algebra #petri net #process #specification #using: Specification of a batch plant using process algebra and Petri nets (PF, BL, MT), pp. 339–344.
DATE-2005-ShashidharBCJ #algebra #equivalence #functional #source code #verification: Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code (KCS, MB, FC, GJ), pp. 1310–1315.
PODS-2005-LeindersB #algebra #complexity #on the #relational #set: On the complexity of division and set joins in the relational algebra (DL, JVdB), pp. 76–83.
SIGMOD-2005-LiCIS #algebra #named #optimisation #query #relational: RankSQL: Query Algebra and Optimization for Relational Top-k Queries (CL, KCCC, IFI, SS), pp. 131–142.
VLDB-2005-PaparizosJ #algebra #question #sequence #set: Pattern Tree Algebras: Sets or Sequences? (SP, HVJ), pp. 349–360.
FoSSaCS-2005-Stark #algebra #modelling #π-calculus: Free-Algebra Models for the π-Calculus (IS), pp. 155–169.
SAS-2005-BagnaraRZ #algebra #generative #invariant #using: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.
STOC-2005-Basu #algebra #algorithm #polynomial #set: Polynomial time algorithm for computing the top Betti numbers of semi-algebraic sets defined by quadratic inequalities (SB), pp. 313–322.
STOC-2005-BasuPR #algebra #component #set: Computing the first Betti number and the connected components of semi-algebraic sets (SB, RP, MFR), pp. 304–312.
ICALP-2005-BadouelCG #algebra #petri net: Petri Algebras (EB, JC, GG), pp. 742–754.
IFM-2005-SalaunS #algebra #hardware #process #standard: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
ICFP-2005-Nilsson #algebra #data type #functional #optimisation #programming #using: Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.
ICEIS-v1-2005-BekaiR #algebra #framework #xml: A Tree Based Algebra Framework for XML Data Systems (AEB, BNR), pp. 305–312.
CIKM-2005-MihajlovicBHA #algebra #database: Score region algebra: building a transparent XML-R database (VM, HEB, DH, PMGA), pp. 12–19.
SEKE-2005-NabliFG #adaptation #algebra #data flow #multi #using: Adapting Multidimensional Schemes to Data sources using Algebraic Operators (AN, JF, FG), pp. 713–718.
ECMDA-FA-2005-TabuchiSN #algebra #analysis #design #modelling #performance #probability #process #uml: Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra (NT, NS, HN), pp. 41–58.
OOPSLA-2005-KennedyR #algebra #data type #object-oriented #programming: Generalized algebraic data types and object-oriented programming (AK, CVR), pp. 21–40.
RE-2005-SabetzadehE #algebra #consistency #framework: An Algebraic Framework for Merging Incomplete and Inconsistent Views (MS, SME), pp. 306–318.
ESEC-FSE-2005-KuncakJ #algebra #analysis #data type #relational: Relational analysis of algebraic datatypes (VK, DJ), pp. 207–216.
PPoPP-2005-LowGZ #algebra #algorithm #linear #parallel #specification: Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications (TML, RAvdG, FGVZ), pp. 153–163.
SAT-J-2004-BaulandCCHV05 #algebra #approach #complexity #query: An Algebraic Approach to the Complexity of Generalized Conjunctive Queries (MB, PC, NC, MH, HV), pp. 30–45.
SAT-J-2004-ChenD05 #algebra #quantifier: Looking Algebraically at Tractable Quantified Boolean Formulas (HC, VD), pp. 71–79.
CADE-2005-KuncakNR #algebra #algorithm: An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic (VK, HHN, MCR), pp. 260–277.
CAV-2005-PiazzaAMPWM #algebra #algorithm #biology #challenge #model checking: Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (CP, MA, VM, AP, FW, BM), pp. 5–19.
CSL-2005-Blanqui #algebra #calculus #decidability: Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations (FB), pp. 135–150.
CSL-2005-KhoussainovR #algebra #decidability: Decidability of Term Algebras Extending Partial Algebras (BK, SR), pp. 292–308.
CSL-2005-Marx #algebra #navigation #xml: XML Navigation and Tarski’s Relation Algebras (MM), pp. 1–2.
CSL-2005-Tiwari #algebra #approach #constraints #satisfiability: An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints (AT), pp. 248–262.
FATES-2005-AiguierABGM #algebra #axiom #specification #testing: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (MA, AA, CB, PLG, BM), pp. 203–217.
LICS-2005-BaetenC #algebra #process #regular expression: Regular Expressions in Process Algebra (JCMB, FC), pp. 12–19.
LICS-2005-Hardin #algebra #proving: Proof Theory for Kleene Algebra (CH), pp. 290–299.
LICS-2005-Hillston #algebra #analysis #process: Process Algebras for Quantitative Analysis (JH), pp. 239–248.
LICS-2005-Santocanale #algebra: Completions of μ-algebras (LS), pp. 219–228.
RTA-2005-Comon-LundhD #algebra #finite #how: The Finite Variant Property: How to Get Rid of Some Algebraic Properties (HCL, SD), pp. 294–307.
RTA-2005-Hamana #algebra #higher-order #termination: Universal Algebra for Termination of Higher-Order Rewriting (MH), pp. 135–149.
RTA-2005-Hoffman #algebra #approach #equation: Union of Equational Theories: An Algebraic Approach (PH), pp. 61–73.
RTA-2005-StumpT #algebra #proving #similarity: The Algebra of Equality Proofs (AS, LYT), pp. 469–483.
SAT-2005-MeierS #algebra #benchmark #metric #problem #satisfiability #set: A New Set of Algebraic Benchmark Problems for SAT Solvers (AM, VS), pp. 459–466.
VLDB-2004-HoweM #algebra #dataset: Algebraic Manipulation of Scientific Datasets (BH, DM), pp. 924–935.
VLDB-2004-SuRM #algebra #optimisation #query #semantics #xml #xquery: Semantic Query Optimization in an Automata-Algebra Combined XQuery Engine over XML Streams (HS, EAR, MM), pp. 1293–1296.
SAS-2004-Colon #algebra #approximate #imperative #relational #semantics #source code: Approximating the Algebraic Relational Semantics of Imperative Programs (MC), pp. 296–311.
STOC-2004-BurgisserC #algebra #complexity #set: Counting complexity classes for numeric computations II: algebraic and semialgebraic sets (PB, FC), pp. 475–485.
FLOPS-2004-Ogawa #algebra #axiom #graph: Complete Axiomatization of an Algebraic Construction of Graphs (MO), pp. 163–179.
CIAA-2004-Egri-NagyN #algebra #automaton #comparison #composition #finite #implementation: Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory (AEN, CLN), pp. 315–316.
DLT-2004-JonoskaS #algebra #modelling #process: Algebraic and Topological Models for DNA Recombinant Processes (NJ, MS), pp. 49–62.
ICALP-2004-DengS #algebra #mobile #process #towards: Towards an Algebraic Theory of Typed Mobile Processes (YD, DS), pp. 445–456.
IFM-2004-Willemse #algebra #automaton #hybrid #process: Embeddings of Hybrid Automata in Process Algebra (TACW), pp. 343–362.
SEFM-2004-Fronk #algebra #analysis #approach #automation #petri net #using: Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach (AF), pp. 396–405.
SFM-2004-BaetenR #algebra #process #termination: Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) (JCMB, MAR), pp. 59–97.
CAiSE-2004-FranconiK #algebra #multi: The GMD Data Model and Algebra for Multidimensional Information (EF, AK), pp. 446–462.
ICPR-v2-2004-Bayro-CorrochanoO #algebra: Lie Algebra Template Tracking (EBC, JOA), pp. 56–59.
ICPR-v2-2004-Ortegon-AguilarB #3d #algebra #approach #estimation: Monocular Lie Algebra Approach for 3D Motion Estimation (JOA, EBC), pp. 200–203.
ICPR-v3-2004-KellerS #algebra #approach #detection #symmetry: An Algebraic Approach to Symmetry Detection (YK, YS), pp. 186–189.
ICPR-v4-2004-ChenI #algebra #image #metric: Planar Metric Rectification by Algebraically Estimating The Image of the Absolute Conic (YC, HHSI), pp. 88–91.
ICPR-v4-2004-Lopez-FrancoB #algebra #framework #geometry #using: Unified Model for Omnidirectional Vision Using the Conformal Geometric Algebra Framework (CLF, EBC), pp. 48–51.
PADL-2004-Hudak #algebra #polymorphism: An Algebraic Theory of Polymorphic Temporal Media (PH), pp. 1–15.
POPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear #precise: Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.
ICSE-2004-HenkelD #algebra #debugging #specification: A Tool for Writing and Debugging Algebraic Specifications (JH, AD), pp. 449–458.
ICSE-2004-ZiadiHJ #algebra #approach #statechart #synthesis: Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.
IJCAR-2004-ColtonMSM #algebra #automation #classification #finite #generative #theorem: Automatic Generation of Classification Theorems for Finite Algebras (SC, AM, VS, RLM), pp. 400–414.
LICS-2004-NordhJ #algebra #approach #complexity: An Algebraic Approach to the Complexity of Propositional Circumscription (GN, PJ), pp. 367–376.
SAT-2004-BaulandCCHV #algebra #approach #complexity #query: An Algebraic Approach to the Complexity of Generalized Conjunctive Queries (MB, PC, NC, MH, HV), pp. 181–190.
SAT-2004-ChenD #algebra #quantifier: Looking Algebraically at Tractable Quantified Boolean Formulas (HC, VD), pp. 224–229.
VMCAI-2004-KuncakR #algebra #analysis #constraints: Boolean Algebra of Shape Analysis Constraints (VK, MCR), pp. 59–72.
VMCAI-2004-LucanuC #algebra #model checking #specification: Model Checking for Object Specifications in Hidden Algebra (DL, GC), pp. 97–109.
DAC-2003-ChenCCKMSYZ #algebra #clustering #layout #multi: An algebraic multigrid solver for analytical placement with layout based clustering (HC, CKC, NCC, ABK, JFM, PS, BY, ZZ), pp. 794–799.
DAC-2003-SuAN #algebra #grid #multi #power management #reduction: Power grid reduction based on algebraic multigrid principles (HS, EA, SRN), pp. 109–112.
DAC-2003-ZhuYC #adaptation #algebra #analysis #approach #multi #network #using: Power network analysis using an adaptive algebraic multigrid approach (ZZ, BY, CKC), pp. 105–108.
DATE-2003-JiangMB #algebra #multi: Reducing Multi-Valued Algebraic Operations to Binary (JHRJ, AM, RKB), pp. 10752–10757.
VLDB-2003-HaasB #algebra #automation #constraints #fuzzy #named #relational: BHUNT: Automatic Discovery of Fuzzy Algebraic Constraints in Relational Data (PB, PJH), pp. 668–679.
ICALP-2003-BergstraB #algebra #equivalence #process: Polarized Process Algebra and Program Equivalence (JAB, IB), pp. 1–21.
IFL-2003-MartinezP #algebra #algorithm #interface: Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms (RMT, RP), pp. 135–151.
CIKM-2003-SuJR #algebra #framework #named #xml: Raindrop: a uniform and layered algebraic framework for XQueries on XML streams (HS, JJ, EAR), pp. 279–286.
ECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement: A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.
ECOOP-2003-HenkelD #algebra #java #specification: Discovering Algebraic Specifications from Java Classes (JH, AD), pp. 431–456.
PPDP-2003-Hamana #algebra #approach #term rewriting: Term rewriting with variable binding: an initial algebra approach (MH), pp. 148–159.
SAC-2003-HuaJVT #algebra #analysis #approach #data mining #mining #named #performance #using: ADMiRe: An Algebraic Approach to System Performance Analysis Using Data Mining Techniques (KAH, NJ, RV, DAT), pp. 490–496.
CSL-2003-Khoussainov #algebra #data type #on the #specification: On Algebraic Specifications of Abstract Data Types (BK), pp. 299–313.
TLCA-2003-Blanqui #algebra #calculus #induction: Inductive Types in the Calculus of Algebraic Constructions (FB), pp. 46–59.
DAC-2002-PeymandoustMS #algebra #embedded #library #using: Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.
DATE-2002-PeymandoustSM #algebra #embedded #optimisation #power management #using: Low Power Embedded Software Optimization Using Symbolic Algebra (AP, TS, GDM), pp. 1052–1058.
VLDB-2002-OzsoyogluAAOUO #algebra #database: Sideway Value Algebra for Object-Relational Databases (GÖ, AAH, ISA, SAÖ, ÖU, ZMÖ), pp. 59–70.
FASE-2002-Cerone #algebra #implementation #process: Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.
FoSSaCS-2002-Cirstea #algebra #logic #on the #reachability #specification: On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability (CC), pp. 82–97.
FoSSaCS-2002-FerrariMP #algebra #calculus: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.
SAS-2002-Esparza #algebra #approach #concurrent #static analysis: An Algebraic Approach to the Static Analysis of Concurrent Software (JE), p. 3.
STOC-2002-AroraK #algebra #semistructured data: Fitting algebraic curves to noisy data (SA, SK), pp. 162–169.
STOC-2002-ChienRS #algebra #approximate: Clifford algebras and approximating the permanent (SC, LER, AS), pp. 222–231.
FLOPS-2002-Meer #algebra #consistency #constraints #on the #source code: On Consistency and Width Notions for Constraint Programs with Algebraic Constraints (KM), pp. 88–102.
CIAA-2002-BrzozowskiG #algebra #simulation: Simulation of Gate Circuits in the Algebra of Transients (JAB, MG), pp. 57–66.
CIAA-2002-GheorghiuB #algebra: Feedback-Free Circuits in the Algebra of Transients (MG, JAB), pp. 106–116.
ICALP-2002-GrigorievHP #algebra #bound #exponential #proving: Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.
ICALP-2002-MeseguerR #algebra #approach #specification: A Total Approach to Partial Algebraic Specification (JM, GR), pp. 572–584.
ICALP-2002-Srba #algebra #process #similarity: Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard (JS), pp. 716–727.
IFM-2002-LopezNR #algebra #probability #process: Stochastic Process Algebras Meet Eden (NL, MN, FR), pp. 29–48.
ICGT-2002-MontanariR #algebra #graph grammar #linear #order: Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.
ICPR-v1-2002-Auclair-FortierPZA #algebra #approach: A Computational Algebraic Topology Approach for Optical Flow (MFAF, PP, DZ, MA), pp. 352–355.
SAC-2002-DingKRP #algebra: The P-tree algebra (QD, MK, AR, WP), pp. 426–431.
CSL-2002-EsikL #algebra #normalisation: Greibach Normal Form in Algebraically Complete Semirings (ZÉ, HL), pp. 135–150.
LICS-2002-BenediktL #algebra #automaton #logic #query: Tree Extension Algebras: Logics, Automata, and Query Languages (MB, LL), p. 203–?.
LICS-2002-SoltysC #algebra #complexity #linear #proving: The Proof Complexity of Linear Algebra (MS, SAC), pp. 335–344.
WICSA-2001-BernardoCD #algebra #architecture #detection #process: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems (MB, PC, LD), pp. 77–86.
ASE-2001-FahmyHC #algebra #architecture: Wins and Losses of Algebraic Transformations of Software Architectures (HF, RCH, JRC), pp. 51–62.
DAC-2001-PeymandoustM #algebra #algorithm #synthesis #using: Using Symbolic Algebra in Algorithmic Level DSP Synthesis (AP, GDM), pp. 277–282.
ESOP-2001-ClementsFF #algebra #modelling: Modeling an Algebraic Stepper (JC, MF, MF), pp. 320–334.
FoSSaCS-2001-PlotkinP #algebra: Adequacy for Algebraic Effects (GDP, JP), pp. 1–24.
TACAS-2001-AndovaB #abstraction #algebra #probability #process: Abstraction in Probabilistic Process Algebra (SA, JCMB), pp. 204–219.
TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using: First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.
IWPC-2001-LuccaFC #algebra #comprehension #object-oriented #representation #thread: An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension (GADL, ARF, UdC), pp. 176–185.
FLOPS-J1-1998-Takahashi01 #algebra: λ-Representable Functions Over Term Algebras (MT), pp. 3–29.
DLT-2001-FernauS #algebra #perspective: Valuated and Valence Grammars: An Algebraic View (HF, RS), pp. 281–292.
ICALP-2001-Blaser #algebra #bound: Improvements of the Alder-Strassen Bound: Algebras with Nonzero Radical (MB), pp. 79–91.
ICALP-2001-HonsellMS #algebra #approach #axiom: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS (FH, MM, IS), pp. 963–978.
ICFP-2001-ZengerO #algebra #data type: Extensible Algebraic Datatypes with Defaults (MZ, MO), pp. 241–252.
CIKM-2001-WyssG #algebra #database #integration #metadata #relational: A Relational Algebra for Data/Metadata Integration in a Federated Database System (CMW, DVG), pp. 65–72.
SAC-2001-Kandemir #algebra #algorithm #linear #locality #optimisation: A dynamic locality optimization algorithm for linear algebra codes (MTK), pp. 632–635.
ESEC-FSE-2001-RamseyC #algebra #approach: An algebraic approach to file synchronization (NR, EC), pp. 175–185.
CAV-2001-BlomFGLLP #algebra #named #specification #tool support: µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.
CSL-2001-Akama #algebra #combinator #logic #towards #λ-calculus: Limiting Partial Combinatory Algebras towards Infinitary λ-Calculi and Classical Logic (YA), pp. 399–413.
CSL-2001-PowerT #algebra: An Algebraic Foundation for Higraphs (JP, KT), pp. 145–159.
RTA-2001-BerarducciB #algebra #higher-order #recursion: General Recursion on Second Order Term Algebras (AB, CB), pp. 15–30.
ASE-2000-ChaudetO #algebra #architecture #evolution #named #process: pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems (CC, FO), pp. 245–248.
VLDB-2000-LakshmananJN #algebra #data mining #mining: The 3W Model and Algebra for Unified Data Mining (TJ, LVSL, RTN), pp. 21–32.
FASE-2000-Dierks #algebra #process #realtime #source code: A Process Algebra for Real-Time Programs (HD), pp. 66–81.
FASE-2000-PadbergHG #algebra #safety: Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
FoSSaCS-2000-Thiemann #adaptation #algebra #programming: An Algebraic Foundation for Adaptive Programming (PT), pp. 314–328.
CSMR-2000-BrilFGKW #algebra #multi #using: Hiding Expressed Using Relation Algebra with Multi-Relations — Oblique Lifting and Lowering for Unbalanced Systems (RJB, LMGF, AG, RLK, TW), pp. 33–44.
ICALP-2000-BruniS #algebra #modelling: Algebraic Models for Contextual Nets (RB, VS), pp. 175–186.
ICALP-2000-BulatovKJ #algebra #constraints #finite #problem: Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.
IFM-2000-HermannsKMS #algebra #model checking #probability #process #towards: Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.
CSCW-2000-SingleySFFS #algebra #collaboration #learning: Algebra jam: supporting teamwork and managing roles in a collaborative learning environment (MKS, MS, PGF, RGF, SS), pp. 145–154.
ICML-2000-LauDW #algebra #programming: Version Space Algebra and its Application to Programming by Demonstration (TAL, PMD, DSW), pp. 527–534.
ICPR-v1-2000-Bayro-Corrochano #algebra #invariant #using: Computing Depth, Shape and Motion Using Invariants and Incidence Algebra (EBC), pp. 1881–1884.
ICPR-v1-2000-TasdizenC #algebra #bound #estimation #image #modelling: Boundary Estimation from Intensity/Color Images with Algebraic Curve Models (TT, DBC), pp. 1225–1228.
ICPR-v3-2000-Ghosal #algebra #on the: On Algebraic Smoothing: Theory and Results (SG), pp. 3021–3024.
OOPSLA-2000-LujanFG #algebra #analysis #design #linear #named #object-oriented: OoLALA: an object oriented analysis and design of numerical linear algebra (ML, TLF, JRG), pp. 229–252.
FSE-2000-BernardoCD #algebra #architecture #formal method #on the #process: On the formalization of architectural types with process algebras (MB, PC, LD), pp. 140–148.
CADE-2000-Sinz #algebra #automation #proving #theorem proving: System Description: ARA — An Automatic Theorem Prover for Relation Algebras (CS), pp. 177–182.
CL-2000-KozenP #algebra #certification #compilation #optimisation #testing #using: Certification of Compiler Optimizations Using Kleene Algebra with Tests (DK, MCP), pp. 568–582.
LICS-2000-BergmanS #algebra #complexity #problem: Computational Complexity of Some Problems Involving Congruences on Algebras (CB, GS), pp. 168–174.
LICS-2000-KorovinV #algebra: A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering (KK, AV), pp. 291–302.
LICS-2000-RybinaV #algebra: A Decision Procedure for Term Algebras with Queues (TR, AV), pp. 279–290.
RTA-2000-Struth #algebra: An Algebra of Resolution (GS), pp. 214–228.
PODS-1999-BusscheW #algebra #polymorphism #relational #type inference: Type Inference in the Polymorphic Relational Algebra (JVdB, EW), pp. 80–90.
PODS-1999-KleinbergT #algebra #analysis #hypermedia #information retrieval #linear: Applications of Linear Algebra in Information Retrieval and Hypertext Analysis (JMK, AT), pp. 185–193.
SIGMOD-1999-AdaliSS #algebra #multi: A Multimedia Presentation Algebra (SA, MLS, VSS), pp. 121–132.
FASE-1999-Muller-OlmSC #algebra #approach #component #evolution #on the: On the Evolution of Reactive Components: A Process-Algebraic Approach (MMO, BS, RC), pp. 161–175.
FoSSaCS-1999-Benke #algebra #ml #type system: An Algebraic Characterization of Typability in ML with Subtyping (MB), pp. 104–119.
TACAS-1999-BastenH #algebra #process: Process Algebra in PVS (TB, JH), pp. 270–284.
STOC-1999-OlshevskyS #algebra #approach #geometry #performance: A Displacement Approach to Efficient Decoding of Algebraic-Geometric Codes (VO, MAS), pp. 235–244.
ICALP-1999-Galpin #algebra #comparison #process #using: Comparison of Process Algebra Equivalences Using Formats (VG), pp. 341–350.
ICALP-1999-HirshfeldJ #algebra #bisimulation #decidability #process: Bisimulation Equivanlence Is Decidable for Normed Process Algebra (YH, MJ), pp. 412–421.
ICALP-1999-KuceraM #algebra #process #simulation: Simulation Preorder on Simple Process Algebras (AK, RM), pp. 503–512.
FM-v2-1999-DiaconescuFI #algebra #component #specification #verification: Component-Based Algebraic Specification and Verification in CafeOBJ (RD, KF, SI), pp. 1644–1663.
FM-v2-1999-GoguenR #algebra: Hiding More of Hidden Algebra (JAG, GR), pp. 1704–1719.
FM-v2-1999-JimenezO #algebra #framework #higher-order: An Algebraic Framework for Higher-Order Modules (RMJ, FO), pp. 1778–1797.
FM-v2-1999-Nakajima #algebra #development #framework #object-oriented #specification #using: Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks (SN), pp. 1664–1683.
FM-v2-1999-OcicaI #algebra #aspect-oriented #corba #syntax: Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL (RO, DI), p. 1863.
IFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification: A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.
IFM-1999-TreharneS #algebra #process #using: Using a Process Algebra to Control B Operations (HT, SS), pp. 437–456.
AGTIVE-1999-Taentzer #algebra #graph transformation #named: AGG: A Tool Environment for Algebraic Graph Transformation (GT), pp. 481–488.
HCI-CCAD-1999-VirvouM #algebra #authoring: An authoring tool for algebra-related domains (MV, MM), pp. 647–651.
ECOOP-1999-GaspariZ #algebra #corba #process #specification: Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.
TOOLS-ASIA-1999-BuehrerL #algebra #ontology #reasoning: Class Algebra for Ontology Reasoning (DJB, CHL), pp. 2–13.
TOOLS-ASIA-1999-ZhangD #algebra #object-oriented #web: An Object Oriented Data Model for Web and Its Algebra (DZ, YD), pp. 83–88.
TOOLS-PACIFIC-1999-FavreC #algebra #specification #uml: Integrating UML and Algebraic Specification Techniques (LF, SC), pp. 151–162.
LOPSTR-1999-Sannella #algebra #development #refinement #specification: Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.
ESEC-FSE-1999-WermelingerF #algebra #architecture #configuration management: Algebraic Software Architecture Reconfiguration (MW, JLF), pp. 393–409.
CAV-1999-LangerakB #algebra #finite #process: A Complete Finite Prefix for Process Algebra (RL, EB), pp. 184–195.
CAV-1999-MatthewsL #algebra #architecture: Elementary Microarchitecture Algebra (JM, JL), pp. 288–300.
CSL-1999-KuceraE #algebra #logic: A Logical Viewpoint on Process-Algebraic Quotients (AK, JE), pp. 499–514.
ICLP-1999-SeresSH #algebra #logic programming: Algebra of Logic Programming (SS, JMS, CARH), pp. 184–199.
LICS-1999-HopkinsK #algebra #commutative #theorem: Parikh’s Theorem in Commutative Kleene Algebra (MWH, DK), pp. 394–401.
LICS-1999-Kozen #algebra #hoare #logic #on the #testing: On Hoare Logic and Kleene Algebra with Tests (DK), pp. 167–172.
RTA-1999-BlanquiJO #algebra #calculus: The Calculus of algebraic Constructions (FB, JPJ, MO), pp. 301–316.
RTA-1999-Marcinkowski #algebra #formal method: Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol (JM), pp. 92–102.
TLCA-1999-Damiani #algebra #data type #detection: Useless-Code Detection and Elimination for PCF with Algebraic Data types (FD), pp. 83–97.
ASE-1998-Dimitrakos #algebra #diagrams #specification: Parameterising (Algebraic) Specifications on Diagrams (TD), pp. 221–224.
SIGMOD-1998-AdaliBSS #algebra #multi: A Multi-Similarity Algebra (SA, PAB, MLS, VSS), pp. 402–413.
ITiCSE-1998-Kolikant #algebra #how #student: “How much did you get?” (poster): the influence of algebraic knowledge of computer science students (YBDK), p. 287.
FASE-1998-Grosse-Rhode #algebra #composition: Algebra Transformation Systems and their Composition (MGR), pp. 107–122.
WRLA-1998-DuranM #algebra #maude: An extensible module algebra for Maude (FD, JM), pp. 174–195.
WCRE-1998-Holt #algebra #architecture #relational #using: Structural Manipulations of Software Architecture using Tarski Relational Algebra (RCH), pp. 210–219.
STOC-1998-HuangR #algebra #approach #black box #composition #problem #set: A Black Box Approach to the Algebraic Set Decomposition Problem (MDAH, AJR), pp. 497–506.
STOC-1998-ShokrollahiW #algebra #bound #geometry: Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound (MAS, HW), pp. 241–248.
ICALP-1998-RaymondTT #algebra #approach #communication #complexity: An Algebraic Approach to Communication Complexity (JFR, PT, DT), pp. 29–40.
TAGT-1998-LlabresR #algebra #category theory: Pushout Complements for Arbitrary Partial Algebras (ML, FR), pp. 131–144.
ICPR-1998-RiazanovSZ #algebra #logic #optimisation #pattern matching #pattern recognition #recognition: Mathematical methods for pattern recognition: logic, optimization, algebraic approaches (VVR, OVS, YIZ), pp. 831–834.
SIGIR-1998-SmithS #algebra #named #probability #web: PWA: An Extended Probabilistic Web Algebra (DS, RS), p. 388.
TOOLS-PACIFIC-1998-Favre #algebra #object-oriented #reuse #specification: Object Oriented Reuse through Algebraic Specifications (LF), pp. 101–112.
SAC-1998-Nola #algebra #aspect-oriented #fuzzy #logic: Algebraic aspects of fuzzy logic (invited talk) (AdN), pp. 255–261.
CADE-1998-FeveW #algebra #geometry #proving #theorem #using: Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules (SF, DW), pp. 17–31.
CSL-1998-KempeS #algebra #first-order #on the #power of #specification: On the Power of Quantifers in First-Order Algebraic Specification (DK, AS), pp. 45–57.
RTA-1998-Akama #algebra #combinator: SN Combinators and Partial Combinatory Algebras (YA), pp. 302–316.
RTA-1998-GuoNS #algebra #process #unification: Unification and Matching in Process Algebras (QG, PN, SKS), pp. 91–105.
PODS-1997-GuchtDGV #algebra #database #decidability #on the #set: On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases (FD, MG, LV, DVG), pp. 68–77.
ITiCSE-WGR-1997-Glazunov97a #algebra: Laboratory materials for computation in algebra and informatik (CS)(demonstration) (NMG), p. 150.
SAS-1997-CodishLB #algebra #analysis #approach #logic programming #source code: An Algebraic Approach to Sharing Analysis of Logic Programs (MC, VL, FB), pp. 68–82.
STOC-1997-Mulmuley #algebra #exclamation #proving: Is There an Algebraic Proof for P != NC? (Extended Abstract) (KM), pp. 210–219.
DLT-1997-Bozapalidis #algebra: Mezei-Wright Theory on N-Subsets of an Algebra (SB), pp. 291–298.
DLT-1997-Polemi #algebra #geometry: An Algebraic-Geometric Public Key Cryptosystem (DP), pp. 521–528.
DLT-1997-RahonisS #algebra: Hierarchies of synchronized and algebraic forests (GR, KS), pp. 447–460.
DLT-1997-RaskovaR #algebra #formal method #recursion: Recursive Constructions in the Theory of P.I. Algebras (TGR, PIR), pp. 559–566.
ICALP-1997-Bernardo #algebra: An Algebra-Based Method to Associate Rewards with EMPA Terms (MB), pp. 358–368.
ICALP-1997-Fokkink #algebra #axiom #process: Axiomatizations for the Perpetual Loop in Process Algebra (WF), pp. 571–581.
IFL-1997-DidrichGMP #algebra #in the large #programming: Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.
GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation: Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation: Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
TOOLS-ASIA-1997-WuW #algebra #database #graph #object-oriented: Directed Graph Based Association Algebra for Object-Oriented Databases (SW, NW), pp. 53–59.
TOOLS-ASIA-1997-Zamulin #algebra #modelling #object-oriented #semantics: Algebraic Semantics of Object-Oriented Data Models (AVZ), pp. 43–52.
ALP-1997-BartheR #algebra #approach #termination #type system: Termination of Algebraic Type Systems: The Syntactic Approach (GB, FvR), pp. 174–193.
ALP-1997-Steggles #algebra #higher-order #specification: Parameterised Higher-Order Algebraic Specifications (LJS), pp. 76–98.
PLILP-1997-CompagnoniF #algebra #calculus #on the: On Object Calculus with Algebraic Rewriting (ABC, MF), pp. 17–31.
ICSE-1997-NakajimaF #algebra #modelling #object-oriented #specification: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ (SN, KF), pp. 34–44.
ASF+SDF-1997-Brunekreef #algebra #prolog #source code #specification: An algebraic specification of a transformation tool for Prolog programs (JB), p. 7.
CADE-1997-OheimbG #algebra #named #proving: RALL: Machine-Supported Proofs for Relation Algebra (DvO, TFG), pp. 380–394.
CSL-1997-Hollenberg #algebra #axiom #equation: Equational Axioms of Test Algebra (MH), pp. 295–310.
CSL-1997-Power #algebra #category theory: Categories with Algebraic Structure (AJP), pp. 389–405.
ILPS-1997-Arenas-SanchezR #algebra #calculus #functional #lazy evaluation #logic programming #polymorphism: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 53–67.
LICS-1997-EscardoS #algebra #induction #recursion: Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras (MHE, TS), pp. 376–386.
LICS-1997-Kozen #algebra #complexity #on the #reasoning: On the Complexity of Reasoning in Kleene Algebra (DK), pp. 195–202.
KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis: Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
KBSE-1996-Jr.B #algebra #algorithm #synthesis: Synthesis of Local Search Algorithms by Algebraic Means (RPGJ, PDB), p. 7.
SIGMOD-1996-CherniackZ #algebra #rule-based: Rule Languages and Internal Algebras for Rule-Based Optimizers (MC, SBZ), pp. 401–412.
SIGMOD-1996-SeshadriHPLRSSS #algebra #cost analysis #implementation #optimisation: Cost-Based Optimization for Magic: Algebra and Implementation (PS, JMH, HP, TYCL, RR, DS, PJS, SS), pp. 435–446.
ITiCSE-1996-WohlgehagenN #algebra: Computer-based high school algebra I (KW, CN), p. 230.
TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net: Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.
TACAS-1996-HermannsMR #algebra #analysis #probability #process: A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.
TACAS-1996-Kozen #algebra #commutative: Kleene Algebra withTests and Commutativity Conditions (DK), pp. 14–33.
TACAS-1996-MichelAV #algebra #process: Permutable Agents in Process Algebras (FM, PA, FV), pp. 187–206.
STOC-1996-Basu #algebra #bound #on the #set: On Bounding the Betti Numbers and Computing the Euler Characteristic of Semi-Algebraic Sets (SB), pp. 408–417.
STOC-1996-BasuPR #algebra #set: Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract) (SB, RP, MFR), pp. 168–173.
STOC-1996-GrigorievKHS #algebra #bound #random: A Lower Bound for Randomized Algebraic Decision Trees (DG, MK, FMadH, RS), pp. 612–619.
ICALP-1996-ChenN #algebra: Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.
CIKM-1996-LinO #algebra #query: Processing OODB Queries by O-Algebra (JL, ZMÖ), pp. 134–142.
ICPR-1996-AnL #algebra: Stereo vision based on algebraic curves (MHA, CNL), pp. 476–482.
ICPR-1996-Bayro-CorrochanoBS #algebra #geometry #network #self #using: A new self-organizing neural network using geometric algebra (EBC, SB, GS), pp. 555–559.
ICPR-1996-Bayro-CorrochanoLS #algebra #framework #geometry #using: Geometric algebra: a framework for computing point and line correspondences and projective structure using n uncalibrated cameras (EBC, JL, GS), pp. 334–338.
ICPR-1996-KimHN #3d #algebra #modelling: Reconstructing 3D models with algebraic curved surfaces from three-view drawings (CHK, MWH, SN), pp. 854–858.
KR-1996-JonssonDB #algebra #classification #subclass: Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
ALP-1996-Almendros-JimenezGG #algebra #functional #logic programming #order #polymorphism #semantics: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types (JMAJ, AGF, AGL), pp. 299–313.
ALP-1996-AnconaZ #algebra #approach #composition #mixin: An Algebraic Approach to Mixins and Modularity (DA, EZ), pp. 179–193.
ALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming: A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.
PLILP-1996-Mateos-LagoR #algebra #inheritance #specification: GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies (JML, MRA), pp. 62–76.
CADE-1996-LintonMPS #algebra #automation #deduction: Algebra and Automated Deduction (SL, UM, PP, DS), pp. 448–462.
CAV-1996-Avrunin #algebra #geometry #model checking #using: Symbolic Model Checking Using Algebraic Geometry (GSA), pp. 26–37.
CSL-1996-BartheM #algebra #on the #reduction #type system: On the Subject Reduction Property for Algebraic Type Systems (GB, PAM), pp. 34–57.
CSL-1996-Gore #algebra #calculus: Cut-free Display Calculi for Relation Algebras (RG), pp. 198–210.
CSL-1996-KozenS #algebra #decidability #testing: Kleene Algebra with Tests: Completeness and Decidability (DK, FS), pp. 244–259.
ISSTA-1996-HughesS #algebra #named #object-oriented #source code #testing: Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects (MH, PDS), pp. 53–61.
LICS-1996-BethkeKV #algebra #combinator #normalisation: Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
LICS-1996-NatarajanC #algebra #performance #process: An Algebraic Theory of Process Efficiency (VN, RC), pp. 63–72.
RTA-1996-Luth #algebra #composition #proving #term rewriting #theorem: Compositional Term Rewriting: An Algebraic Proof of Toyama’s Theorem (CL), pp. 261–275.
PODS-1995-ConsensM #algebra #query: Algebras for Querying Text Regions (MPC, TM), pp. 11–22.
FPLE-1995-Fokker #algebra #functional #source code: Explaining Algebraic Theory with Functional Programs (JF), pp. 139–158.
DLT-1995-KudlekM #algebra #distributed: Rational and Algebraic Languages with Distributed Catenation (MK, AM), pp. 129–138.
ICALP-1995-Ben-AmramG #algebra #bound #random: Lower Bounds on Algebraic Random Access Machines (Extended Abstract) (AMBA, ZG), pp. 360–371.
ICALP-1995-Kuich #algebra: The Algebraic Equivalent of AFL Theory (WK), pp. 39–50.
AFP-1995-KieburtzL95 #algebra #programming: Programming with Algebras (RBK, JL), pp. 267–307.
AdaEurope-1995-BuchsBR #algebra #modelling #validation: Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.
CIKM-1995-Wang #algebra #database #multi #query: Algebraic Query Languages on Temporal Databases with Multiple Time Granularities (XSW), pp. 304–311.
OOPSLA-1995-RossieF #algebra #semantics: An Algebraic Semantics of Subobjects (JGRJ, DPF), pp. 187–199.
ICSE-1995-ClarkeL #algebra #constraints #process #realtime #testing: Testing Real-Time Constraints in a Process Algebraic Setting (DC, IL), pp. 51–60.
ASF+SDF-1995-Heering #algebra #imperative #source code: An Algebraic Machine for Imperative Programs (JH), pp. 27–28.
CAV-1995-DsouzaB #algebra #generative #modelling #process: Generating BDD Models for Process Algebra Terms (AD, BB), pp. 16–30.
RTA-1995-BaaderS #algebra #constraints #perspective #theorem proving: Combination of Constraint Solving Techniques: An Algebraic POint of View (FB, KUS), pp. 352–366.
DAC-1994-Minato #algebra #set #using: Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs (SiM), pp. 420–424.
PODS-1994-SuciuP #algebra #algorithm #exponential #set #transitive: Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure (DS, JP), pp. 201–209.
VLDB-1994-BaralisW #algebra #analysis #approach #database: An Algebraic Approach to Rule Analysis in Expert Database Systems (EB, JW), pp. 475–486.
VLDB-1994-PoulovassilisS #algebra #database #optimisation #programming language #query: Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages (AP, CS), pp. 415–426.
ESOP-1994-AndersenM #algebra #multi: An Asynchronous Algebra with Multiple Clocks (HRA, MM), pp. 58–73.
ESOP-1994-Walker #algebra #proving: Algebraic Proofs of Properties of Objects (DW), pp. 501–516.
ICSM-1994-PaulP #algebra #query #source code #using: Querying Source Code Using an Algebraic Query Language (SP, AP), pp. 127–136.
SAS-1994-ArmstrongMSS #algebra #analysis #dependence #performance #representation: Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation (TA, KM, PS, HS), pp. 266–280.
STOC-1994-GrigorievKV #algebra #bound #testing: Lower bounds on testing membership to a polyhedron by algebraic decision trees (DG, MK, NV), pp. 635–644.
ICALP-1994-CosmoK #algebra #first-order #recursion #term rewriting #λ-calculus: Combining First Order Algebraic Rewriting Systems, Recursion and Extensional λ Calculi (RDC, DK), pp. 462–472.
FME-1994-FencottGLOP #algebra #formal method #modelling #process #semantics #using: Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra (PCF, AG, MAL, SJO, SP), pp. 681–702.
LFP-1994-Cosmadakis #algebra #proving: Complete Proof Systems for Algebraic Simply-Typed Terms (SSC), pp. 220–226.
TAGT-1994-AlberichBRVW #algebra #approach #graph transformation: A Partial Algebras Approach to Graph Transformation (RA, PB, FR, GV, BW), pp. 1–15.
TAGT-1994-Banach #algebra #graph grammar: The Contractum in Algebraic Graph Rewriting (RB), pp. 16–26.
TAGT-1994-Drewes #algebra #graph #transducer: The Use of Tree Transducers to Compute Translations Between Graph Algebras (FD), pp. 196–210.
CIKM-1994-LiuR #algebra #relational: Algebraic Equivalences Among Nested Relational Expressions (HCL, KR), pp. 234–243.
ALP-1994-CodishM #algebra #approximate #proving: Proving Implications by Algebraic Approximation (MC, GM), pp. 6–22.
CADE-1994-Jackson #algebra #type system: Exploring Abstract Algebra in Constructive Type Theory (PJ), pp. 590–604.
CADE-1994-Wang #algebra #geometry #proving: Algebraic Factoring and Geometry Proving (DW), pp. 386–400.
ICLP-1994-KirchnerR #algebra #constraints #theorem proving: Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.
ICLP-1994-Silcrat #algebra #logic #static analysis: Logic, Algebra and Static Analysis in DM Systems, the IE Way (EDS), p. 744.
ILPS-1994-CominiL #algebra: An Algebraic Theory of Observables (MC, GL), pp. 172–186.
LICS-1994-BarbaneraFG #algebra #composition #confluence #normalisation: Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.
LICS-1994-BrogiT #algebra #logic #semantics #source code: Semantics of Meta-Logic in an Algebra of Programs (AB, FT), pp. 262–270.
DAC-1993-IqbalPDP #algebra #using: Critical Path Minimization Using Retiming and Algebraic Speed-Up (ZI, MP, SD, ACP), pp. 573–577.
PODS-1993-BusscheGV #algebra #programming #relational: Reflective Programming in the Relational Algebra (JVdB, DVG, GV), pp. 17–25.
PODS-1993-GrumbachM #algebra #towards: Towards Tractable Algebras for Bags (SG, TM), pp. 49–58.
SIGMOD-1993-BeeriM #algebra #on the #power of #recursion: On the Power of Algebras with Recursion (CB, TM), pp. 377–386.
VLDB-1993-WolniewiczG #algebra #database #optimisation: Algebraic Optimization of Computations over Scientific Databases (RHW, GG), pp. 13–24.
WSA-1993-Benton #algebra #data type #lazy evaluation #strict: Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.
ICALP-1993-Dumas #algebra #aspect-oriented: Algebraic Aspects of B-regular Series (PD), pp. 457–468.
ICALP-1993-Wilke #algebra #testing: Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability (TW), pp. 347–358.
HCI-SHI-1993-SaitoN #algebra #comprehension #visual notation: An Algebraic System that Symbolic Expressions Can Interact with Graphical Representations for Understanding Mathematics (HS, MN), pp. 267–272.
ECOOP-1993-RoseS #algebra #named #object-oriented: TOOA: A Temporal Object-Oriented Algebra (ER, AS), pp. 297–325.
TOOLS-USA-1993-Sanders #algebra #case study #eiffel #object-oriented #programming: A Case Study in Object Oriented Programming: Algebraic Structures in Eiffel (PS), pp. 379–388.
POPL-1993-ReickeS #algebra #reasoning: Algebraic Reasoning and Completeness in Typed Languages (JGR, RS), pp. 185–195.
FSE-1993-Hoare #algebra #modelling: Algebra and Models (CARH), pp. 1–8.
CSL-1993-BergstraBP #algebra #combinator #process: Process Algebra with Combinators (JAB, IB, AP), pp. 36–65.
RTA-1993-GuiO #algebra #higher-order #named #specification: LAMBDALG: Higher Order Algebraic Specification Language (YG, MO), pp. 462–466.
RTA-1993-LoweB #algebra #graph grammar #implementation #named: AGG — An Implementation of Algebraic Graph Rewriting (ML, MB), pp. 451–456.
PODS-1992-Ross #algebra #calculus: Relations with Relation Names as Arguments: Algebra and Calculus (KAR), pp. 346–353.
STOC-1992-AdlerB #algebra #algorithm #linear #polynomial #programming: Polynomial Algorithms for Linear Programming over the Algebraic Numbers (IA, PAB), pp. 483–494.
ICALP-1992-SannellaT #algebra #development #source code #specification #towards: Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (DS, AT), pp. 656–671.
TOOLS-EUROPE-1992-FritzsonVHF #algebra #analysis #industrial #modelling #object-oriented: Industrial Application of OO Mathematical Modeling and Computer Algebra in Mechanical Analysis (PF, LV, JH, DF), pp. 167–181.
ALP-1992-EhrigP #algebra #equation #specification: High-Level-Replacement Systems for Equational Algebraic Specifications (HE, FPP), pp. 3–20.
ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification #tool support: Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.
ALP-1992-Lysne #algebra #consistency #proving #semantics: Proof by Consistency in Constructive Systems with Final Algebra Semantics (OL), pp. 276–290.
PLILP-1992-Reus #algebra #higher-order #implementation #specification: Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing (BR), pp. 483–484.
CADE-1992-Boudet #algebra #order #unification: Unification in Order-Sorted Algebras with Overloading (AB), pp. 193–207.
CAV-1992-FischerST #algebra #case study #distributed #process #verification: Verification in Process Algebra of the Distributed Control of Track Vehicles — A Case Study (SF, AS, DT), pp. 192–205.
CSL-1992-GlavanR #algebra #communication #evolution: Communicating Evolving Algebras (PG, DR), pp. 182–215.
JICSLP-1992-BoerP #algebra #concurrent #constraints #process #programming: A Process Algebra of Concurrent Constraint Programming (FSdB, CP), pp. 463–477.
JICSLP-1992-KirchnerR #algebra #algorithm #constraints #finite #theorem proving #unification: A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms (HK, CR), pp. 225–239.
LICS-1992-BoerKP #algebra #communication #process: Asynchronous Communication in Process Algebra (FSdB, JWK, CP), pp. 137–147.
DAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric: FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.
SIGMOD-1991-VandenbergD #algebra #array #inheritance: Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance (SLV, DJD), pp. 158–167.
VLDB-1991-Albert #algebra #data type: Algebraic Properties of Bag Data Types (JA), pp. 211–219.
ESOP-J-1990-Reps91 #algebra #integration: Algebraic Properties of Program Integration (TWR), pp. 139–215.
ICALP-1991-AcetoH #algebra #finite #process #refinement: Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
ICALP-1991-Comon #algebra #axiom: Complete Axiomatizations of Some Quotient Term Algebras (HC), pp. 469–480.
VDME-1991-1-Bril #algebra #specification #using: A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation (RJB), pp. 106–124.
CAiSE-1991-OrlowskaJ #algebra #relational: A Funtional Method of Data Processing based on Relational Algebra (MEO, KGJ), pp. 98–123.
POPL-1991-JouvelotG #algebra #re-engineering: Algebraic Reconstruction of Types and Effects (PJ, DKG), pp. 303–310.
POPL-1991-PingaliBJMS #algebra #approach #dependence #graph: Dependence Flow Graphs: An Algebraic Approach to Program Dependencies (KP, MB, RJ, MM, PS), pp. 67–78.
ESEC-1991-DauchyM #algebra #automation #specification #testing: Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module (PD, BM), pp. 80–100.
ESEC-1991-Parisi-PresicceP #algebra #inheritance #object-oriented #programming #type system: An Algebraic View of Inheritance and Subtyping in Object Oriented Programming (FPP, AP), pp. 364–379.
ESEC-1991-ShepperdI #algebra #metric #validation: Algebraic Validation of software Metrics (MJS, DCI), pp. 343–363.
CAV-1991-CourcoubetisGS #algebra #process: An Algebra of Boolean Processes (CC, SG, JS), pp. 454–465.
CAV-1991-Jeffrey #algebra #linear #process: A Linear Time Process Algebra (AJ), pp. 432–442.
CAV-1991-Lin #algebra #named #process: PAM: A Process Algebra Manipulator (HL), pp. 136–146.
CAV-1991-NicollinS #algebra #bibliography #process #synthesis: An Overview and Synthesis on Timed Process Algebras (XN, JS), pp. 376–398.
CSL-1991-Leiss #algebra #recursion #towards: Towards Kleene Algebra with Recursion (HL), pp. 242–256.
ICLP-1991-Marre #algebra #automation #logic programming #specification #testing #towards #using: Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming (BM), pp. 202–219.
ICLP-1991-RossS #algebra #prolog #semantics #termination: An Algebraic Semantics of Prolog Program Termination (BJR, AS), pp. 316–330.
LICS-1991-JouannaudO #algebra #execution #higher-order #specification: A Computation Model for Executable Higher-Order Algebraic Specification Languages (JPJ, MO), pp. 350–361.
LICS-1991-Kozen #algebra #theorem: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (DK), pp. 214–225.
LICS-1991-MalacariaR #algebra #λ-calculus: Some Results on the Interpretation of λ-calculus in Operator Algebras (PM, LR), pp. 63–72.
LICS-1991-Vaandrager #algebra #automaton #on the #process: On the Relationship Between Process Algebra and Input/Output Automata (FWV), pp. 387–398.
RTA-1991-BaaderN #algebra #commutative #equation #how #morphism #unification: Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification (FB, WN), pp. 124–135.
RTA-1991-Dougherty #algebra #λ-calculus: Adding Algebraic Rewriting to the Untyped λ Calculus (Extended Abstract) (DJD), pp. 37–48.
RTA-1991-Socher-Ambrosius #algebra #convergence #term rewriting: Boolean Algebra Admits No Convergent Term Rewriting System (RSA), pp. 264–274.
TAV-1991-Sankar #algebra #consistency #runtime #specification: Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.
TAV-1991-YehY #algebra #analysis #composition #process #reachability #using: Compositional Reachability Analysis Using Process Algebra (WJY, MY), pp. 49–59.
VLDB-1990-TuzhilinC #algebra #relational: A Temporal Relational Algebra as Basis for Temporal Relational Completeness (AT, JC), pp. 13–23.
ESOP-1990-Reps #algebra #integration: Algebraic Properties of Program Integration (TWR), pp. 326–340.
ICALP-1990-Comon #algebra #equation #order: Equational Formulas in Order-Sorted Algebras (HC), pp. 674–688.
ICALP-1990-Kuich #algebra #automaton: ω-Continuous Semirings, Algebraic Systems and Pushdown Automata (WK), pp. 103–110.
ICALP-1990-Moller #algebra #process: The Importance of the Left Merge Operator in Process Algebras (FM), pp. 752–764.
ICALP-1990-Palamidessi #algebra: Algebraic Properties of Idempotent Substitutions (CP), pp. 386–399.
ICALP-1990-PrasadGM #algebra #concurrent #functional #integration #programming #semantics #symmetry: Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming (SP, AG, PM), pp. 765–778.
VDME-1990-DiepenH #algebra #relational #semantics: A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.
VDME-1990-Goguen #algebra #approach #refinement: An Algebraic Approach to Refinement (JAG), pp. 12–28.
GG-1990-ArnborgCPS #algebra #graph #reduction: An Algebraic Theory of Graph Reduction (SA, BC, AP, DS), pp. 70–83.
GG-1990-Courcelle90a #algebra #approach #graph #logic #relational: Graphs as Relational Structures: An Algebraic an Logical Approach (BC), pp. 238–252.
GG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial: Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.
GG-1990-EhringP #algebra #graph grammar #specification: Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (HE, FPP), pp. 292–310.
ALP-1990-Qian #algebra #higher-order: Higher-Order Order-Sorted Algebras (ZQ), pp. 86–100.
ALP-1990-Walters #algebra #hybrid #implementation #specification: Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.
ICSE-1990-NakagawaF #algebra #process: Software Process à la Algebra: OBJ for OBJ (ATN, KF), pp. 12–23.
CADE-1990-BrownA90a #algebra #equation: Cylindric Algebra Equation Solver (FMB, CA), pp. 645–646.
CAV-1990-JosephsU #algebra: An Algebra for Delay-Insensitive Circuits (MBJ, JTU), pp. 343–352.
CAV-1990-MadelaineV #algebra #automaton #process: Finiteness Conditions and Structural Construction of Automata for All Process Algebras (EM, DV), pp. 353–363.
CAV-1990-Yodaiken #algebra #automaton #feedback: The Algebraic Feedback Product of Automata (VY), pp. 263–271.
CSL-1990-BorgerR #algebra #implementation #prolog #towards: From Prolog Algebras Towards WAM — A Mathematical Study of Implementation (EB, DR), pp. 31–66.
LICS-1990-Comon #algebra #equation: Solving Inequations in Term Algebras (Extended Abstract) (HC), pp. 62–69.
LICS-1990-DorreR #algebra #on the: On Subsumption and Semiunification in Feature Algebras (JD, WCR), pp. 300–310.
NACLP-1990-CorradiniM #algebra #logic programming #semantics #source code: An Algebraic Semantics of Logic Programs as Structured Transition Systems (AC, UM), pp. 788–812.
NACLP-1990-KempR #abstract interpretation #algebra #framework #source code: An Algebraic Framework for Abstract Interpretation of Definite Programs (RSK, GAR), pp. 516–530.
NACLP-1990-MancarellaPRT #algebra #logic programming #source code: Algebraic Properties of a Class of Logic Programs (PM, DP, MR, MT), pp. 23–39.
SIGMOD-1989-Colby #algebra #optimisation #query #recursion: A Recursive Algebra and Query Optimization for Nested Relations (LSC), pp. 273–283.
VLDB-1989-Mitschang #algebra #relational: Extending the Relational Algebra to Capture Complex Objects (BM), pp. 297–305.
STOC-1989-Ierardi #algebra #formal method #quantifier: Quantifier Elimination in the Theory of an Algebraically-closed Field (DI), pp. 138–147.
ICALP-1989-ChazelleEGS #algebra: A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.
ICALP-1989-EhrigPO #algebra #on the #roadmap #specification: On Recent Trends in Algebraic Specification (HE, PP, FO), pp. 263–288.
ICALP-1989-TannenG #algebra #confluence #normalisation #polymorphism: Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (VT, JHG), pp. 137–150.
OOPSLA-1989-McDonald #algebra #linear #object-oriented #programming: Object-Oriented Programming for Linear Algebra (JAM), pp. 175–184.
POPL-1989-Mosses #algebra: Unified Algebras and Modules (PDM), pp. 329–343.
ICSE-1989-JadoulDP #agile #algebra #data type #prototype #specification: An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment (LJ, LD, WVP), pp. 74–84.
ICSE-1989-NakagawaF #algebra #approach #composition #process #refinement: Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
CSL-1989-GurevichM #algebra #semantics: Algebraic Operational Semantics and Occam (YG, LSM), pp. 176–192.
LICS-1989-AcetoH #algebra #process #towards: Towards Action-Refinement in Process Algebras (LA, MH), pp. 138–145.
RTA-1989-Birkhoff #algebra #term rewriting: Term Rewriting and Universal Algebra in Historical Perspective (Abstract of Invited Lecture) (GB), p. 1.
RTA-1989-NaoiI #algebra #complexity #semantics #term rewriting: Algebraic Semantics and Complexity of Term Rewriting Systems (TN, YI), pp. 311–325.
PODS-1988-HouOT #algebra #relational #statistics: Statistical Estimators for Relational Algebra Expressions (WCH, GÖ, BKT), pp. 276–287.
PODS-1988-ImielinskiN #algebra #logic programming #source code: Explicit Control of Logic Programs Through Rule Algebra (TI, SAN), pp. 103–116.
PODS-1988-ParedaensG #algebra #using: Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.
SIGMOD-1988-GyssensG #algebra #programming #relational #set: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra (MG, DVG), pp. 225–232.
ESOP-1988-Diepen #algebra #composition #implementation #specification: Implementation of Modular Algebraic Specifications (NWPvD), pp. 64–78.
ESOP-1988-Krieg-Bruckner #algebra #development #formal method: Algebraic Formalisation of Program Development by Transformation (BKB), pp. 34–48.
STOC-1988-Ben-OrC #algebra #constant #using: Computing Algebraic Formulas Using a Constant Number of Registers (MBO, RC), pp. 254–257.
STOC-1988-Canny #algebra #geometry: Some Algebraic and Geometric Computations in PSPACE (JFC), pp. 460–467.
VDME-1988-Haxthausen #algebra #equation #recursion: Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.
ECOOP-1988-ClericiO #algebra #inheritance #named #specification: GSBL: An Algebraic Specification Language Based on Inheritance (SC, FO), pp. 78–92.
ALP-1988-Comon #algebra #effectiveness: An Effective Method for Handling Initial Algebras (HC), pp. 108–118.
ALP-1988-Drosten #algebra #case study #comparative #prolog #source code #specification: Translating Algebraic Specifications to Prolog Programs: A Comparative Study (KD), pp. 137–146.
ALP-1988-HansenL #algebra #composition #specification: Modular Algebraic Specifications (HH, ML), pp. 168–179.
ALP-1988-Hussmann #algebra #nondeterminism #specification #term rewriting: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting (HH), pp. 31–40.
ICSE-1988-NakagawaFTS #algebra #specification #using: Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.
CADE-1988-Buttner #algebra #finite #unification: Unification in Finite Algebras is Unitary (?) (WB), pp. 368–377.
CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving: GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.
CSL-1988-Karpinski #algebra #complexity #problem: Boolean Complexity of Algebraic Interpolation Problems (MK), pp. 138–147.
JICSCP-1988-MancarellaP88 #algebra #logic programming #source code: An Algebra of Logic Programs (PM, DP), pp. 1006–1023.
LICS-1988-Breazu-Tannen88a #algebra #higher-order: Combining Algebra and Higher-Order Types (VT), pp. 82–90.
LICS-1988-CleavelandH #algebra #process: Priorities in Process Algebras (RC, MH), pp. 193–202.
LICS-1988-ComptonL #algebra #logic: An Algebra and a Logic for NC¹ (KJC, CL), pp. 12–21.
LICS-1988-Maher #algebra #axiom #finite #infinity: Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees (MJM), pp. 348–357.
LICS-1988-MeseguerM #algebra #monad #petri net: Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
PODS-1987-Gucht #algebra #on the #power of #relational: On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model (DVG), pp. 302–312.
SIGMOD-1987-McKenzieS #algebra #relational #transaction: Extending the Relational Algebra to Support Transaction Time (LEM, RTS), pp. 467–478.
VLDB-1987-CeriT #algebra #datalog #equation #optimisation #query: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries (SC, LT), pp. 31–41.
VLDB-1987-SernadasSE #algebra #approach #database #object-oriented #specification: Object-Oriented Specification of Databases: An Algebraic Approach (AS, CS, HDE), pp. 107–116.
STOC-1987-Ronyai #algebra: Simple Algebras Are Difficult (LR), pp. 398–408.
STOC-1987-Smolensky #algebra #bound #complexity #formal method: Algebraic Methods in the Theory of Lower Bounds for Boolean Circuit Complexity (RS), pp. 77–82.
ICALP-1987-BaetenG #abstraction #algebra #process: Another Look at Abstraction in Process Algebra (Extended Abstract) (JCMB, RJvG), pp. 84–94.
ICALP-1987-Kreowski #algebra #specification: Partial Algebras Flow From Algebraic Specifications (HJK), pp. 521–530.
FPCA-1987-Wise #algebra #matrix #programming: Matrix algebra and applicative programming (DSW), pp. 134–153.
CSL-1987-GurevichM #algebra #semantics: Algebraic Operational Semantics and Modula-2 (YG, JMM), pp. 81–101.
LICS-1987-GoguenM #algebra #multi #order: Order-Sorted Algebra solves the Constructor-Selector, Multiple (JAG, JM), pp. 18–29.
VLDB-1986-CeriGL #algebra #approach #logic #optimisation #query: Translation and Optimization of Logic Queries: The Algebraic Approach (SC, GG, LL), pp. 395–402.
ESOP-1986-BernotBC #algebra #exception #semantics: Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.
ESOP-1986-Bohm #algebra #recursion: Reducing Recursion to Iteration by Algebraic Extension (CB), pp. 111–118.
ESOP-1986-Kaplan #algebra #nondeterminism #proving: Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs (SK), pp. 351–374.
GG-1986-Courcelle #algebra #graph #graph grammar #representation #term rewriting: A representation of graphs by algebraic expressions and its use for graph rewriting systems (BC), pp. 112–132.
GG-1986-Ehrig #algebra #approach #graph grammar #tutorial: Tutorial introduction to the algebraic approach of graph grammars (HE), pp. 3–14.
GG-1986-HotzKM #algebra #equation #network #on the #recursion: On Network Algebras and Recursive Equations (GH, RK, PM), pp. 250–261.
OOPSLA-1986-AbdaliCS #algebra #smalltalk: A Smalltalk System for Algebraic Manipulation (SKA, GWC, NS), pp. 277–283.
POPL-1986-SneltingH #algebra #analysis #incremental #semantics #unification: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis (GS, WH), pp. 229–235.
CADE-1986-AvenhausBGM #algebra #named #specification #term rewriting: TRSPEC: A Term Rewriting Based System for Algebraic Specifications (JA, BB, RG, KM), pp. 665–667.
CADE-1986-Dietrich #algebra #logic: Relating Resolution and Algebraic Completion for Horn Logic (RD), pp. 62–78.
CADE-1986-Hussmann #algebra #prototype #specification #using: The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing (HH), pp. 689–690.
LICS-1986-BeckmanGW #algebra #execution #logic programming #parallel #source code: An Algebraic Model of Parallel Execution of Logic Programs (LB, RG, AW), pp. 50–57.
PODS-1985-BancilhonS #algebra #database #independence #probability: Algebraic Versus Probabilistic Independence in Data Bases (FB, NS), pp. 149–153.
SIGMOD-1985-CliffordT #algebra #database #on the #relational: On An Algebra For Historical Relational Databases: Two Views (JC, AUT), pp. 247–265.
STOC-1985-FriedlR #algebra #polynomial #problem: Polynomial Time Solutions of Some Problems in Computational Algebra (KF, LR), pp. 153–162.
ICALP-1985-GoguenJM #algebra #order #semantics: Operational Semantics for Order-Sorted Algebra (JAG, JPJ, JM), pp. 221–231.
ICALP-1985-Hennessy #algebra #communication #process: An Algebraic Theory of Fair Asynchronous Communicating Processes (MH), pp. 260–269.
ICALP-1985-Hrbacek #algebra: Powerdomains as Algebraic Lattices (Preliminary Report) (KH), pp. 281–289.
RTA-1985-Fortenbach #algebra #commutative #unification: An Algebraic Approch to Unification Under Assoiativity and Commutativity (AF), pp. 381–397.
RTA-1985-Kandri-RodyKN #algebra #approach #commutative #problem #unification: An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras (AKR, DK, PN), pp. 345–364.
RTA-1985-Otto #algebra #finite #monad: Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.
SLP-1985-OKeefe85a #algebra #logic programming #source code #towards: Towards an Algebra for Constructing Logic Programs (RAO), pp. 152–160.
PODS-1984-Hegner #algebra #canonical #component: Canonical View Update Support through Boolean Algebras of Components (SJH), pp. 163–173.
PODS-1984-Lipski #algebra #on the #relational: On Relational Algebra with Marked Nulls (WLJ), pp. 201–203.
PODS-1984-YokotaKKMSM #algebra #generative #query #relational: An Enhanced Inference Mechanism for Generating Relational Algebra Queries (HY, SK, TK, NM, SS, KM), pp. 229–238.
SIGMOD-1984-Hall #algebra #functional #logic #programming #relational: Relational Algebras, Logic, and Functional Programming (PAVH), pp. 326–333.
VLDB-1984-Bratbergsengen #algebra #relational: Hashing Methods and Relational Algebra Operations (KB), pp. 323–333.
VLDB-1984-RosenthalR #algebra #framework #query: Extending the Algebraic Framework of Query Processing to Handle Outerjoins (AR, DSR), pp. 334–343.
STOC-1984-Ben-OrKR #algebra #complexity #geometry: The Complexity of Elementary Algebra and Geometry (Preliminary Abstract) (MBO, DK, JHR), pp. 457–464.
STOC-1984-Huang #algebra #finite: Factorization of Polynomials over Finite Fields and Factorization of Primes in Algebraic Number Fields (MDAH), pp. 175–182.
STOC-1984-KannanLL #algebra #polynomial: Polynomial Factorization and Nonrandomness of Bits of Algebraic and Some Transcendental Numbers (RK, AKL, LL), pp. 191–200.
ICALP-1984-BergstraK #algebra #process #recursion: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (JAB, JWK), pp. 82–94.
ICALP-1984-Bidoit #algebra #equation #exception #fault #specification: Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.
ICALP-1984-Dybjer #algebra: Domain Algebras (PD), pp. 138–150.
ICALP-1984-GardyP #algebra #relational: Relational Algebra Operations and Sizes of Relations (DG, CP), pp. 174–186.
ICALP-1984-IzumiIH #algebra #axiom #regular expression: A Complete Axiom System for Algebra of Closed-Regular Expression (HI, YI, NH), pp. 260–269.
ICSE-1984-Forman #algebra #data flow #detection: An Algebra for Data Flow Anomaly Detection (IRF), pp. 278–287.
CADE-1984-Chenadec #algebra #canonical: Canonical Forms in Finitely Presented Algebras (PlC), pp. 142–165.
CADE-1984-Lescanne #algebra #term rewriting: Term Rewriting Systems and Algebra (PL), pp. 166–174.
CADE-1984-PelinG #algebra #complexity #problem #using #word: Solving Word Problems in Free Algebras Using Complexity Functions (AP, JHG), pp. 476–495.
DAC-1983-FlakeMM #algebra #logic #simulation: An algebra for logic strength simulation (PF, PM, GM), pp. 615–618.
PODS-1983-Hegner #algebra #aspect-oriented #composition #database #relational: Algebraic Aspects of Relational Database Decomposition (SJH), pp. 400–413.
VLDB-1983-GolshaniMS #algebra #database #query #specification: A Modal System of Algebras for Database Specification and Query/Update Language Support (FG, TSEM, MRS), pp. 331–339.
STOC-1983-Ben-Or #algebra #bound: Lower Bounds for Algebraic Computation Trees (Preliminary Report) (MBO), pp. 80–86.
STOC-1983-Gathen #algebra #algorithm #parallel #problem: Parallel algorithms for algebraic problems (JvzG), pp. 17–23.
ICALP-1983-DelestV #algebra: Algebraic Languages and Polyominoes Enumeration (MPD, GV), pp. 173–181.
ICALP-1983-EhrigWT #algebra #constraints #generative #specification: Algebraic Specifications with Generating Constraints (HE, EGW, JWT), pp. 188–202.
ICALP-1983-Moller #algebra #data-driven #evaluation #functional #lazy evaluation #semantics: An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language (BM), pp. 513–526.
RE-1983-Partsch #algebra #on the #requirements: On the Use of Algebraic Methods for Formal Requirements Definitions (HP), pp. 138–158.
PODS-1982-DayalGK #algebra #relational: An Extended Relational Algebra with Control over Duplicate Elimination (UD, NG, RHK), pp. 117–123.
PODS-1982-ImielinskiL #algebra #relational: The Relational Model of Data and Cylindrial Algebras (TI, WLJ), p. 170.
PODS-1982-JaeschkeS #algebra #normalisation: Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
VLDB-1982-DoschMW #algebra #database #on the #specification: On the Algebraic Specification of Databases (WD, GM, MW), pp. 370–385.
ICALP-1982-BergstraK #algebra #data type #parametricity #specification: Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
ICALP-1982-Niwinski #algebra #fixpoint #semantics: Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract) (DN), pp. 384–396.
ICALP-1982-Reutenauer #algebra: Biprefix Codes and Semisimple Algebras (CR), pp. 451–457.
ICALP-1982-Schmeck #algebra #recursion #semantics: Algebraic Semantics of Recursive Flowchart Schemes (HS), pp. 489–501.
LFP-1982-CohenM #algebra #nondeterminism #source code #towards: Toward an Algebra of Nondeterministic Programs (ATC, TJM), pp. 235–242.
SIGMOD-1981-Levin #algebra #graph: Introduction to the DIAM Theory of Algebraic Access Graph (ML), pp. 40–48.
SIGMOD-1981-Richard #algebra #evaluation #query #relational: Evaluation of the Size of a Query Expressed in Relational Algebra (PR), pp. 155–163.
STOC-1981-Parisi-Presicce #algebra #on the: On the Faithful Regular Extensions of Iterative Algebras (FPP), pp. 368–374.
ICALP-1981-BergstraT #algebra #hoare #logic #programming: Algebraically Specified Programming Systems and Hoare’s Logic (JAB, JVT), pp. 348–362.
PS-1981-EhrigKTWW #algebra #parametricity #specification: Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.
PS-1981-Klaeren #algebra #recursion: Recursive Definitions of Operations in Universal Algebras (HK), pp. 268–281.
DAC-1980-LeinwandL #algebra #analysis #behaviour #nondeterminism: Algebraic analysis of nondeterministic behavior (SML, TL), pp. 483–493.
STOC-1980-EhrigM #algebra #complexity #implementation #specification: Complexity of Implementations on the Level of Algebraic Specifications (HE, BM), pp. 281–293.
STOC-1980-JaJa #algebra #problem #trade-off: Time-Space Tradeoffs for some Algebraic Problems (JJ), pp. 339–350.
STOC-1980-Pratt #algebra #induction: Dynamic Algebras and the Nature of Induction (VRP), pp. 22–28.
ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics #syntax: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.
ICALP-1980-EhrigKTWW #algebra #data type #specification: Parameterized Data Types in Algebraic Specification Languages (Short Version) (HE, HJK, JWT, EGW, JBW), pp. 157–168.
ICALP-1980-GoralcikovaGK #algebra #finite #testing: Testing of Properties of Finite Algebras (AG, PG, VK), pp. 273–281.
ICALP-1980-HornungR #algebra #data type #semantics: Terminal Algebra Semantics and Retractions for Abstract Data Types (GH, PR), pp. 310–323.
ICALP-1980-Majster-Cederbaum #algebra #axiom #fixpoint #named #semantics: Semantics: Algebras, Fixed Points, Axioms (MEMC), pp. 394–408.
CADE-1980-AielloW #algebra #reasoning #using: Using Meta-Theoretic Reasoning to do Algebra (LCA, RWW), pp. 1–13.
CADE-1980-BundyW #algebra #multi #using: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation (AB, BW), pp. 24–38.
CADE-1980-Guguen #algebra #how #induction: How to Prove Algebraic Inductive Hypotheses Without Induction (JAG), pp. 356–373.
CADE-1980-Jeanrond #algebra #term rewriting #termination: Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully (HJJ), pp. 335–355.
STOC-1979-Valiant79a #algebra: Completeness Classes in Algebra (LGV), pp. 249–261.
VLDB-1978-EhrigKW #algebra #database #specification: Algebraic Specification Schemes for Data Base Systems (HE, HJK, HW), pp. 427–440.
GG-1978-ArbibM #algebra #monad #recursion #semantics: Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls (MAA, EGM), pp. 127–138.
GG-1978-CatalanoGM #algebra #framework #problem: Shortest Path Problems and Tree Grammars: An Algebraic Framework (AC, SG, UM), pp. 167–179.
GG-1978-Ehrig #algebra #bibliography #graph grammar: Introduction to the Algebraic Theory of Graph Grammars (A Survey) (HE), pp. 1–69.
GG-1978-NyrupM #algebra #approach: Map Grammars: Cycles and the Algebraic Approach (KN, BHM), pp. 331–340.
SIGMOD-1977-FurtadoK #algebra: An Algebra of Quotient Relations (ALF, LK), pp. 1–8.
STOC-1977-Kozen #algebra #complexity: Complexity of Finitely Presented Algebras (DK), pp. 164–177.
STOC-1976-Kimura #algebra #communication #process: An Algebraic System for Process Structuring and Interprocess Communication (TK), pp. 92–100.
ICALP-1976-Ehrich #algebra: Outline of an Algebraic Theory of Structured Objects (HDE), pp. 508–530.
DAC-1975-GilliO #algebra #network #scalability #simulation: A new algebraic procedure for the simulation of large digital networks (LG, FO), pp. 32–41.
SIGMOD-1975-SmithC #algebra #database #interface #optimisation #performance #relational: Optimizing the Performance of a Relational Algebra Data Base Interface (Abstract) (JMS, PYTC), p. 64.
POPL-1975-FongKU #algebra #optimisation: Application of Lattice Algebra to Loop Optimization (ACF, JBK, JDU), pp. 1–9.
POPL-1975-HallHT #algebra: An Algebra of Relations for Machine Computation (PAVH, PH, ST), pp. 225–232.
POPL-1975-Stewart #algebra #string: An Algebraic Model for String Patterns (GFS), pp. 167–184.
STOC-1973-Kung #algebra #complexity: The Computational Complexity of Algebraic Numbers (HTK), pp. 152–159.
STOC-1973-Teitelbaum #algebra #analysis #evaluation #fault: Context-Free Error Analysis by Evaluation of Algebraic Power Series (RT), pp. 196–199.
STOC-1973-Wagner #algebra #programming language: From Algebras to Programming Languages (EGW), pp. 214–223.
ICALP-1972-Kfoury #algebra #algorithm #equivalence: Comparing Algebraic Structures up to Algorithmic Equivalence (DJK), pp. 253–263.
ICALP-1972-WeissMS #algebra #context-free grammar #parsing: Algebraic Parsing Techniques for Context-Free Languages (SFW, GM, DFS), pp. 493–498.
STOC-1971-Santos #algebra #probability: Algebraic Structure Theory of Stochastic Machines (ESS), pp. 219–243.
STOC-1971-Wagner #algebra #recursion: An Algebraic Theory of Recursive Definitions and Recursive Languages (EGW), pp. 12–23.
STOC-1969-Shepard #algebra: Languages in General Algebras (CDS), pp. 155–163.
LISP-1963-Dulock #algebra #lisp #symmetry: LISP. Applications to Symmetric group, Dirac groups and Lie algebras (VD), p. 1.
LISP-1963-Levin #algebra #compilation #lisp: Algebraic Compiler with LISP (ML), p. 7.
LISP-1963-Wooldridge #algebra #lisp: An Algebraic Simplify Program in LISP (DW), p. 14.