Остановите войну!
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
Likely 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 156 matches
- 2023
- Antoine Jego:
Advanced task-based programming models for scalable linear algebra operations. (Modèles de programmation avancés à base de tâches pour les algorithmes d'algèbre linéaire qui passent à l'échelle). National Polytechnic Institute of Toulouse, France, 2023 - Rundong Mu, Qin Li:
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. Theories of Programming and Formal Methods 2023: 395-412 - 2022
- Sarah Chlyah:
On Algebraic Foundations for the Optimization of Iterative Programming with Distributed Data Collections. (Fondements algébriques pour l'optimisation de la programmation itérative avec des collections de données distribuées). Grenoble Alpes University, France, 2022 - Paolo Masci:
Formal analysis of the application programming interface of the PVS verification system. J. Log. Algebraic Methods Program. 128: 100793 (2022) - Benoît Valiron:
Semantics of quantum programming languages: Classical control, quantum control. J. Log. Algebraic Methods Program. 128: 100790 (2022) - Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen:
The Programming of Algebra. MSFP@ETAPS 2022: 71-92 - 2021
- Roberto Andreani, Ellen Hidemi Fukuda, Gabriel Haeser, Daiana O. Santos, Leonardo D. Secchin:
On the use of Jordan Algebras for improving global convergence of an Augmented Lagrangian method in nonlinear semidefinite programming. Comput. Optim. Appl. 79(3): 633-648 (2021) - Madalina Erascu, Flavia Micota, Daniela Zaharie:
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking. J. Log. Algebraic Methods Program. 121: 100664 (2021) - Luca Bergamaschi, Jacek Gondzio, Ángeles Martínez, John W. Pearson, Spyridon Pougkakiotis:
A new preconditioning approach for an interior point-proximal method of multipliers for linear and convex quadratic programming. Numer. Linear Algebra Appl. 28(4) (2021) - Grigoriy Blekherman, Kevin Shu:
Sums of Squares and Sparse Semidefinite Programming. SIAM J. Appl. Algebra Geom. 5(4): 651-674 (2021) - Stephen D. Brookes, A. W. Roscoe:
CSP: A Practical Process Algebra. Theories of Programming 2021: 187-222 - Georg Struth:
Trimming the Hedges: An Algebra to Tame Concurrency. Theories of Programming 2021: 317-346 - 2019
- Wei Huang:
Optimal Operation of Water Supply Networks by Mixed Integer Nonlinear Programming and Algebraic Methods. TU Darmstadt, Germany, 2019 - 2018
- Luca Bergamaschi, Valentina De Simone, Daniela di Serafino, Ángeles Martínez:
BFGS-like updates of constraint preconditioners for sequences of KKT linear systems in quadratic programming. Numer. Linear Algebra Appl. 25(5) (2018) - Volodymyr Peschanenko, Maksym Poltorackiy:
Use of metods of algebraic programming for the formal verification of legal acts. UkrPROG 2018: 109-114 - Christian Antic:
Towards an Algebraic Theory of Analogical Reasoning in Logic Programming. CoRR abs/1809.09938 (2018) - 2017
- Hiroyuki Goto:
Reduction of Max-Plus Algebraic Equations to Constraint Satisfaction Problems for Mixed Integer Programming. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 100-A(2): 427-430 (2017) - Yevgeniya Sulema:
ASAMPL: Programming Language for Mulsemedia Data Processing Based on Algebraic System of Aggregates. IMCL 2017: 431-442 - 2015
- Giovanny Fernando Lucero Palma:
Algebraic laws for object oriented programming with references. Federal University of Pernambuco, Recife, Brazil, 2015 - Patrícia Helena Moraes Rêgo, João Viana da Fonseca Neto, Ernesto Franklin Marcal Ferreira:
Convergence of the standard RLS method and UDUT factorisation of covariance matrix for solving the algebraic Riccati equation of the DLQR via heuristic approximate dynamic programming. Int. J. Syst. Sci. 46(11): 2006-2028 (2015) - Silvia Crafa:
The role of concurrency in an evolutionary view of programming abstractions. J. Log. Algebraic Methods Program. 84(6): 732-741 (2015) - 2014
- Björn Bartels:
A mechanized verification environment for real-time process algebras and low-level programming languages. Berlin Institute of Technology, 2014 - Bertrand Meyer, Alexander Kogtenkov:
Negative Variables and the Essence of Object-Oriented Programming. Specification, Algebra, and Software 2014: 171-187 - Tony Hoare:
Laws of Programming: The Algebraic Unification of Theories of Concurrency. CONCUR 2014: 1-6 - Yong Li, Hongqing Liu, Qianbin Chen, Trieu-Kien Truong:
Algebraic and linear programming decoding of the (73, 37, 13) quadratic residue code. ICC 2014: 2015-2020 - 2013
- Roberto Fontana:
Algebraic generation of minimum size orthogonal fractional factorial designs: an approach based on integer linear programming. Comput. Stat. 28(1): 241-253 (2013) - Sheng-Long Hu, Zheng-Hai Huang, Liqun Qi:
Finding the extreme Z-eigenvalues of tensors via a sequential semidefinite programming method. Numer. Linear Algebra Appl. 20(6): 972-984 (2013) - José Nuno Oliveira, Miguel Alexandre Ferreira:
Alloy Meets the Algebra of Programming: A Case Study. IEEE Trans. Software Eng. 39(3): 305-326 (2013) - Jonathan P. Bowen:
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. Theories of Programming and Formal Methods 2013: 54-66 - Yifeng Chen:
Algebraic Program Semantics for Supercomputing. Theories of Programming and Formal Methods 2013: 118-135
skipping 126 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 15:23 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