5 papers:
SAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management- An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
DAC-2000-MoonKRS #image- To split or to conjoin: the question in image computation (IHM, JHK, KR, FS), pp. 23–28.
ICDAR-v2-1995-El-YacoubiBG #recognition- Conjoined location and recognition of street names within a postal address delivery line (MAEY, JMB, MG), pp. 1024–1027.
- DAC-1994-HuYD #performance #verification
- New Techniques for Efficient Verification with Implicitly Conjoined BDDs (AJH, GY, DLD), pp. 276–282.
CAV-1993-HuD #invariant #performance #using #verification- Efficient Verification with BDDs using Implicitly Conjoined Invariants (AJH, DLD), pp. 3–14.
