/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

A

Arne John Glenstrup

IT University of Copenhagen(DK)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

42

Papers

307

Citations

10

h-index

10

i10-index

Arne John Glenstrup is an academic researcher from IT University of Copenhagen. The author has contributed to research in topics: Logic, programming, and type systems & Service-Oriented Architecture and Web Services & Software Testing and Debugging Techniques. The author has an h-index of 10, co-authored 36 publications.

Research Topics

Logic, programming, and type systems Service-Oriented Architecture and Web Services Software Testing and Debugging Techniques Formal Methods in Verification Optical Network Technologies

Papers by this author

works

Matching of Bigraphs

2007 · Electronic Notes in Theoretical Computer Science · 34 citations

https://doi.org/10.1016/j.entcs.2007.04.013

Lars Birkedal Troels C. Damgaard Arne John Glenstrup Robin Milner

Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool

2008 · 4 citations

Mikkel Bundgaard Arne John Glenstrup Thomas Hildebrandt

Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis

2002 · 0 citations

Arne John Glenstrup

Research topics

topics

Logic, programming, and type systems

Service-Oriented Architecture and Web Services

Software Testing and Debugging Techniques

Formal Methods in Verification

Optical Network Technologies

Chat about Author

Papers

Chat

Click to start Chat