Остановите войну!
for scientists:
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 1,646 matches
- 2024
- Giannis Alonistiotis, Antonis Antonopoulos, Nikolaos Melissinos, Aris Pagourtzis, Stavros Petsalakis, Manolis Vasilakis:
Approximating subset sum ratio via partition computations. Acta Informatica 61(2): 101-113 (2024) - Attila Bagossy, Péter Battyányi:
An encoding of the λ-calculus in the String MultiSet Rewriting calculus. Acta Informatica 61(2): 161-181 (2024) - Cahit Dede:
New families of Laplacian borderenergetic graphs. Acta Informatica 61(2): 115-129 (2024) - Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada:
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications. Acta Informatica 61(1): 83-100 (2024) - Shuyang Gao, Leen Hatem, Hosam M. Mahmoud:
Balancing m-ary search trees with compressions on the fringe. Acta Informatica 61(1): 53-66 (2024) - Hao Li, Daowen Qiu, Le Luo, Paulo Mateus:
Exact distributed quantum algorithm for generalized Simon's problem. Acta Informatica 61(2): 131-159 (2024) - Haiyan Liu, Rongdong Cui, Tianjie Zhang:
n-PS-codes, 2-infix-outfix codes and some related classes of codes. Acta Informatica 61(1): 67-81 (2024) - Tonatiuh Tapia-Flores, Ernesto López-Mellado:
Discovering workflow nets of concurrent iterative processes. Acta Informatica 61(1): 1-21 (2024) - Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan:
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61(1): 23-52 (2024) - Gang Yang, Jiannan Zhou, Changxiang He, Yaping Mao:
Distance-edge-monitoring sets of networks. Acta Informatica 61(2): 183-198 (2024) - 2023
- Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On first-order runtime enforcement of branching-time properties. Acta Informatica 60(4): 385-451 (2023) - Chunhua Cao, Jiao Xu, Lei Liao, Di Yang, Guichuan Jia, Qian Du:
The second step in characterizing a three-word code. Acta Informatica 60(4): 453-465 (2023) - Shlomi Dolev, Yin Li:
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs. Acta Informatica 60(1): 59-78 (2023) - Pál Dömösi, Géza Horváth, Norbert Tihanyi:
Simple chain automaton random number generator for IoT devices. Acta Informatica 60(3): 317-329 (2023) - Henning Fernau:
Editorial 2023: changes and invariants. Acta Informatica 60(4): 331-333 (2023) - Rob van Glabbeek:
Reactive bisimulation semantics for a process algebra with timeouts. Acta Informatica 60(1): 11-57 (2023) - Haiyan Guo, Bo Zhou:
Minimum status of trees with a given degree sequence. Acta Informatica 60(1): 1-10 (2023) - Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili:
Toward a theory of program repair. Acta Informatica 60(3): 209-255 (2023) - Niklas Kochdumper, Matthias Althoff:
Constrained polynomial zonotopes. Acta Informatica 60(3): 279-316 (2023) - Dietrich Kuske, Christian Schwarz:
Alternating complexity of counting first-order logic for the subword order. Acta Informatica 60(1): 79-100 (2023) - Richard Lassaigne, Michel de Rougemont:
Testing membership for timed automata. Acta Informatica 60(4): 361-384 (2023) - Asaf Levin, Tal Shusterman:
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times. Acta Informatica 60(2): 101-122 (2023) - Ivano Lodato, Snehal M. Shekatkar, Tian An Wong:
On partial information retrieval: the unconstrained 100 prisoner problem. Acta Informatica 60(2): 179-208 (2023) - Giovanni Pighizzini, Luca Prigioniero:
Pushdown automata and constant height: decidability and bounds. Acta Informatica 60(2): 123-144 (2023) - Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi:
Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60(2): 145-178 (2023) - Farnaz Sheikhi, Behnam Zeraatkar, Sama Hanaie:
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms. Acta Informatica 60(4): 335-359 (2023) - Jingnan Xie, Harry B. Hunt:
On the undecidability and descriptional complexity of synchronized regular expressions. Acta Informatica 60(3): 257-278 (2023) - 2022
- Eric Allender, Archit Chauhan, Samir Datta:
Depth-first search in directed planar graphs, revisited. Acta Informatica 59(4): 289-319 (2022) - Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese:
Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59(6): 725-759 (2022) - James Baxter, Pedro Ribeiro, Ana Cavalcanti:
Sound reasoning in tock-CSP. Acta Informatica 59(1): 125-162 (2022)
skipping 1,616 more matches
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-07-01 07:26 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