default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 29 matches
- 2020
- Xiuwen Zheng, Amarnath Gupta:
An Algebraic Approach for High-level Text Analytics. SSDBM 2020: 23:1-23:4 - Xiuwen Zheng, Amarnath Gupta:
An Algebraic Approach for High-level Text Analytics. CoRR abs/2005.00993 (2020) - 2014
- Karsten Gabriel:
Interaction on human-centric communication platforms: modelling and analysis using algebraic high-level nets and processes. Berlin Institute of Technology, 2014 - 2012
- Karsten Gabriel:
Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012) - Karsten Gabriel, Hartmut Ehrig:
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. Software Service and Application Engineering 2012: 10-25 - 2011
- Hartmut Ehrig, Karsten Gabriel:
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. Int. J. Softw. Informatics 5(1-2): 207-229 (2011) - 2010
- Claudia Ermel, Sarkaft Shareef, Winzent Fischer:
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - Tony Modica, Kathrin Hoffmann:
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - Frank Trollmann, Maximilian Kern, Sahin Albayrak:
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - 2008
- Hartmut Ehrig, Ulrike Prange:
Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS 94: 151-160 (2008) - Alexander Rein:
Negative Application Conditions for Reconfigurable Algebraic High-Level Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - Conny Ullrich, Julia Padberg:
Reconfigurable Open Algebraic High-Level Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - 2007
- Ulrike Prange:
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. ACCAT@ETAPS 2007: 67-88 - 2006
- Ulrike Prange:
Algebraic High-Level Nets as Weak Adhesive HLR Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - 2005
- Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl:
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. Formal Methods in Software and Systems Modeling 2005: 64-83 - 2004
- Claudia Ermel, Karsten Ehrig:
View Transformation in Visual Environments applied to Algebraic High-Level Nets. PNGT@ICGT 2004: 61-86 - 2000
- Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE 2000: 249-265 - 1999
- Karim Djemame:
Distributed simulation of high-level algebraic Petri nets. University of Glasgow, UK, 1999 - 1998
- Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz:
Performance comparison of high-level algebraic nets distributed simulation protocols. J. Syst. Archit. 44(6-7): 457-472 (1998) - 1996
- Karim Djemame, Mohamed Bettaz, Dennis C. Gilles, Lewis M. Mackenzie:
Performance Comparison of High-Level Algebraic Nets Distributed Simulation Protocols. WSC 1996: 621-628 - 1995
- Chieh-ying Kan, Xudong He:
High-level algebraic Petri nets. Inf. Softw. Technol. 37(1): 23-30 (1995) - Julia Padberg, Hartmut Ehrig, Leila Ribeiro:
Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. 5(2): 217-256 (1995) - 1994
- Hartmut Ehrig, Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data. Bull. EATCS 54: 132-144 (1994) - 1993
- Leila Ribeiro, Hartmut Ehrig, Julia Padberg:
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES 1993: 1-16 - 1992
- Hartmut Ehrig, Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992: 3-20 - Mohamed Bettaz, Gianna Reggio:
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT 1992: 98-112 - Hartmut Ehrig, Julia Padberg, Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206 - 1990
- Christian Dimitrovici, Ulrich Hummert:
Composition of Algebraic High-Level Nets. ADT 1990: 52-73 - Christian Dimitrovici, Udo Hummert, Laure Petrucci:
Semantics, composition and net properties of algebraic high-level nets. Applications and Theory of Petri Nets 1990: 93-117
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-21 04:29 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint