Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ioan Alfred Letia, Anca Goron |
An Argumentation Approach to Incompletely Specified Software Services. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Costan, Florin Pop, Ciprian Dobre, Valentin Cristea |
A Worklow Management Platform for Scientific Applications in Grid Environments. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Ionescu |
Flexible Fault Tolerance in Distributed Enterprise Communities. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emilian Necula, Raluca Necula, Adrian Iftene |
Distributed Traffic Management System. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Adrian Craciun |
Type Inference for Regular Expression Pattern Matching. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong |
Connectivity in Semi-algebraic Sets. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj Popov, Tudor Jebelean |
Proving Partial Correctness and Termination of Mutually Recursive Programs. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Scheiblechner |
On Lower Bounds for Algebraic Decision Trees over the Complex Numbers. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raffaela Mirandola, Pasqualina Potena |
Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
Completeness of Unfolding for Rewriting Logic Theories. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Paule, Veronika Pillwein |
Automatic Improvements of Wallis' Inequality. |
SYNASC |
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. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Anghel, Tudor Cioara, Ioan Salomie, Mihaela Dînsoreanu |
An Autonomic Context Management Model Based on Machine Learning. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Alfred Letia, Octavian Pop |
Semantic Service Alignment Using Concept Description Refinement. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Romeo Negrea, Ciprian Hedrea |
Numerical Solutions for a Class of Backward Stochastic Differential Equations. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lason, Ondrej Jakl |
Role-Based Access Control in Software Services: Theory vs. Practice. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alina Dudeanu, George-Razvan Oancea, Sorin Iftene |
An x-Coordinate Point Compression Method for Elliptic Curves over Fp. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Doina Tatar, Epaminondas Kapetanios, Christian Sacarea, Diana Tanase |
Text Segments as Constrained Formal Concepts. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene |
Augmented Reality. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aneta Poniszewska-Maranda |
Platform for Access Control Management in Information System Based on Extended RBAC Model. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Leahu |
Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bartalos, Mária Bieliková |
Composition and Undesired Web Service Execution Effects. |
SYNASC |
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". |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
On the Mathematics of Mathematical Handwriting Recognition. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elzbieta Gawronska, Norbert Sczygiol |
Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Li, Yike Guo |
Optimization of Resource Scheduling in Cloud Computing. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Pavlov, Borislav Borisov, Sylvia Ilieva, Dessislava Petrova-Antonova |
Framework for Testing Service Compositions. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Sedenka, Matej Bosak, Tomás Pitner |
Monitoring and Support of Unreliable Services. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Marin, Ciprian Dobre, Decebal Popescu, Valentin Cristea |
E-System for Automatic Data Migration. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Gosman, Ciprian Dobre, Valentin Cristea |
A Security Protocol for Vehicular Distributed Systems. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gratie, Adina Magda Florea |
Generic Representation for Extension-Based Semantics of Argumentation Frameworks. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Bachara, Krzysztof Zielinski |
SOA-Compliant Programming Model for Intelligent Sensor Networks - SCA-Based Solution. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lichtblau |
Polynomial GCD and Factorization via Approximate Gröbner Bases. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra-Ioana Rusnac, Aurel Stefan Gontean |
Maximum Likelihood Estimation Algorithm Evaluation for Wireless Sensor Networks. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Solomon Marcus |
Mathematical and Computational Mistakes and Failures as a Source of Creativity. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues |
Revisiting Context-Aware Component Interconnection. |
SYNASC |
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 |
SYNASC |
2010 |
DBLP BibTeX RDF |
|
1 | Ioan Alfred Letia, Anca Nicoleta Marginean |
Expectations for Assessment of Services Quality. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Ungureanu, Catalin Adrian Leordeanu, Valentin Cristea |
Grid-Aware Intrusion Detection System Using Gossip Algorithms. |
SYNASC |
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. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Rybalchenko |
Automated Methods for Proving Program Termination and Liveness. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marc Frîncu |
Distributed Scheduling Policy in Service Oriented Environments. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Petrisor Pungila |
A Bray-Curtis Weighted Automaton for Detecting Malicious Code Through System-Call Analysis. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorica R. Chifu, Ioan Salomie, Ioana Harsa, Marius Gherga |
Semantic Web Service Composition Method Based on Fluent Calculus. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Cojocaru, Erkki Mäkinen, Ferucio Laurentiu Tiplea |
Classes of Szilard Languages in NC1. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ion-Mircea Diaconescu, Gerd Wagner 0001 |
Beliefs and Communication, The Basis of Collaborative Agents. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alina Simion, Dragos Sbirlea, Florin Pop, Valentin Cristea |
Dynamic Scheduling Algorithms for Workflow Applications in Grid Environment. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tudor Cioara, Ionut Anghel, Ioan Salomie, Mihaela Dînsoreanu |
A Policy-Based Context Aware Self-Management Model. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu |
Simplification and Generalization in CIRC. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Virginia Niculescu, Adriana Mihaela Guran |
Bounded Parallelism in PowerList and ParList Theories. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | James Harold Davenport, Jacques Carette |
The Sparsity Challenges. |
SYNASC |
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. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Grant Olney Passmore, Leonardo Mendonça de Moura |
Superfluous S-polynomials in Strategy-Independent Groebner Bases. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Camelia Vidrighin Bratu, Rodica Potolea |
Unified Strategy for Feature Selection and Data Imputation. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gratie, Adina Magda Florea |
Alleviating Urban Traffic Congestion by Means of Adaptive Routing. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Qi Ding, Hong-Qing Zhang |
m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential Equations. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anton S. Muresan |
On a Functional-Differential Equation from Price Theory. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicolaie Popescu-Bodorin |
Exploring New Directions in Iris Recognition. |
SYNASC |
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. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Olariu S. Emanuel Florentin |
Monte Carlo Variance Reduction. Importance Sampling Techniques. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Adrian Craciun |
Factorizations of Regular Hedge Languages. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu |
Description and Execution of Patterns for Symbolic Computations. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff |
On the Existence of Complete Disjoint NP-Pairs. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Veith |
Embedding Formal Methods into Systems Engineering. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | D. Dumitrescu, Rodica Ioana Lung, Tudor Dan Mihoc |
Approximating and Combining Equilibria in Non-cooperative Games. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard |
Formal Proof of Theorems on Genetic Regulatory Networks. |
SYNASC |
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. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lefteris M. Kirousis |
Coloring Random Graphs: A Short Survey. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Boro Jakimovski, Dragan Sahpaski, Goran Velinov |
Performance Improvement of Genetic Algorithms by Adaptive Grid Workflows. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ion Iancu, Mihaela Colhon |
Mamdani FLC with Various Implications. |
SYNASC |
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. |
SYNASC |
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 |
SYNASC |
2009 |
DBLP BibTeX RDF |
|
1 | Iuliana Borza, Flavius Turcu, Mohamed Najim |
Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Mahsad Kalantari |
A Hybrid Algorithm for Solving 7 Parameters Transformation. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Simona Caraiman, Alexandru Archip, Vasile I. Manta |
A Grid Enabled Quantum Computer Simulator. |
SYNASC |
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. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Muresan |
An Algorithm for the Approximation of the Solution of a Functional-Integral Equation. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus, Andrei Grigorean |
Algorithms for Identifying Sequence Patterns with Several Types of Occurrence Constraints. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Miklós Bartha, Miklós Krész |
A Depth-first Algorithm to Reduce Graphs in Linear Time. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
SMT Solvers for Testing, Program Analysis and Verification at Microsoft. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marius Ion, Florin Pop, Ciprian Dobre, Valentin Cristea |
Dynamic Resources Allocation in Grid Enviroments. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rongfen Lin, Hao Jiang 0001, Lizhi Cheng |
Solving Nonsmooth Interval Equations with Slopes. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Damian Trif |
MATLAB Package for Laguerre Spectral Method. |
SYNASC |
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. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ciprian Zavoianu, Ciprian Dorin Craciun |
On Sensor Data Simulation. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Rodila, Victor Bacu, Dorian Gorgan |
Semantic Annotation Based Service Composition for Grid Workflow Description and Execution. |
SYNASC |
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. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek |
Sparse Matrix Computations Using the Quadtree Storage Format. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski |
On Herbrand-like Theorems for Cut-free Modal Sequent Logics. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Veith |
Automated Software Analysis. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|