6 papers:
TACAS-2013-VizelGS #analysis #reachability #using- Intertwined Forward-Backward Reachability Analysis Using Interpolants (YV, OG, SS), pp. 308–323.
ITiCSE-2011-LevyV #education #problem- A problem solving teaching guide based on a procedure intertwined with a teaching model (RBBL, JÁVI), p. 374.
HCI-DDA-2011-DittmarF #implementation #interactive #modelling #using- Intertwined Modeling and Implementation of Interactive Systems Using HOPS (AD, PF), pp. 194–203.
SEKE-2010-KhwajaU #execution #implementation #realtime #specification- Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
ICSE-2001-Fruhauf #project management- The Intertwining Between Risk and Project Management (KF), pp. 707–708.
CHI-1991-FischerHR #evaluation #query- Intertwining query construction and relevance evaluation (GF, SH, DFR), pp. 55–62.
