BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
smart (30)
java (23)
use (22)
base (19)
applic (16)

Stem card$ (all stems)

140 papers:

CHICHI-2015-LugerURG #design #game studies #process #using
Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (EL, LU, TR, MG), pp. 457–466.
SEKESEKE-2015-CavalcanteRC #experience #named #user interface
MAX: A Method for Evaluating the Post-use User eXperience through Cards and a Board (EC, LR, TC), pp. 495–500.
SIGIRSIGIR-2015-ShokouhiG #query #ranking #recommendation
From Queries to Cards: Re-ranking Proactive Card Recommendations Based on Reactive Search History (MS, QG), pp. 695–704.
SIGIRSIGIR-2015-ZhangZ #formal method #game studies #information retrieval #interactive #interface #optimisation
Information Retrieval as Card Playing: A Formal Model for Optimizing Interactive Retrieval Interface (YZ, CZ), pp. 685–694.
SACSAC-2015-CruzPQSSOBO #algorithm #game studies #named #probability #using
Amê: an environment to learn and analyze adversarial search algorithms using stochastic card games (ABC, LP, JQ, US, SS, AO, EB, ESO), pp. 208–213.
SACSAC-2015-GouthamLY #authentication #protocol #smarttech #using
An anonymous ID-based remote mutual authentication with key agreement protocol on ECC using smart cards (RAG, GJL, KYY), pp. 169–174.
SACSAC-2015-SantiagoPH #approach #detection #modelling
A modeling approach for credit card fraud detection in electronic payment services (GPS, AMP, RHJ), pp. 2328–2331.
ITiCSEITiCSE-2014-FerreiraM #algorithm #analysis #design #education #using
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks (JFF, AM), pp. 75–80.
SASSAS-2014-BessonJV #java #named #static analysis
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
CHICHI-2014-MuellerGVE #design #game studies #process
Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.
HCILCT-NLE-2014-Said #sorting
Card Sorting Assessing User Attitude in E-Learning (GRES), pp. 261–272.
ICEISICEIS-v3-2014-BuchdidPB #design #game studies
Playing Cards and Drawing with Patterns — Situated and Participatory Practices for Designing iDTV Applications (SBB, RP, MCCB), pp. 14–27.
ICEISICEIS-v3-2014-ZacepinsBA #using
Administration of Government Subsidies Using Contactless Bank Cards (AZ, NB, IA), pp. 128–132.
SACSAC-2014-Lutz0D #question #smarttech
Are smartphones better than CRC cards? (RL, SS, SD), pp. 987–994.
CSEETCSEET-2013-Lutz0D #education #object-oriented #smarttech
Teaching object-orientation with smartphones as digital CRC cards (RL, SS, SD), pp. 89–98.
IFMIFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.
CHICHI-2013-CassidyAR #game studies #mobile #using
Using an open card sort with children to categorize games in a mobile phone application store (BC, DSA, JCR), pp. 2287–2290.
HCIDUXU-CXC-2013-SakamotoN13a #exclamation #game studies #persuasion
Augmenting Yu-Gi-Oh! Trading Card Game as Persuasive Transmedia Storytelling (MS, TN), pp. 587–596.
HCIDUXU-PMT-2013-ThomasJ #sorting
Merging Methodologies: Combining Individual and Group Card Sorting (RLT, IJ), pp. 417–426.
HCIHCI-AMTE-2013-SteinhoffS #categorisation
Priming Categorization in a Card Sort (CS, JDS), pp. 265–272.
ECOOPECOOP-2013-FlanaganF #detection #named
RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.
DATEDATE-2012-DrumlSWGH #estimation #manycore #smarttech
Estimation based power and supply voltage management for future RF-powered multi-core smart cards (ND, CS, RW, AG, JH), pp. 358–363.
DATEDATE-2012-KroneAGF #smarttech #towards
Towards a wireless medical smart card (SK, BA, FG, GF), pp. 1483–1488.
PLDIPLDI-2012-CarteyLM #domain-specific language #source code
Synthesising graphics card programs from DSLs (LC, RL, OdM), pp. 121–132.
ICALPICALP-v2-2012-GoodrichM #parallel
Anonymous Card Shuffling and Its Applications to Parallel Mixnets (MTG, MM), pp. 549–560.
CHICHI-2012-FriedmanH #tool support
The envisioning cards: a toolkit for catalyzing humanistic and technical imaginations (BF, DGH), pp. 1145–1148.
ICEISICEIS-J-2012-PolasikGWKPT12a #empirical #mobile #performance
Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments (MP, JG, GW, JK, KP, NT), pp. 306–320.
ICEISICEIS-v2-2012-PolasikGWKPT #analysis #mobile #process
Chronometric Analysis of a Payment Process for Cash, Cards and Mobile Devices (MP, JG, GW, JK, KP, NT), pp. 220–229.
SACSAC-2012-BeusterG #modelling #policy #security #smarttech
Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.
ICSEICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech
Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.
ICSTICST-2012-GansR #protocol #smarttech #testing
The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.
CASECASE-2011-SaddemTT #embedded
Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.
CSCWCSCW-2011-LobunetsP #game studies #prototype
Evaluating a smart working environment with a digital card game prototype (OL, WP), pp. 673–676.
HCIHIMI-v1-2011-LeeKW #authentication #multi #smarttech #using
Cryptanalysis to a Remote User Authentication Scheme Using Smart Cards for Multi-server Environment (YL, JK, DW), pp. 321–329.
ICEISICEIS-v1-2011-WangWH #data analysis #implementation
Research and Implementation of Campus Card Data Analysis System (FW, FW, LH), pp. 515–518.
ICEISICEIS-v3-2011-HuangHGL #authentication #health #monitoring
Scheme of Authentication of Health Monitoring System based on Credit Card Mechanism (QH, QH, CG, SL), pp. 350–354.
KDDKDD-2011-Hsu #realtime
Real-time risk control system for CNP (card not present) (TH), p. 783.
ICPRICPR-2010-ZhangXLWH #segmentation
Slap Fingerprint Segmentation for Live-Scan Devices and Ten-Print Cards (YLZ, GX, YML, HTW, YPH), pp. 1180–1183.
SACSAC-2010-ZhangHJ #java #locality #transaction
Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
FASEFASE-2009-NarasamdyaP #certification
Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.
CHICHI-2009-ZhaoNII #interface
Magic cards: a paper tag interface for implicit robot control (SZ, KN, KI, TI), pp. 173–182.
HCIHCI-NT-2009-MiuraSK #collaboration #process
Augmented Collaborative Card-Based Creative Activity with Digital Pens (MM, TS, SK), pp. 644–651.
ICEISICEIS-ISAS-2009-SunyaevKMK #analysis #health #security
Security Analysis of the German Electronic Health Card’s Peripheral Parts (AS, AK, CM, HK), pp. 19–26.
CIKMCIKM-2009-RafieiL #query #using #web
Data extraction from the web using wild card queries (DR, HL), pp. 1939–1942.
SACSAC-2009-CatanoW #case study #java #ml #specification
Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
SACSAC-2009-NarasamdyaP #certification
Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
TAPTAP-2009-Chetali #certification #formal method #security #smarttech #testing
Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.
DATEDATE-2008-KimPH #architecture #multi
Architecture Exploration of NAND Flash-based Multimedia Card (SK, CP, SH), pp. 218–223.
SEFMSEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
ICFPICFP-2008-Jones #case study #domain-specific language #experience #game studies
Experience report: playing the DSL card (MPJ), pp. 87–90.
CHICHI-2008-KatsanosTA #analysis #architecture #design #named #semantics #using #web
AutoCardSorter: designing the information architecture of a web site using latent semantic analysis (CK, NKT, NMA), pp. 875–878.
SOFTVISSOFTVIS-2008-SavidisPZ #3d #agile #design #encoding #semantics #visual notation
Rapid visual design with semantics encoding through 3d CRC cards (AS, PP, GZ), pp. 193–196.
RecSysRecSys-2008-BrodskyHW #framework #named #recommendation
CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.
SACSAC-2008-WendtGSWNM #analysis #mobile #optimisation #smarttech
System level power profile analysis and optimization for smart cards and mobile devices (MW, MG, CS, RW, UN, AM), pp. 1884–1888.
IFMIFM-2007-HanebergGRS #approach #smarttech #verification
Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.
CHICHI-2007-ByrneGE #usability
Usability of voting systems: baseline data for paper, punch cards, and lever machines (MDB, KKG, SPE), pp. 171–180.
HCIHCI-IDU-2007-XuQC #case study #design
A Case Study of New Way to Apply Card Sort in Panel Design (YX, XQ, SSC), pp. 289–297.
KDDKDD-2007-CurryGLVB #case study #detection #scalability #set
Detecting changes in large data sets of payment card data: a case study (CC, RLG, DL, SV, JB), pp. 1018–1022.
FMFM-2006-Mostowski #java #logic #reasoning
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
SEFMSEFM-2006-MarcheR #behaviour #java #transaction #verification
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
SIGIRSIGIR-2006-LiR #named #using #web
DeWild: a tool for searching the web using wild cards (HL, DR), p. 731.
QAPLQAPL-2006-SotinCJ #behaviour #java #static analysis
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
PADLPADL-2006-GouraudG #functional #java #testing #using #virtual machine
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
DRRDRR-2005-OertelOBB #documentation #recognition #using #validation #web
Using the web to validate document recognition results: experiments with business cards (CO, SO, AB, DB), pp. 17–27.
ICDARICDAR-2005-BerardiACM #analysis #layout #process
A color-based layout analysis to process censorship cards of film archives (MB, OA, MC, DM), pp. 1110–1114.
ICDARICDAR-2005-LeeL #comprehension #design
Design of a Chinese Name Card Understanding System (HJL, SHL), pp. 981–985.
ICDARICDAR-2005-LinT #design
Text Extraction from Name Cards with Complex Design (LL, CLT), pp. 977–980.
ICDARICDAR-2005-LuoZPLX #mobile
Camera based mixed-lingual card reader for mobile device (XPL, LXZ, GP, JL, BHX), pp. 665–669.
FASEFASE-2005-Mostowski #formal method #java #logic #security #verification
Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.
FMFM-2005-AndronickCP #embedded #security #smarttech #source code #verification
Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.
SEFMSEFM-2005-Trentelman #correctness #proving #using
Proving Correctness of JavaCard DL Taclets using Bali (KT), pp. 160–169.
SEKESEKE-2005-KuoLL #smarttech
Smart cards for the Taiwan NHI (JSK, TWL, CHL), pp. 99–104.
HPCAHPCA-2005-WillmannKRP #interface #network #performance #programmable
An Efficient Programmable 10 Gigabit Ethernet Network Interface Card (PW, HyK, SR, VSP), pp. 96–107.
AMOSTAMOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation
Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU).
ICTSSTestCom-2005-LeeJL #analysis #detection #smarttech #using
Detecting Trapdoors in Smart Cards Using Timing and Power Analysis (JYL, SWJ, JL), pp. 275–288.
DATEDATE-DF-2004-NeffeRSWRM #energy #estimation #modelling #power management #smarttech
Energy Estimation Based on Hierarchical Bus Models for Power-Aware Smart Cards (UN, KR, CS, RW, ER, AM), pp. 300–305.
DRRDRR-2004-ShinJKKK #adaptation #image #polynomial #using
Block-adaptive binarization of business card images in PDA using modified quadratic filter (KTS, IHJ, NCK, CHK, TSK), pp. 92–101.
FASEFASE-2004-HubbersP #java #reasoning #transaction
Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
ICEISICEIS-v4-2004-SuiAM #approach #e-commerce #email
Trusted Email: A Proposed Approach to Prevent Credit Card Fraud in Softproducts E-Commerce (NTS, SIA, DM), pp. 106–113.
ICPRICPR-v1-2004-BourlaiMK #architecture #smarttech #using #verification
Face Verification System Architecture Using Smart Cards (TB, KM, JK), pp. 793–796.
ICPRICPR-v1-2004-FungM #parallel #using
Using Multiple Graphics Cards as a General Purpose Parallel Computer : Applications to Computer Vision (JF, SM), pp. 805–808.
ICPRICPR-v1-2004-LuoLZ #design #implementation
Design and Implementation of a Card Reader based on Build-in Camera (XPL, JL, LXZ), pp. 417–420.
GPCEGPCE-2004-BonnetPMG #approach #modelling #smarttech
A Model-Driven Approach for Smart Card Configuration (SB, OP, RM, JMG), pp. 416–435.
RERE-2004-NurmulianiZW #requirements #sorting #using
Using Card Sorting Technique to Classify Requirements Change (NN, DZ, SPW), pp. 240–248.
SACSAC-2004-BarbutiC #bytecode #java #verification
Java bytecode verification on Java cards (RB, SC), pp. 431–438.
SACSAC-2004-Chan #smarttech
Cookies on-the-move: managing cookies on a smart card (ATSC), pp. 1693–1697.
LCTESLCTES-2004-LiZ #control flow #java #programming
Advanced control flow in Java card programming (PL, SZ), pp. 165–174.
DRRDRR-2003-ShiPJ #automation #information retrieval
Automatic information retrieval of Chinese business card (GS, WP, JJ), pp. 241–248.
ICDARICDAR-2003-DowntonLPBSR
Computerising Natural History Card Archives (ACD, SML, GP, GWB, MJS, GSR), pp. 354–358.
ICDARICDAR-2003-LucasPD #image #performance #recognition #word
Fast Lexicon-Based Word Recognition in Noisy Index Card Images (SML, GP, ACD), pp. 462–466.
CSEETCSEET-2003-BakerNH #education #game studies #re-engineering
An Experimental Card Game for Teaching Software Engineering (AB, EON, AvdH), pp. 216–223.
ITiCSEITiCSE-2003-GrayGR #design #process
Extending CRC cards into a complete design process (KAG, MG, SR), p. 226.
FASEFASE-2003-BeckertM #java #logic #transaction
A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
FMFME-2003-BouquetL #case study #execution #generative #java #testing #transaction
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
ICEISICEIS-v4-2003-BrunsDH #smarttech
Secure Smart Card-Based Access to an E-Learning Portal (RB, JD, JvH), pp. 167–172.
SACSAC-2003-Chan #information management #smarttech
Integrating Smart Card Access to Web-Based Medical Information System (ATSC), pp. 246–250.
ICSEICSE-2003-BakerNH #education #game studies #problem #re-engineering
Problems and Programmers: An Educational Software Engineering Card Game (AB, EON, AvdH), pp. 614–621.
RTARTA-2003-BartheS #framework #induction #validation
Validation of the JavaCard Platform with Implicit Induction Techniques (GB, SS), pp. 337–351.
ITiCSEITiCSE-2002-KesslerN
Mid-term course evaluations with muddy cards (CWK, SNT), p. 233.
FMFME-2002-Casset #development #embedded #formal method #java #using #verification
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.
SACSAC-2002-LuSP #generative #implementation #performance #smarttech
Implementation of fast RSA key generation on smart cards (CL, ALMdS, FRP), pp. 214–220.
SACSAC-2002-SinghS #generative #grammarware
Grammar based off line generation of disposable credit card numbers (AS, ALMdS), pp. 221–228.
VMCAIVMCAI-2002-BartheDJS #virtual machine
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
ASEASE-2001-Denney #algorithm #java #synthesis
The Synthesis of a Java Card Tokenization Algorithm (ED), pp. 43–50.
HTHT-2001-Bernstein #hypermedia #tool support
Card shark and thespis: exotic tools for hypertext narrative (MB), pp. 41–50.
ICDARICDAR-2001-DowntonTWHLBSR #architecture #design #legacy
Constructing Web-Based Legacy Index Card Archives — Architectural Design Issues and Initial Data Acquisition (ACD, ACT, GJW, ACH, SML, GWB, MJS, GSR), pp. 854–858.
ICDARICDAR-2001-LladosLCQ #automation #named
ICAR: Identity Card Automatic Reader (JL, FL, VC, JQ), pp. 470–475.
ICDARICDAR-2001-LucasTCDR #recognition #robust #word
Robust Word Recognition for Museum Archive Card Indexing (SML, ACT, SJC, ACD, SR), pp. 144–148.
ICDARICDAR-2001-PanJSW #automation #recognition
A System for Automatic Chinese Business Card Recognition (WP, JJ, GS, QW), pp. 577–581.
VLDBVLDB-2001-Gentili #architecture
Italian Electronic Identity Card — principle and architecture (MG), pp. 629–632.
ESOPESOP-2001-BartheDJSS #execution #framework #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
FMFME-2001-HartelBJL #memory management #smarttech
Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.
CHICHI-2001-Muller #analysis
Layered participatory analysis: new developments in the CARD technique (MJM), pp. 90–97.
EDOCEDOC-2001-TojiWHS #framework #multi #smarttech
A Network-Based Platform for Multi-Application Smart Cards (RT, YW, SH, KS), p. 34–?.
ESOPESOP-2000-DenneyJ #correctness #java #logic
Correctness of Java Card Method Lookup via Logical Relations (ED, TPJ), pp. 104–118.
FMFM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.
ESECESEC-FSE-1999-GrimaudLV #named #smarttech
FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.
ICPRICPR-1998-BartnikGSP
Postal reply card processing (DCB, VG, SNS, BCP), pp. 633–636.
ICPRICPR-1998-UchidaKMT #classification #integration #statistics
Fingerprint card classification with statistical feature integration (KU, TK, MM, TT), pp. 1833–1839.
KDDKDD-1998-ChanS #case study #detection #learning #scalability #towards
Toward Scalable Learning with Non-Uniform Class and Cost Distributions: A Case Study in Credit Card Fraud Detection (PKC, SJS), pp. 164–168.
ISMMISMM-1998-AzaguryKPY #how #set
Combining Card Marking with Remembered Sets: How to Save Scanning Time (AA, EKK, EP, ZY), pp. 10–19.
CADECADE-1998-GorePSV #proving #smarttech #theorem proving
System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.
ICDARICDAR-1997-ChiouL #recognition
Recognition of Chinese business card (YHC, HJL), pp. 1028–1032.
ICDARICDAR-1997-WatanabeH #automation #comprehension #layout
Automatic Acquisition of Layout Knowledge for Understanding Business Cards (TW, XH), pp. 216–220.
DLTDLT-1997-NiemiR #multi
Multiparty Computations with a Deck of Cards (VN, AR), pp. 167–174.
CHICHI-1997-Haine
Claris Organizer’s Expanding Contact Card (PDH), pp. 455–462.
ICPRICPR-1996-GeversS #image #invariant #retrieval
Color-metric pattern-card matching for viewpoint invariant image retrieval (TG, AWMS), pp. 3–7.
CSEETCSEE-1995-Smith #reuse
CARDS Training: Transferring Reuse Knowledge (KES), pp. 325–337.
TOOLSTOOLS-EUROPE-1994-Tomek #smalltalk #tool support
Three Tools for Smalltalk Programmers: Task Oriented Views, Information Cards, and SCRC card (IT), pp. 489–497.
ICDARICDAR-1993-PaikJL #automation #multi #recognition
Multiple combined recognition system for automatic processing of credit card slip applications (JP, SJ, YL), pp. 520–523.
ICDARICDAR-1993-SaigaNKM
An OCR system for business cards (HS, YN, YK, TM), pp. 802–805.
HCIHCI-SHI-1993-TakedaSKO #distributed #empirical #network
Preliminary Experiment with a Distributed and Networking Card-Handling Tool Named KJ-Editor (NT, AS, KK, HO), pp. 273–278.
RERE-1993-OhnishiA #named #requirements
CARD: a software requirements definition environment (AO, KA), pp. 90–93.
HTHT-1987-Halasz #generative #hypermedia
Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems (FGH), pp. 345–365.
HTHT-1987-TriggI #case study #experience #hypermedia
Hypertext Habitats: Experiences of Writers in NoteCards (RHT, PMI), pp. 89–108.
DACDAC-1981-GoshimaOKMTO #logic #scalability
Diagnostic system for large scale logic cards and LSIs (SG, YO, TK, TM, YT, YO), pp. 256–259.
DACDAC-1973-So #multi
Pin assignment of circuit cards and the routability of multilayer printed wiring backplanes (HCS), pp. 33–43.
DACDAC-1968-Rader #equation #logic #syntax
Application of a syntax driver to logic equation processing and data-control card scanning (JAR).
DACSHARE-1965-FiskI #automation #layout #quote
“ACCEL”: automated circuit card etching layout (CJF, DDI).
DACSHARE-1964-Lavering #automation #design
AUTO CARD automated printed circuit board design (FBL).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.