BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (7)
categori (7)
attribut (2)
rewrit (2)
forc (2)

Stem adhes$ (all stems)

16 papers:

GCMGCM-2015-PeuserH #category theory #composition #graph
Attribution of Graphs by Composition of M, N-adhesive Categories (CP, AH), pp. 66–81.
GT-VMTGT-VMT-2013-KupperKB #category theory
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories (SK, BK, HJSB).
ICGTICGT-2012-Golas #concept #modelling
A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.
M,N-Adhesive Transformation Systems (AH, DP), pp. 218–233.
Active control of adhesion force for pick-and-place of micro objects with compound vibration in micromanipulation (LC, TC, LS, WR, BS, QY), pp. 716–721.
ICGTICGT-2010-BonchiGMM #lts #term rewriting
Saturated LTSs for Adhesive Rewriting Systems (FB, FG, GVM, UM), pp. 123–138.
ICGTICGT-2010-BraatzEGG #category theory
Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.
ICGTICGT-2010-GolasEH #category theory #multi
Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.
CASECASE-2009-RakotondrabeR #metric
Presentation and improvement of an AFM-based system for the measurement of adhesion forces (MR, PR), pp. 585–590.
ICGTICGT-2008-Heindel #category theory #morphism
Grammar Morphisms and Weakly Adhesive Categories (TH), pp. 493–495.
ICGTICGT-2008-Hermann #analysis #process #workflow
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (FH), pp. 496–498.
FoSSaCSFoSSaCS-2006-BaldanCHKS #process #term rewriting
Processes for Adhesive Rewriting Systems (PB, AC, TH, BK, PS), pp. 202–216.
Toposes Are Adhesive (SL, PS), pp. 184–198.
FoSSaCSFoSSaCS-2004-LackS #category theory
Adhesive Categories (SL, PS), pp. 273–288.
ICGTICGT-2004-EhrigHPP #category theory
Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.
SACSAC-2004-LeccaPLC #predict #probability #π-calculus
Predicting cell adhesion probability via the biochemical stochastic π-calculus (PL, CP, CL, GC), pp. 211–212.

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.