21 papers:
DUXU-UI-2015-GrimaldiCM #communication #interface #named- CubeMate: A New Communication Device as Non-verbal Interface in a Shared Space (RG, VC, CMM), pp. 434–443.
ICEIS-v3-2015-AldeaIHQF #implementation #motivation- Capability-based Planning with ArchiMate — Linking Motivation to Implementation (AA, MEI, JvH, DACQ, HMF), pp. 352–359.
SAC-2015-AldeaIHQBF #modelling- Modelling strategy with ArchiMate (AA, MEI, JvH, DACQ, LB, HMF), pp. 1211–1218.
- SAC-2015-SilvaSBVS #assessment #framework #process #using
- Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
EDOC-2014-NardiFA #analysis #modelling #ontology- An Ontological Analysis of Service Modeling at ArchiMate’s Business Layer (JCN, RdAF, JPAA), pp. 92–100.
- SAC-2014-JungKYM #algorithm #search-based
- Investigation of hungarian mating schemes for genetic algorithms (CJ, YHK, YY, BRM), pp. 140–147.
FSE-2014-HavrikovHGZ #generative #named #testing #xml- XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
- EDOC-2013-AzevedoIASPG #modelling #ontology
- An Ontology-Based Well-Founded Proposal for Modeling Resources and Capabilities in ArchiMate (CLBA, MEI, JPAA, MvS, LFP, GG), pp. 39–48.
CHI-2012-MerrittM- Protecting artificial team-mates: more seems like less (TRM, KM), pp. 2793–2802.
- CHI-2012-VinesBDVTMO #design
- Cheque mates: participatory design of digital payments with eighty somethings (JV, MB, PD, VV, IT, AM, PO), pp. 1189–1198.
- SAC-2012-MeertensINSJQ
- Mapping the business model canvas to ArchiMate (LOM, MEI, LJMN, MvS, HJ, DACQ), pp. 1694–1701.
CSCW-2011-MerrittTOTCM #game studies- Are artificial team-mates scapegoats in computer games (TRM, KBT, CO, ATA, TLC, KM), pp. 685–688.
- EDOC-2011-AzevedoASQG #motivation #ontology #semantics
- An Ontology-Based Semantics for the Motivation Extension to ArchiMate (CLBA, JPAA, MvS, DACQ, GG), pp. 25–34.
SAT-2006-JainBC #satisfiability #using- Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
- SAC-2001-FernandesTMR #algorithm #problem #search-based #using
- Using assortative mating in genetic algorithms for vector quantization problems (CMF, RT, CM, ACR), pp. 361–365.
CADE-1999-Bishop- A Breadth-First Strategy for Mating Search (MB), pp. 359–373.
- CHI-1998-Strommen #interface #learning
- When the Interface is a Talking Dinosaur: Learning Across Media with ActiMates Barney (ES), pp. 288–295.
- CADE-1998-Letz #using
- Using Matings for Pruning Connection Tableaux (RL), pp. 381–396.
CC-1990-Lampe #concurrent #evaluation #named- MATE — A Metasystem with Concurrent Attribute Evaluation (Abstract) (JL), pp. 222–223.
LICS-1987-GallierRS #equation #proving #theorem proving #using- Theorem Proving Using Rigid E-Unification Equational Matings (JHG, SR, WS), pp. 338–346.
- CADE-1980-Andrews #deduction #proving
- Transforming Matings into Natural Deduction Proofs (PBA), pp. 281–292.
