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:
java (3)
network (2)
dis (2)
design (2)
generat (2)

Stem pathfind$ (all stems)

10 papers:

CASECASE-2015-KimCDZF #distributed #flexibility
DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
HILTHILT-2014-RathjeR #framework #java #model checking #network #source code
A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
ICSEICSE-2013-FilieriPV #analysis #reliability
Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
FASEFASE-2009-GiannakopoulouP #composition #generative #interface #verification
Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
CHICHI-2009-LutherCSHJ #collaboration #named #online
Pathfinder: an online collaboration environment for citizen scientists (KL, SC, KBS, AH, PJ), pp. 239–248.
DACDAC-2008-NowakCCR #design
Holistic pathfinding: virtual wireless chip design for advanced technology and design exploration (MN, JC, CC, RR), p. 593.
ICSEICSE-2008-GveroGL #java
State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
SIGMODSIGMOD-2007-GrustMRST #code generation #compilation #sql #xquery
A SQL: 1999 code generator for the pathfinder xquery compiler (TG, MM, JR, SS, JT), pp. 1162–1164.
VLDBVLDB-2005-BonczGKMRT #named #relational #xquery
Pathfinder: XQuery — The Relational Way (PAB, TG, MvK, SM, JR, JT), pp. 1322–1325.
ICPRICPR-v1-2000-GagaudakisRC #database #image #network #using #visualisation
Using CBIR and Pathfinder Networks for Image Database Visualization (GG, PLR, CC), pp. 5052–5055.

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.