|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong |
Delta modeling in practice: a Fredhopper case study.  |
VaMoS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Formalisations and applications of BPMN. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Property specifications for workflow modelling. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong |
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong |
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong |
HATS - A Formal Software Product Line Engineering Methodology. |
SPLC Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
A Relative Timed Semantics for BPMN. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Property Specifications for Workflow Modelling. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
A Process Semantics for BPMN. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
On Specifying and Visualising Long-Running Empirical Studies. |
ICMT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Verifying Business Process Compatibility (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
compatibility verification, model checking, refinement, CSP, business process modelling |
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
A Process-Algebraic Approach to Workflow Specification and Refinement. |
Software Composition |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang |
CRL: A Context-Aware Request Language for Mobile Computing. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")