Остановите войну!
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
Exact matches
Likely 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 61 matches
- 2024
- Nevena Z. Petrovic, Miroslav S. Pranic, Marija P. Stanic, Tatjana V. Tomovic Mladenovic:
The set of anti-Gaussian quadrature rules for the optimal set of quadrature rules in Borges' sense. J. Comput. Appl. Math. 442: 115733 (2024) - 2023
- Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov:
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST 2023: 143-147 - 2022
- Tatjana Petrov, Matej Hajnal, Julia Klein, David Safránek, Morgane Nouvian:
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. PLoS Comput. Biol. 18(9): 1010305 (2022) - Julia Klein, Tatjana Petrov:
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. ISoLA (3) 2022: 181-198 - 2021
- Tatjana Petrov, Stefano Tognazzi:
Exact and approximate role assignment for multi-layer networks. J. Complex Networks 9(5) (2021) - Denis Repin, Tatjana Petrov:
Automated deep abstractions for stochastic chemical reaction networks. Inf. Comput. 281: 104788 (2021) - Biserka Petrovska, Tatjana Atanasova Pacemska, Natasa Stojkovik, Aleksandra Stojanova, Mirjana Kocaleva:
Machine Learning with Remote Sensing Image Data Sets. Informatica (Slovenia) 45(3) (2021) - Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet:
Long lived transients in gene regulation. Theor. Comput. Sci. 893: 1-16 (2021) - Tatjana Petrov, Stefano Tognazzi:
Lumping Reductions for Multispread in Multi-Layer Networks. COMPLEX NETWORKS 2021: 289-300 - Matej Hajnal, David Safránek, Tatjana Petrov:
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. EPEW 2021: 79-95 - 2020
- Pavol Bokes, Julia Klein, Tatjana Petrov:
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression. CMSB 2020: 44-60 - Tatjana Petrov, Stefano Tognazzi:
Centrality-Preserving Exact Reductions of Multi-Layer Networks. ISoLA (2) 2020: 397-415 - Denis Repin, Nhat-Huy Phung, Tatjana Petrov:
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. QEST 2020: 27-32 - Andreea Beica, Jérôme Feret, Tatjana Petrov:
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB 2020: 3-32 - Ankit Gupta, Tatjana Petrov:
Preface. SASB 2020: 1-2 - Alessandro Abate, Tatjana Petrov, Verena Wolf:
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. Lecture Notes in Computer Science 12314, Springer 2020, ISBN 978-3-030-60326-7 [contents] - Ankit Gupta, Tatjana Petrov:
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science 350, Elsevier 2020 [contents] - Tatjana Petrov, Denis Repin:
Automated Deep Abstractions for Stochastic Chemical Reaction Networks. CoRR abs/2002.01889 (2020) - 2019
- Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin:
Transient Memory in Gene Regulation. CMSB 2019: 155-187 - Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek:
Data-Informed Parameter Synthesis for Population Markov Chains. CMSB 2019: 383-386 - Matej Hajnal, Morgane Nouvian, David Safránek, Tatjana Petrov:
Data-Informed Parameter Synthesis for Population Markov Chains. HSB 2019: 147-164 - 2018
- Tatjana Petrov:
Markov chain aggregation and its application to rule-based modelling. CoRR abs/1812.09774 (2018) - 2017
- Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model checking the evolution of gene regulatory networks. Acta Informatica 54(8): 765-787 (2017) - Goran S. Nikolic, Mile K. Stojcev, Tatjana R. Nikolic, Branislav D. Petrovic, Goran S. Jovanovic, Bojan Dimitrijevic:
Implementation and evaluation of 2D SEC-DED forward error correction scheme in wireless sensor networks. Microelectron. Reliab. 78: 161-180 (2017) - Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18(2): 12:1-12:25 (2017) - 2016
- Goran S. Nikolic, Mile K. Stojcev, Tatjana R. Nikolic, Branislav D. Petrovic, Goran S. Jovanovic:
Reliable data transfer Rendezvous protocol in wireless sensor networks using 2D-SEC-DED encoding technique. Microelectron. Reliab. 65: 289-309 (2016) - Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CONCUR 2016: 20:1-20:15 - Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016: 112-129 - Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CoRR abs/1605.00186 (2016) - 2015
- Tatjana M. Aleksic, Miroslav Petrovic:
Cacti Whose Spread is Maximal. Graphs Comb. 31(1): 23-34 (2015)
skipping 31 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-04-25 11:51 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