BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
process (95)
specif (68)
program (64)
use (62)
relat (59)

Stem algebra$ (all stems)

786 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.