Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ioan Alfred Letia, Anca Goron |
An Argumentation Approach to Incompletely Specified Software Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 518-525, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Jean, Stef Graillat |
A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 80-87, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Costan, Florin Pop, Ciprian Dobre, Valentin Cristea |
A Worklow Management Platform for Scientific Applications in Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 261-268, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Ionescu |
Flexible Fault Tolerance in Distributed Enterprise Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 278-285, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emilian Necula, Raluca Necula, Adrian Iftene |
Distributed Traffic Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 159-166, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Adrian Craciun |
Type Inference for Regular Expression Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 366-373, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Juan Félix San-Juan, Rosario María López, Luis María López, Iván Pérez 0005 |
Symbolic-Numeric Cooperation in an Open Science Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 37-46, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong |
Connectivity in Semi-algebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 4-7, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj Popov, Tudor Jebelean |
Proving Partial Correctness and Termination of Mutually Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 153-156, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Scheiblechner |
On Lower Bounds for Algebraic Decision Trees over the Complex Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 362-365, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raffaela Mirandola, Pasqualina Potena |
Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 493-501, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
Completeness of Unfolding for Rewriting Logic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 116-123, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Paule, Veronika Pillwein |
Automatic Improvements of Wallis' Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 12-16, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Spyridon V. Gogouvitis, Kleopatra Konstanteli, Dimosthenis Kyriazis, Theodora A. Varvarigou |
An Architectural Approach for Event-Based Execution Management in Service Oriented Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 395-399, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Rüdiger Ebendt, Iulian Marius Furdu |
Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 167-173, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Anghel, Tudor Cioara, Ioan Salomie, Mihaela Dînsoreanu |
An Autonomic Context Management Model Based on Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 335-338, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò 0001, Luca Zanetti |
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 417-424, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Alfred Letia, Octavian Pop |
Semantic Service Alignment Using Concept Description Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 561-564, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Romeo Negrea, Ciprian Hedrea |
Numerical Solutions for a Class of Backward Stochastic Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 91-94, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lason, Ondrej Jakl |
Role-Based Access Control in Software Services: Theory vs. Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 465-470, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alina Dudeanu, George-Razvan Oancea, Sorin Iftene |
An x-Coordinate Point Compression Method for Elliptic Curves over Fp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 65-71, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Doina Tatar, Epaminondas Kapetanios, Christian Sacarea, Diana Tanase |
Text Segments as Constrained Formal Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 223-228, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene |
Augmented Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 502-509, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aneta Poniszewska-Maranda |
Platform for Access Control Management in Information System Based on Extended RBAC Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 510-517, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Leahu |
Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 293-300, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bartalos, Mária Bieliková |
Composition and Undesired Web Service Execution Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 549-552, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Skrabalek, Tomás Ludík, Jiri Slaby, Tomás Pitner |
Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 577-580, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 387-391, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Atighehchi, Traian Muntean, Sylvain Parlanti, Robert Rolland, Laurent Vallet |
A Cryptographic Keys Transfer Protocol for Secure Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 339-343, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
On the Mathematics of Mathematical Handwriting Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 17, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elzbieta Gawronska, Norbert Sczygiol |
Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 99-103, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Li, Yike Guo |
Optimization of Resource Scheduling in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 315-320, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Pavlov, Borislav Borisov, Sylvia Ilieva, Dessislava Petrova-Antonova |
Framework for Testing Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 557-560, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Sedenka, Matej Bosak, Tomás Pitner |
Monitoring and Support of Unreliable Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 569-572, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Salomie, Mihaela Dînsoreanu, Cristina Bianca Pop, Razvan Lar |
Knowledge Acquisition and Processing System for Romanian Historical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 194-201, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Marin, Ciprian Dobre, Decebal Popescu, Valentin Cristea |
E-System for Automatic Data Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 479-484, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci |
On the Usage of 16 Bit Indices in Recursively Stored Sparse Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 57-64, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Gosman, Ciprian Dobre, Valentin Cristea |
A Security Protocol for Vehicular Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 321-327, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ladislav Hluchý, Peter Krammer, Ondrej Habala, Martin Seleng, Viet D. Tran |
Advanced Data Integration and Data Mining for Enviromental Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 400-406, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gratie, Adina Magda Florea |
Generic Representation for Extension-Based Semantics of Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 182-187, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Bachara, Krzysztof Zielinski |
SOA-Compliant Programming Model for Intelligent Sensor Networks - SCA-Based Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 471-478, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lichtblau |
Polynomial GCD and Factorization via Approximate Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 29-36, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra-Ioana Rusnac, Aurel Stefan Gontean |
Maximum Likelihood Estimation Algorithm Evaluation for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 95-98, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Solomon Marcus |
Mathematical and Computational Mistakes and Failures as a Source of Creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 8-11, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues |
Revisiting Context-Aware Component Interconnection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 377-384, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-0-7695-4324-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ioan Alfred Letia, Anca Nicoleta Marginean |
Expectations for Assessment of Services Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 553-556, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Ungureanu, Catalin Adrian Leordeanu, Valentin Cristea |
Grid-Aware Intrusion Detection System Using Gossip Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 286-292, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | D. Dumitrescu, Rodica Ioana Lung, Noémi Gaskó, Réka Nagy |
Job Scheduling and Bin Packing from a Game Theoretical Perspective: An Evolutionary Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 209-214, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Rybalchenko |
Automated Methods for Proving Program Termination and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 17, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marc Frîncu |
Distributed Scheduling Policy in Service Oriented Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 205-212, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Petrisor Pungila |
A Bray-Curtis Weighted Automaton for Detecting Malicious Code Through System-Call Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 392-400, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorica R. Chifu, Ioan Salomie, Ioana Harsa, Marius Gherga |
Semantic Web Service Composition Method Based on Fluent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 325-332, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Cojocaru, Erkki Mäkinen, Ferucio Laurentiu Tiplea |
Classes of Szilard Languages in NC1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 299-306, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ion-Mircea Diaconescu, Gerd Wagner 0001 |
Beliefs and Communication, The Basis of Collaborative Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 348-355, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alina Simion, Dragos Sbirlea, Florin Pop, Valentin Cristea |
Dynamic Scheduling Algorithms for Workflow Applications in Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 254-261, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tudor Cioara, Ionut Anghel, Ioan Salomie, Mihaela Dînsoreanu |
A Policy-Based Context Aware Self-Management Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 333-340, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu |
Simplification and Generalization in CIRC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 85-92, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Virginia Niculescu, Adriana Mihaela Guran |
Bounded Parallelism in PowerList and ParList Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 237-244, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | James Harold Davenport, Jacques Carette |
The Sparsity Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 3-7, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Alexandru Ordean, Andrei Saupe, Mihaela Ordean, Melania Duma 0002, Gheorghe Cosmin Silaghi |
Enhanced Rule-Based Phonetic Transcription for the Romanian Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 401-406, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Grant Olney Passmore, Leonardo Mendonça de Moura |
Superfluous S-polynomials in Strategy-Independent Groebner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 45-53, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Camelia Vidrighin Bratu, Rodica Potolea |
Unified Strategy for Feature Selection and Data Imputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 413-419, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gratie, Adina Magda Florea |
Alleviating Urban Traffic Congestion by Means of Adaptive Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 361-367, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Qi Ding, Hong-Qing Zhang |
m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 21-27, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anton S. Muresan |
On a Functional-Differential Equation from Price Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 150-156, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicolaie Popescu-Bodorin |
Exploring New Directions in Iris Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 384-391, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorica R. Chifu, Ioan Salomie, Emil St. Chifu, Roland Vachter, Alpár Kövér |
Matching Semantic Web Services Using Learning Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 317-324, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Olariu S. Emanuel Florentin |
Monte Carlo Variance Reduction. Importance Sampling Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 137-141, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Adrian Craciun |
Factorizations of Regular Hedge Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 307-314, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu |
Description and Execution of Patterns for Symbolic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 197-204, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff |
On the Existence of Complete Disjoint NP-Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 282-289, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Veith |
Embedding Formal Methods into Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 11, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | D. Dumitrescu, Rodica Ioana Lung, Tudor Dan Mihoc |
Approximating and Combining Equilibria in Non-cooperative Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 356-360, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard |
Formal Proof of Theorems on Genetic Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 69-76, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | István Gergely Czibula, Gabriela Czibula, Adriana Mihaela Guran |
Dynamic Customization of Data Structures Instances Using an Agent Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 341-347, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lefteris M. Kirousis |
Coloring Random Graphs: A Short Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 8, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Boro Jakimovski, Dragan Sahpaski, Goran Velinov |
Performance Improvement of Genetic Algorithms by Adaptive Grid Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 221-228, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ion Iancu, Mihaela Colhon |
Mamdani FLC with Various Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 368-375, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap |
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 61-68, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie (eds.) |
11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-1-4244-5910-0 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Iuliana Borza, Flavius Turcu, Mohamed Najim |
Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 118-123, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Mahsad Kalantari |
A Hybrid Algorithm for Solving 7 Parameters Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 37-44, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Simona Caraiman, Alexandru Archip, Vasile I. Manta |
A Grid Enabled Quantum Computer Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 189-196, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Codrut-Lucian Lazar, Ioan Lazar, Bazil Pârv, Simona Motogna, István Gergely Czibula |
Using a fUML Action Language to Construct UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 93-101, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Muresan |
An Algorithm for the Approximation of the Solution of a Functional-Integral Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 157-161, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 10, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus, Andrei Grigorean |
Algorithms for Identifying Sequence Patterns with Several Types of Occurrence Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 265-272, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Miklós Bartha, Miklós Krész |
A Depth-first Algorithm to Reduce Graphs in Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 273-281, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
SMT Solvers for Testing, Program Analysis and Verification at Microsoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 15, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marius Ion, Florin Pop, Ciprian Dobre, Valentin Cristea |
Dynamic Resources Allocation in Grid Enviroments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 213-220, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rongfen Lin, Hao Jiang 0001, Lizhi Cheng |
Solving Nonsmooth Interval Equations with Slopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 142-149, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Damian Trif |
MATLAB Package for Laguerre Spectral Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 174-177, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Irina Borozan, Lucian-Ionut Balaceanu, Nicolae Tapus |
Fairness and QoS Enhancement Models and Techniques for Peer-to-Peer Content Sharing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 181-188, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ciprian Zavoianu, Ciprian Dorin Craciun |
On Sensor Data Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 420-425, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Rodila, Victor Bacu, Dorian Gorgan |
Semantic Annotation Based Service Composition for Grid Workflow Description and Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 245-253, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dînsoreanu, Iulia Vartic, Monica Vlad |
Immune-inspired Web Service Composition Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 376-383, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek |
Sparse Matrix Computations Using the Quadtree Storage Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 168-173, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski |
On Herbrand-like Theorems for Cut-free Modal Sequent Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 102-109, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Veith |
Automated Software Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 18, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|