Formalizing higher-order mobile embedded business processes with binding bigraphs M Bundgaard, AJ Glenstrup, T Hildebrandt, E Højsgaard, H Niss Coordination Models and Languages: 10th International Conference …, 2008 | 40 | 2008 |
An implementation of bigraph matching AJ Glenstrup, TC Damgaard, L Birkedal, E Højsgaard IT University of Copenhagen, 2010 | 38 | 2010 |
Formal cellular machinery TC Damgaard, E Højsgaard, J Krivine Electronic Notes in Theoretical Computer Science 284, 55-74, 2012 | 24 | 2012 |
Bigraphical languages and their simulation E Højsgaard PhD thesis, IT University of Copenhagen, 2011 | 17 | 2011 |
Formalizing WS-BPEL and higher order mobile embedded business processes in the bigraphical programming languages (BPL) tool M Bundgaard, AJ Glenstrup, T Hildebrandt, E Højsgaard, H Niss IT University of Copenhagen, 2008 | 15 | 2008 |
The BPL Tool-a Tool for Experimenting with Bigraphical Reactive Systems E Højsgaard, AJ Glenstrup IT University of Copenhagen, 2011 | 13 | 2011 |
Core BPEL: syntactic simplification of WS-BPEL 2.0 E Højsgaard, T Hallwyl Proceedings of the 27th annual ACM symposium on applied computing, 1984-1991, 2012 | 8 | 2012 |
Towards scalable simulation of stochastic bigraphs E Højsgaard, J Krivine Bigraphical Languages and their Simulation, 231, 2011 | 5 | 2011 |
Core BPEL: Semantic clarification of WS-BPEL 2.0 through syntactic simplification using XSL transformations T Hallwyl, E Højsgaard Bigraphical Languages and their Simulation, 145, 2011 | 2 | 2011 |
Formalizing ws-bpel in binding bigraphs M Bundgaard, AJ Glenstrup, T Hildebrandt, E Højsgaard Technical Report. http://soa. fbk. eu/publications/BuiltInTR. pdf, 0 | 2 | |
Formalizing ws-bpel and higher order mobile embedded business processes in the bigraphical programming languages (bpl) tool M Bundgaard, AJ Glenstrup, T Hildebrandt, E Højsgaard, H Niss Bigraphical Languages and their Simulation, 115, 2012 | 1 | 2012 |
Computer Supported Mobile Adaptive Business Processes for 3gERP Systems T Hildebrandt, AJ Glenstrup, M Bundgaard, E Højsgaard, T Hallwyl, ... Computer Supported Mobile Adaptive Business Processes for 3gERP Systems, 2009 | 1 | 2009 |
Seamlessly Distributed & Mobile Workflow or: The right processes at the right places M Bundgaard, T Hildebrandt, E Højsgaard First Workshop on, 64, 2008 | 1 | 2008 |
ITU DS.: Bigraphical Languages and Their Simulation. D-2012-75 E Højsgaard | | 2012 |
ITU DS.: Bigraphical Languages and Their Simulation: PhD Dissertation. D-2012-75 E Højsgaard | | 2012 |
Towards Scalable Simulation of Stochastic Bigraphs: Foundations for the Stochastic Bigraphical Abstract Machine (SBAM) E Højsgaard, J Krivine IT-Universitetet i København, 2011 | | 2011 |
An implementation of bigraph matching AJ Glenstrup, TC Damgaard, L Birkedal, E Højsgaard Bigraphical Languages and their Simulation, 55, 2011 | | 2011 |
Core BPEL T Hallwyl, E Højsgaard | | 2011 |
The BPL Tool E Højsgaard, AJ Glenstrup | | 2011 |
Core BPEL E Højsgaard, T Hallwyl | | 2011 |