Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 265 (Search time: 0.001 seconds).
Item hits:
First PublishedTitleAuthor(s)Type
8-Mar-2002Categories enriched on two sidesKelly, G. M.; Labella, A.; Schmitt, Vincent; Street, R.Article
2002Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)InductionAmbler, Simon J.; Crole, Roy L.; Momigliano, AlbertoConference paper
2002A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.Momigliano, Alberto; Ambler, Simon J.; Crole, Roy L.Conference paper
2008Logic-based Conflict Detection for Distributed PoliciesMontangero, Carlo; Reiff-Marganiec, Stephan; Semini, LauraArticle
Sep-2008Context Aware Collaborative Working EnvironmentsReiff-Marganiec, Stephan; Hong, Yi; Yu, Hong Qing; Dustdar, Schahram; Dorn, Christoph; Schall, Daniel; Truong, Hong-Linh; Peray, Sebastien; Tilly, Marcel; Giuliani, Giovanni; Melchiorre, Christian; Stringa, SimonaBook chapter
2008InContext - Interaction and Context-based Technologies for Collaborative TeamsMelchiorre, Christian; Reiff-Marganiec, Stephan; Yu, Hong Qing; Shall, Daniel; Dustdar, SchahramConference paper
2006Algebraic Specification of a Model Transformation EngineBoronat, Artur; Carsí, José Á.; Ramos, IsidroBook
May-2008Towards Feature Interactions in Business ProcessesGorton, Stephen; Reiff-Marganiec, StephanConference paper
12-Nov-2008Non-functional Property based service selection: A survey and classification of approachesYu, Hong Qing; Reiff-Marganiec, StephanConference paper
May-2009Online Detection of Feature Interactions of CPL ServicesWang, Lixiang; Xu, Jiuyun; Reiff-Marganiec, StephanConference paper