19 papers:
CSL-2015-Kaiser0LL #approach #bound- A Unified Approach to Boundedness Properties in MSO (LK, ML, SL, CL), pp. 441–456.
LICS-2015-BenediktCCB #bound #complexity #logic- The Complexity of Boundedness for Guarded Logics (MB, BtC, TC, MVB), pp. 293–304.
KR-2014-HaririCD #bound- State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).
LATA-2013-Smith #bound- Infiniteness and Boundedness in 0L, DT0L, and T0L Systems (TS), pp. 535–546.
DLT-2012-CaralpRT #automaton #bound #multi- Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (MC, PAR, JMT), pp. 226–238.
ICML-2010-SorgSL #bound- Internal Rewards Mitigate Agent Boundedness (JS, SPS, RLL), pp. 1007–1014.
KR-2010-ZhangZ #bound #on the #semantics #set #source code- On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).
ICALP-v2-2009-BlumensathOW #bound #finite #higher-order #monad #word- Boundedness of Monadic Second-Order Formulae over Finite Words (AB, MO, MW), pp. 67–78.
LICS-2009-Kahlon #bound #communication #decidability #thread- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks (VK), pp. 27–36.
ICALP-2007-KreutzerOS #bound #monad- Boundedness of Monadic FO over Acyclic Structures (SK, MO, NS), pp. 571–582.
LICS-2006-Otto #bound #first-order #logic #monad #problem- The Boundedness Problem for Monadic Universal First-Order Logic (MO), pp. 37–48.
TACAS-2004-LeueMW #bound #modelling #scalability #uml- A Scalable Incomplete Test for the Boundedness of UML RT Models (SL, RM, WW), pp. 327–341.
DLT-1999-AndreBC #bound #decidability #on the #query- On decidability of boundedness property for regular path queries (YA, FB, ACC), pp. 245–256.
ICALP-1999-DufordJS #bound- Boundedness of Reset P/T Nets (CD, PJ, PS), pp. 301–310.
LICS-1998-KolaitisO #bound #first-order #logic #on the #problem- On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.
LICS-1996-Marcinkowski #bound #datalog #decidability- DATALOG SIRUPs Uniform Boundedness is Undecidable (JM), pp. 13–24.
HPDC-1994-Benslimane #bound #communication #finite #state machine- Deciding Boundedness for Systems of Two Communicating Finite State Machines (AB), pp. 262–269.
PODS-1991-HillebrandKMV #bound #datalog #tool support- Tools for Datalog Boundedness (GGH, PCK, HGM, MYV), pp. 1–12.
PODS-1988-Vardi #bound #decidability #linear #query #recursion- Decidability and Undecidability Results for Boundedness of Linear Recursive Queries (MYV), pp. 341–351.