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:
time (26)
algorithm (23)
bound (21)
lower (16)
complex (13)

Stem exponenti$ (all stems)

134 papers:

DACDAC-2015-ZhuangYKWC #algorithm #exponential #framework #performance #scalability #simulation #using
An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.
STOCSTOC-2015-GanorKR #communication #exponential
Exponential Separation of Information and Communication for Boolean Functions (AG, GK, RR), pp. 557–566.
ICALPICALP-v1-2015-BjorklundDH #exponential #problem #random #set #strict
The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems (AB, HD, TH), pp. 231–242.
ICALPICALP-v1-2015-Curticapean #complexity #framework
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.
ICALPICALP-v1-2015-FominKLPS #algorithm #polynomial
Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree (FVF, PK, DL, FP, SS), pp. 494–505.
ICMLICML-2015-ChaoSMS #exponential #integration #monte carlo
Exponential Integration for Hamiltonian Monte Carlo (WLC, JS, DM, FS), pp. 1142–1151.
ICMLICML-2015-CohenW #exponential #product line
Harmonic Exponential Families on Manifolds (TC, MW), pp. 1757–1765.
ICMLICML-2015-GajaneUC #algorithm #exponential
A Relative Exponential Weighing Algorithm for Adversarial Utility-based Dueling Bandits (PG, TU, FC), pp. 218–227.
ICMLICML-2015-KordaA #approximate #bound #convergence #exponential #on the
On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.
ICMLICML-2015-Shamir #algorithm #convergence #exponential #probability
A Stochastic PCA and SVD Algorithm with an Exponential Convergence Rate (OS), pp. 144–152.
ICMLICML-2015-TanseyPSR #exponential #markov #product line #random
Vector-Space Markov Random Fields via Exponential Families (WT, OHMP, ASS, PR), pp. 684–692.
CASECASE-2014-ZhaoLH #evaluation #exponential #multi #performance
Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.
STOCSTOC-2014-BerryCCKS #exponential #precise #simulation
Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.
STOCSTOC-2014-Rothvoss #complexity #exponential
The matching polytope has exponential extension complexity (TR), pp. 263–272.
ICALPICALP-v1-2014-ChaillouxS #exponential #game studies #parallel
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost (AC, GS), pp. 296–307.
LATALATA-2014-BednarovaG #automaton
Two Double-Exponential Gaps for Automata with a Limited Pushdown (ZB, VG), pp. 113–125.
ICMLICML-c1-2014-SinghP #difference #estimation #exponential
Generalized Exponential Concentration Inequality for Renyi Divergence Estimation (SS, BP), pp. 333–341.
ICMLICML-c2-2014-GunasekarRG #constraints #exponential #matrix #product line
Exponential Family Matrix Completion under Structural Constraints (SG, PR, JG), pp. 1917–1925.
ICMLICML-c2-2014-SteinhardtL14a #adaptation #algorithm
Adaptivity and Optimism: An Improved Exponentiated Gradient Algorithm (JS, PL), pp. 1593–1601.
KDDKDD-2014-LuM #difference #estimation #exponential #graph #privacy #random
Exponential random graph estimation under differential privacy (WL, GM), pp. 921–930.
CASECASE-2013-BouhnikA #adaptation #correlation #exponential #markov
Markov G/G/s model adaptation to factory operational curve though exponential correlation (SB, SA), pp. 730–734.
CASECASE-2013-ZhaoL #analysis #exponential #multi
Analysis of multi-product manufacturing systems with homogeneous exponential machines (CZ, JL), pp. 386–391.
STOCSTOC-2013-BuchbinderNS #clustering #exponential #multi #problem
Simplex partitioning via exponential clocks and the multiway cut problem (NB, JN, RS), pp. 535–544.
STOCSTOC-2013-Li #exponential #independence
New independent source extractors with exponential improvement (XL), pp. 783–792.
ICALPICALP-v1-2013-0002LPRRSS #algorithm #kernel #linear
Linear Kernels and Single-Exponential Algorithms via Protrusion Decompositions (EJK, AL, CP, FR, PR, IS, SS), pp. 613–624.
ICALPICALP-v1-2013-BodlaenderCKN #algorithm #exponential #problem
Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth (HLB, MC, SK, JN), pp. 196–207.
ICALPICALP-v1-2013-CyganP #algorithm #bound #graph #performance
Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree (MC, MP), pp. 364–375.
ICMLICML-c3-2013-HonorioJ #bound #exponential #fault
Two-Sided Exponential Concentration Bounds for Bayes Error Rate and Shannon Entropy (JH, TSJ), pp. 459–467.
CAVCAV-2013-KongHSHG #generative #hybrid #safety #verification
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
ICSTSAT-2013-Johannsen #exponential #learning #proving
Exponential Separations in a Hierarchy of Clause Learning Proof Systems (JJ), pp. 40–51.
FoSSaCSFoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.
STOCSTOC-2012-FioriniMPTW #bound #exponential #linear
Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds (SF, SM, SP, HRT, RdW), pp. 95–106.
STOCSTOC-2012-OrecchiaSV #algorithm #approximate #exponential
Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator (LO, SS, NKV), pp. 1141–1160.
ICALPICALP-v2-2012-KikotKPZ #bound #exponential #query
Exponential Lower Bounds and Separation for Query Rewriting (SK, RK, VVP, MZ), pp. 263–274.
ICMLICML-2012-FreitasSZ #bound #exponential #process
Exponential Regret Bounds for Gaussian Process Bandits with Deterministic Observations (NdF, AJS, MZ), p. 125.
ICPRICPR-2012-IsmaeilAO #evaluation #exponential #kernel
Bilateral filter evaluation based on exponential kernels (KAI, DA, BEO), pp. 258–261.
ICSTSAT-2012-AchlioptasM #algorithm #bound #exponential #random #satisfiability
Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas (DA, RMM), pp. 327–340.
ICDARICDAR-2011-ImpedovoP11a #exponential #recognition
Tuning between Exponential Functions and Zones for Membership Functions Selection in Voronoi-Based Zoning for Handwritten Character Recognition (SI, GP), pp. 997–1001.
ESOPESOP-2011-HuntS #exponential #polynomial #security #type system
From Exponential to Polynomial-Time Security Typing via Principal Types (SH, DS), pp. 297–316.
STOCSTOC-2011-RegevK #communication #quantum
Quantum one-way communication can be exponentially stronger than classical communication (OR, BK), pp. 31–40.
ICALPICALP-v1-2011-FilmusPS #bound #exponential
Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds (YF, TP, RS), pp. 618–629.
RTARTA-2011-AvanziniEM #exponential #order #term rewriting
A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.
CASECASE-2010-Zhang #analysis #design #exponential
Kanban-controlled exponential production lines: Analysis and design (LZ), pp. 445–450.
STOCSTOC-2010-MicciancioV #algorithm #exponential #problem
A deterministic single exponential time algorithm for most lattice problems based on voronoi cell computations (DM, PV), pp. 351–358.
ICALPICALP-v1-2010-Ambos-SpiesB #exponential
Weak Completeness Notions for Exponential Time (KAS, TB), pp. 503–514.
ICALPICALP-v1-2010-DellHW #complexity #exponential #polynomial
Exponential Time Complexity of the Permanent and the Tutte Polynomial (HD, TH, MW), pp. 426–437.
ICALPICALP-v2-2010-Fearnley #bound #exponential #policy
Exponential Lower Bounds for Policy Iteration (JF), pp. 551–562.
ICPRICPR-2010-DengH #composition #detection #exponential #process
Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.
CSLCSL-2010-CarraroES #exponential #infinity #multi
Exponentials with Infinite Multiplicities (AC, TE, AS), pp. 170–184.
ICSTSAT-2010-DantsinW #exponential #on the #satisfiability
On Moderately Exponential Time for SAT (ED, AW), pp. 313–325.
ICALPICALP-v2-2009-MelliesTT #exponential #linear #logic
An Explicit Formula for the Free Exponential Modality of Linear Logic (PAM, NT, CT), pp. 247–260.
ICMLICML-2009-LiangJK #exponential #learning #metric #product line
Learning from measurements in exponential families (PL, MIJ, DK), pp. 641–648.
SACSAC-2009-Djelloul #exponential #finite #infinity #linear
From exponential to almost linear decomposability of finite or infinite trees (KD), pp. 897–902.
LICSLICS-2009-BasaldellaF #exponential #interactive
Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (MB, CF), pp. 375–384.
LICSLICS-2009-Friedmann #algorithm #bound #exponential #game studies
An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it (OF), pp. 145–156.
LICSLICS-2009-HansenKM #concurrent #game studies #reachability
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (KAH, MK, PBM), pp. 332–341.
ICSTSAT-2009-Johannsen #bound #exponential #learning #strict
An Exponential Lower Bound for Width-Restricted Clause Learning (JJ), pp. 128–140.
ICMLICML-2008-WingateS #exponential #learning #predict #product line
Efficiently learning linear-linear exponential family predictive representations of state (DW, SPS), pp. 1176–1183.
CSLCSL-2008-TorreMP #automaton #exponential #infinity
An Infinite Automaton Characterization of Double Exponential Time (SLT, PM, GP), pp. 33–48.
STOCSTOC-2007-GavinskyKKRW #communication #complexity #encryption #exponential #quantum
Exponential separations for one-way quantum communication complexity, with applications to cryptography (DG, JK, IK, RR, RdW), pp. 516–525.
CIAACIAA-J-2006-BastienCFR07 #exponential
Reducing Simple Grammars: Exponential against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 715–725.
ICALPICALP-2007-CaragiannisFM #ad hoc #energy #exponential #heuristic #network
An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks (IC, MF, LM), pp. 447–458.
ICMLICML-2007-GlobersonKCC #algorithm #predict
Exponentiated gradient algorithms for log-linear structured prediction (AG, TK, XC, MC), pp. 305–312.
CSLCSL-2007-NauroisM #correctness #exponential #multi #proving
Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete (PJdN, VM), pp. 435–450.
ICSTSAT-2007-SchederZ #exponential #product line #satisfiability
Satisfiability with Exponential Families (DS, PZ), pp. 148–158.
STOCSTOC-2006-GavinskyKRW #bound #communication #complexity #exponential #identification #quantum
Bounded-error quantum state identification and exponential separations in communication complexity (DG, JK, OR, RdW), pp. 594–603.
CIAACIAA-2006-BastienCFR #exponential
Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 90–101.
ICALPICALP-v2-2006-GenestM #automaton
Constructing Exponential-Size Deterministic Zielonka Automata (BG, AM), pp. 565–576.
ICALPICALP-v2-2006-Haghverdi #exponential
Typed GoI for Exponentials (EH), pp. 384–395.
ICALPICALP-v2-2006-HaitnerHR #generative #performance #pseudo
Efficient Pseudorandom Generators from Exponentially Hard One-Way Functions (IH, DH, OR), pp. 228–239.
ICMLICML-2006-Elkan #approximate #clustering #documentation #multi
Clustering documents with an exponential-family approximation of the Dirichlet compound multinomial distribution (CE), pp. 289–296.
ICPRICPR-v3-2006-DuongPBV #behaviour #exponential #markov #modelling #product line #recognition
Human Behavior Recognition with Generic Exponential Family Duration Modeling in the Hidden Semi-Markov Model (TVD, DQP, HHB, SV), pp. 202–207.
CSLCSL-2006-Pagani #exponential #linear #logic #multi
Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.
ICALPICALP-2005-LinRTW #exponential #fibonacci
Braess’s Paradox, Fibonacci Numbers, and Exponential Inapproximability (HCL, TR, ÉT, AW), pp. 497–512.
DATEDATE-DF-2004-CilardoMRS #composition #configuration management #hardware
Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware (AC, AM, LR, GPS), pp. 206–211.
ESOPESOP-2004-Shmatikov #analysis #composition #decidability #encryption #protocol
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation (VS), pp. 355–369.
STOCSTOC-2004-Bar-YossefJK #communication #complexity #exponential #quantum
Exponential separation of quantum and classical one-way communication complexity (ZBY, TSJ, IK), pp. 128–137.
ICALPICALP-2004-AlekhnovichHI #algorithm #bound #exponential #satisfiability
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas (MA, EAH, DI), pp. 84–96.
ICALPICALP-2004-FominKT #algorithm #exponential
Exact (Exponential) Algorithms for Treewidth and Minimum Fill-In (FVF, DK, IT), pp. 568–580.
ICALPICALP-2004-FominT #algorithm #exponential #graph #kernel #linear #performance
Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up (FVF, DMT), pp. 581–592.
CIKMCIKM-2004-SiJ #collaboration #exponential
Unified filtering by combining collaborative filtering and content-based filtering via mixture model and exponential model (LS, RJ), pp. 156–157.
ICMLICML-2004-BanerjeeDGM #analysis #estimation #exponential #product line
An information theoretic analysis of maximum likelihood mixture estimation for exponential families (AB, ISD, JG, SM).
STOCSTOC-2003-ChildsCDFGS #algorithm #exponential #quantum
Exponential algorithmic speedup by a quantum walk (AMC, RC, ED, EF, SG, DAS), pp. 59–68.
STOCSTOC-2003-KerenidisW #bound #exponential #quantum
Exponential lower bound for 2-query locally decodable codes via a quantum argument (IK, RdW), pp. 106–115.
ICALPICALP-2003-JohannsenL #exponential
CTL+ Is Complete for Double Exponential Time (JJ, ML), pp. 767–775.
ICMLICML-2003-JinYZH #algorithm #exponential #performance #scalability
A Faster Iterative Scaling Algorithm for Conditional Exponential Model (RJ, RY, JZ, AGH), pp. 282–289.
SIGIRSIGIR-2003-TeevanK #analysis #development #empirical #exponential #probability #retrieval #using
Empirical development of an exponential probabilistic model for text retrieval: using textual analysis to build a better model (JT, DRK), pp. 18–25.
POPLPOPL-2003-CarterFT #graph
Folklore confirmed: reducible flow graphs are exponentially larger (LC, JF, CDT), pp. 106–114.
RTARTA-2003-KapurNW #algorithm #composition #protocol
An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation (DK, PN, LW), pp. 165–179.
ICSTSAT-2003-MneimnehS #graph #scalability
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution (MNM, KAS), pp. 411–425.
PODSPODS-2002-Chirkova #bound #problem #query
The View-Selection Problem Has an Exponential-Time Lower Bound for Conjunctive Queries and Views (RC), pp. 159–168.
STOCSTOC-2002-AlekhnovichJPU #exponential
An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.
ICALPICALP-2002-BenderCR #algorithm #exponential #performance
Exponential Structures for Efficient Cache-Oblivious Algorithms (MAB, RC, RR), pp. 195–207.
ICALPICALP-2002-GrigorievHP #algebra #bound #exponential #proving
Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.
SATSAT-2002-MonassonC #algorithm #analysis #exponential #random #satisfiability #scalability
Restart method and exponential acceleration of random 3-SAT instances resolutions: A large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm (RM, SC), p. 11.
DATEDATE-2001-VanasscheGS #exponential #performance #simulation #using
Efficient time-domain simulation of telecom frontends using a complex damped exponential signal model (PV, GGEG, WMCS), pp. 169–175.
ICALPICALP-2001-AlberFN #complexity #exponential #graph #problem
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems (JA, HF, RN), pp. 261–272.
SIGIRSIGIR-2001-MillerRS #algorithm #matrix #using
Modifications of Kleinberg’s HITS Algorithm Using Matrix Exponentiation and WebLog Records (JCM, GR, FS), pp. 444–445.
POPLPOPL-2001-FlanaganS #explosion #exponential #generative #verification
Avoiding exponential explosion: generating compact verification conditions (CF, JBS), pp. 193–205.
STOCSTOC-2000-KitaevW #exponential #interactive #parallel #proving #quantum #simulation
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems (AK, JW), pp. 608–617.
WLCWLC-2000-Brattka #exponential #modelling #recursion
The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.
ICPRICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line
General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.
ICPRICPR-v2-2000-WilsonH #capacity #correlation #exponential #memory management
Storage Capacity of the Exponential Correlation Associative Memory (RCW, ERH), pp. 2660–2663.
STOCSTOC-1999-Raz #communication #complexity #exponential #quantum
Exponential Separation of Quantum and Classical Communication Complexity (RR), pp. 358–367.
DLTDLT-1999-Wich #ambiguity #context-free grammar #exponential
Exponential ambiguity of context-free grammars (KW), pp. 125–138.
ICFPICFP-1999-Okasaki #matrix #performance
From Fast Exponentiation to Square Matrices: An Adventure in Types (CO), pp. 28–35.
STOCSTOC-1998-GrigorievK #bound #exponential
An Exponential Lower Bound for Depth 3 Arithmetic Circuits (DG, MK), pp. 577–582.
ICMLICML-1998-Ng #feature model #learning #on the
On Feature Selection: Learning with Exponentially Many Irrelevant Features as Training Examples (AYN), pp. 404–412.
STOCSTOC-1997-ImpagliazzoW #exponential
P = BPP if E Requires Exponential Circuits: Derandomizing the XOR Lemma (RI, AW), pp. 220–229.
STOCSTOC-1997-PaturiSZ #bound #exponential
Exponential Lower Bounds for Depth 3 Boolean Circuits (RP, MES, FZ), pp. 86–91.
ICMLICML-1997-PrecupS #learning
Exponentiated Gradient Methods for Reinforcement Learning (DP, RSS), pp. 272–277.
ICPRICPR-1996-HancockP #analysis #correlation #exponential #memory management
An analysis of the exponential correlation associative memory (ERH, MP), pp. 291–295.
STOCSTOC-1995-KivinenW #linear #predict
Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.
FPCAFPCA-1995-MeijerH #exponential
Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.
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.
SACSAC-1994-MahoneyLW #exponential #network
Construction of an artificial neural network for simple exponential smoothing in forecasting (DWM, RPL, SIW), pp. 308–312.
DACDAC-1993-LiaoDWC #metaprogramming #network #polynomial #using
S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function (HL, WWMD, RW, FYC), pp. 726–731.
STOCSTOC-1992-BeameIKPPW #bound #exponential #principle
Exponential Lower Bounds for the Pigeonhole Principle (PB, RI, JK, TP, PP, ARW), pp. 200–220.
STOCSTOC-1992-Safra #automaton #exponential
Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition (Extended Abstract) (SS), pp. 275–282.
LICSLICS-1992-KapurN #complexity #set
Double-exponential Complexity of Computing a Complete Set of AC-Unifiers (DK, PN), pp. 11–21.
STOCSTOC-1991-Ko #equation #polynomial
Integral Equations, Systems of Quadratic Equations, and Exponential-Time Completeness (Extended Abstract) (KIK), pp. 10–20.
POPLPOPL-1990-Mairson #exponential #ml
Deciding ML Typability is Complete for Deterministic Exponential Time (HGM), pp. 382–401.
STOCSTOC-1989-GoodmanPS #coordination #exponential #order #representation
Coordinate Representation of Order Types Requires Exponential Storage (JEG, RP, BS), pp. 405–410.
LICSLICS-1988-MullerSS #automaton #decidability #exponential #logic #why
Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time (DEM, AS, PES), pp. 422–427.
STOCSTOC-1987-Hemachandra #exponential
The Strong Exponential Hierarchy Collapses (LAH), pp. 110–122.
ICALPICALP-1986-BookORW #exponential #on the
On Exponential Lowness (RVB, PO, DAR, OW), pp. 40–49.
STOCSTOC-1985-FichT #complexity #finite #parallel
The Parallel Complexity of Exponentiating Polynomials over Finite Fields (FEF, MT), pp. 38–47.
STOCSTOC-1983-Valiant #bound #exponential #strict
Exponential Lower Bounds for Restricted Monotone Circuits (LGV), pp. 110–117.
CADECADE-1982-MatwinP #backtracking #data type #exponential #implementation #performance
Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.
CADECADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance
Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.
ICALPICALP-1981-FraenkelL #exponential
Computing a Perfect Strategy for n*n Chess Requires Time Exponential in N (ASF, DL), pp. 278–293.
STOCSTOC-1979-Valiant
Negation Can Be Exponentially Powerful (LGV), pp. 189–196.
STOCSTOC-1976-CardozaLM #commutative #exponential #petri net #problem
Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.
STOCSTOC-1973-StockmeyerM #exponential #problem #word
Word Problems Requiring Exponential Time: Preliminary Report (LJS, ARM), pp. 1–9.

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.