default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Informatica Universalis, Volume 9
Volume 9, Number 1, 2011
- Richard Bonichon, Pascal Cuoq:
A Mergeable Interval Map. 5-37 - Pierre Castéran, Vincent Filou:
Tasks, Types and Tactics for Local Computation Systems. 39-86 - Stéphane Lescuyer:
First-Class Containers in Coq. 87-127 - Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli:
Enforcing Type-Safe Linking using Inter-Package Relationships. 129-157 - Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski:
Real-Time Monitoring of Ocaml programs. 159-185
Volume 9, Number 2, 2011
- Mostafa Blidia, Ahmed Bouchou:
On sequences (γk) and (βk) in regular graphs. 7-18 - Abdelmadjid Boukra, Sadek Bouroubi:
Selection of views to materialize in data warehouse: A cooperative approach. 19-37 - Mohamed Amine Boutiche:
Topology Control and Maintaining of Graph Invariants. 38-49 - Mourad Boudhar, Nacira Chikhi:
Two machine Flow shop with transportation time. 50-75 - Radia Lessak:
On periodic bilinear processes. 76-95 - Houda Mehri, Taoufik Djemel:
Study and Simulation of Queuing Theory in the Toll Motorway. 96-130 - Sadek Bouroubi, Louiza Rezkallah:
An new hybrid cryptosystem based on the satisfiability problem. 131-143 - Isma Bouchemakh, Rafik Sahbi:
On a Conjecture of Erwin. 144-151 - Salim Ziani, Salim Filali:
Improving the Envelope of the LMI Optimization using the Youla Parametrization. 152-172
Volume 9, Number 3, 2011
- Ider Tseveendorj, Igor Vasilyev:
Preface: Baikal Conference on Optimization Methods and Their Applications. 3-6 - Elvira Yaskova, Oleg V. Khamisov:
Professor Valerian P. Bulatov. 7-10 - Anton Anikin, Alexander Gornov:
An implementation of Newton's method for Keating's potential optimization problems. 11-20 - Pasquale Avella, Maurizio Boccia, Saverio Salerno:
A computational study of dicut reformulation for the Single Source Capacitated Facility Location problem. 21-42 - Marya Ershova, Oleg V. Khamisov:
A modification of the ellipsoid method. 43-64 - Eduard Kh. Gimadi:
On some Hard-to-Solve versions of the Assignment Problem. 65-78 - Eugeny Goncharov:
A greedy heuristic approach for the Resource-Constrained Project Scheduling Problem. 79-90 - Alexander Gornov, Irina Veyalko:
A global search algorithm based on the Shepard operator for bang-bang optimal control problem. 91-104 - Saïd Hanafi, Claudio Sterle, Anton V. Ushakov, Igor Vasilyev:
A parallel subgradient algorithm for Lagrangean dual function of the p-median problem. 105-124 - Genady Shevchenko:
The Pontryagin maximum principle as an optimality criterion for a class of nonlinear control problems. 125-134 - Denis N. Sidorov:
Volterra Equations of the First kind with Discontinuous Kernels in the Theory of Evolving Systems Control. 135-146 - Vladimir Srochko, Vladimir Antonik, Nadezhda Rozinova:
Improvement of Extreme Controls in the Norm Maximization Problem on the Reachable Set. 147-160 - Maxim Zarodnyuk, Alexandre Keiko, Boris Kaganovich:
Elaboration of Attainability Region Boundaries in The Model of Extreme Intermediate States. 161-175
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.
last updated on 2025-11-18 22:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
