16 papers:
SAC-2015-BuenoAFASC- Selfie cafe: socialization in public spaces (AOB, JCA, VF, JCA, CS, DC), pp. 163–168.
WRLA-2014-Riesco #integration #maude- An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.
LOPSTR-2014-PreiningOF #case study #liveness #specification- Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.
ASE-2006-Futatsugi #proving #specification #verification- Verifying Specifications with Proof Scores in CafeOBJ (KF), pp. 3–10.
SEKE-2006-SadaouiS #implementation #java #specification- Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.
- SEKE-2005-SenachakSOF #java
- Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.
FME-2003-SawadaKF #future of #implementation #past present future- Past, Present, and Future of SRA Implementation of CafeOBJ: Annex (TS, KK, KF), pp. 7–17.
- WRLA-J-1996-DiaconescuF02 #logic
- Logical foundations of CafeOBJ (RD, KF), pp. 289–318.
FLOPS-2002-Futatsugi #formal method- Formal Methods in CafeOBJ (KF), pp. 1–20.
- ASE-2001-OgataF #distributed #modelling #realtime #verification
- Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ (KO, KF), pp. 185–192.
- FM-v2-1999-DiaconescuFI #algebra #component #specification #verification
- Component-Based Algebraic Specification and Verification in CafeOBJ (RD, KF, SI), pp. 1644–1663.
- FM-v2-1999-MoriF #behaviour #specification #verification
- Verifying Behavioural Specifications in CafeOBJ Environment (AM, KF), pp. 1625–1643.
- WRLA-1998-DiaconescuF #bibliography
- An overview of CafeOBJ (RD, KF), pp. 285–298.
SIGIR-1998-Williams #approach #database #named- Cafe: An Indexed Approach to Searching Genomic Databases (HEW), p. 389.
ICSE-1997-NakajimaF #algebra #modelling #object-oriented #specification- An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ (SN, KF), pp. 34–44.
HT-1996-SawhneyBS #named- HyperCafe: Narrative and Aesthetic Properties of Hypervideo (NS, DB, IES), pp. 1–10.
