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 27 matches
- 2024
- Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis:
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) 2024: 249-263 - 2023
- Edyta Brzychczy, Marcin Szpyrka, Jacek Korski, Grzegorz J. Nalepa:
Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation. IEEE Access 11: 54495-54508 (2023) - Xavier Goblet, Christophe Rey, Adrien Collange:
Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative. APIA 2023: 108-117 - 2020
- Giovanni Sileno:
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs). ICLP Workshops 2020 - 2019
- Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias:
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181: 47-63 (2019) - Abhinava Sadasivarao, Sharfuddin Syed, Biao Lu, Sachin Jain, Ashok Kunjidhapatham, Paulo Gomes, Radhakrishna Valiveti, Loukas Paraschis, Jag Brar, Kannan Raj:
Demonstration of Advanced Open WDM Operations and Analytics, Based on an Application-Extensible, Declarative, Data Model Abstracted Instrumentation Platform. OFC 2019: 1-3 - 2018
- Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias:
From operational to declarative specifications using a genetic algorithm. SBST@ICSE 2018: 39-42 - 2017
- Florian Biermann, Peter Sestoft:
Quad Ropes: immutable, declarative arrays with parallelizable operations. ARRAY@PLDI 2017: 1-8 - 2016
- Izabela Nielsen, Robert Wójcik, Grzegorz Bocewicz, Zbigniew Antoni Banaszak:
Multimodal processes optimization subject to fuzzy operation time constraints: declarative modeling approach. Frontiers Inf. Technol. Electron. Eng. 17(4): 338-347 (2016) - Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias:
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF 2016: 145-160 - 2014
- Salvador Lucas, José Meseguer:
Proving Operational Termination of Declarative Programs in General Logics. PPDP 2014: 111-122 - 2010
- Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. van der Merwe:
DECOR: DEClarative network management and OpeRation. Comput. Commun. Rev. 40(1): 61-66 (2010) - 2009
- Juan Antonio Navarro Pérez, Andrey Rybalchenko:
Operational Semantics for Declarative Networking. PADL 2009: 76-90 - 2007
- Jordi Cabot:
From Declarative to Imperative UML/OCL Operation Specifications. ER 2007: 198-213 - 2005
- Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005) - 2002
- Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages. WRS 2002: 62-83 - 1999
- Donald Robert Syme:
Declarative theorem proving for operational semantics. University of Cambridge, UK, 1999 - 1998
- Axel van Lamsweerde, Laurent Willemet:
Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. Software Eng. 24(12): 1089-1114 (1998) - 1995
- Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5(1): 27-70 (1995) - 1994
- Peter Fritzson, Mikhail Auguston, Nahid Shahmehri:
Using assertions in declarative and operational models for automated debugging. J. Syst. Softw. 25(3): 223-239 (1994) - 1992
- Ernesto Pimentel, José M. Troya:
L2||O2: Operational and Declarative Semantics. ALPUK 1992: 174-188 - Jacques Hagelstein, Dominique Roelants:
Reconciling Operational and Declarative Specifications. CAiSE 1992: 221-238 - 1991
- Hendrik Decker:
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. DAISD 1991: 149-173 - M. Popper, Milos Hauskrecht:
Declarative and operational in knowledge based systems. MIE 1991: 299-303 - Marian Petre:
Shifts in Reasoning about Software and Hardware Systems: Must Operational Models Underpin Declarative Ones? PPIG 1991: 7 - 1989
- Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989) - 1988
- Hans Kurmann, Bogdan Lent, Reto Marti:
Declarative programming of the embedded control systems based on OR-ed dataflow operational principle. Microprocess. Microprogramming 24(1-5): 663-672 (1988)
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-23 13:37 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