![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 927 matches
- 2024
- Abdelkrim Abdelli
:
Time distance-based computation of the DBM over-approximation of preemptive real-time systems. J. Log. Algebraic Methods Program. 136: 100927 (2024) - Clément Aubert
:
The correctness of concurrencies in (reversible) concurrent calculi. J. Log. Algebraic Methods Program. 136: 100924 (2024) - Saddek Bensalem, Xiaowei Huang
, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
:
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137: 100941 (2024) - Valentina Castiglioni
, Ruggero Lanotte, Simone Tini:
Back to the format: A survey on SOS for probabilistic processes. J. Log. Algebraic Methods Program. 137: 100929 (2024) - Francisco Durán
, Nicolás Pozas, Camilo Rocha:
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. J. Log. Algebraic Methods Program. 136: 100928 (2024) - Luc Edixhoven
, Sung-Shik Jongmans, José Proença
, Ilaria Castellani:
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136: 100919 (2024) - Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello
:
Quantum encoding of dynamic directed graphs. J. Log. Algebraic Methods Program. 136: 100925 (2024) - Ichiro Hasuo
, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136: 100922 (2024) - Jens Kosiol
, Stefan John, Gabriele Taentzer:
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework. J. Log. Algebraic Methods Program. 136: 100909 (2024) - Salvador Lucas
:
Local confluence of conditional and generalized term rewriting systems. J. Log. Algebraic Methods Program. 136: 100926 (2024) - Giacomo Maletto, Luca Roversi
:
Certifying expressive power and algorithms of reversible primitive permutations with Lean. J. Log. Algebraic Methods Program. 136: 100923 (2024) - Chad Nester, Niels F. W. Voorneveld:
Protocol choice and iteration for the free cornering. J. Log. Algebraic Methods Program. 137: 100942 (2024) - Rodrigo Raya
, Viktor Kuncak:
On algebraic array theories. J. Log. Algebraic Methods Program. 136: 100906 (2024) - Sven Schneider
, Maria Maximova, Holger Giese:
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137: 100938 (2024) - Yuvaraj Selvaraj
, Jonas Krook
, Wolfgang Ahrendt
, Martin Fabian
:
On proving that an unsafe controller is not proven safe. J. Log. Algebraic Methods Program. 137: 100939 (2024) - Sebastian Stock
, Atif Mashkoor
, Michael Leuschel
, Alexander Egyed
:
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137: 100943 (2024) - Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
:
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. J. Log. Algebraic Methods Program. 136: 100907 (2024) - Kangfeng Ye
, Simon Foster, Jim Woodcock:
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137: 100940 (2024) - Yuanrui Zhang
, Zhiming Liu:
A dynamic logic with branching modalities. J. Log. Algebraic Methods Program. 136: 100921 (2024) - 2023
- Alex Abuin
, Alexander Bolotov, Montserrat Hermo
, Paqui Lucio:
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. J. Log. Algebraic Methods Program. 130: 100828 (2023) - María Alpuente
, Demis Ballis
, Santiago Escobar, D. Galán, Julia Sapiña:
Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. 132: 100849 (2023) - Rabéa Ameur-Boulifa, Ludovic Henrio
, Eric Madelaine:
Compositional equivalences based on open pNets. J. Log. Algebraic Methods Program. 131: 100842 (2023) - Roland Carl Backhouse
, José Nuno Oliveira
:
On difunctions. J. Log. Algebraic Methods Program. 134: 100878 (2023) - Franco Barbanera, Ivan Lanese, Emilio Tuosto
:
Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135: 100890 (2023) - Matthias Barkowsky
, Holger Giese:
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. J. Log. Algebraic Methods Program. 131: 100841 (2023) - Nicolas Behr
, Russ Harmer, Jean Krivine:
Fundamentals of compositional rewriting theory. J. Log. Algebraic Methods Program. 135: 100893 (2023) - Jorge Blázquez, Manuel Montenegro
, Clara Segura:
Verification of mutable linear data structures and iterator-based algorithms in Dafny. J. Log. Algebraic Methods Program. 134: 100875 (2023) - Sabine Broda
, António Machiavelo
, Nelma Moreira
, Rogério Reis
:
Location automata for synchronised shuffle expressions. J. Log. Algebraic Methods Program. 132: 100847 (2023) - Kristopher Brown
, Evan Patterson
, Tyler Hanks, James P. Fairbanks:
Computational category-theoretic rewriting. J. Log. Algebraic Methods Program. 134: 100888 (2023) - Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
, Andrea Vandin
:
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134: 100876 (2023)
skipping 897 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-07-31 15:08 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