Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Letitia Velcescu, Laurentiu Vasile |
Relational Operators in Heterogeneous Random Databases. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Tudor Jebelean |
A Calculus for Imperative Programs: Formalization and Implementation. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yanli Huang, Dongming Wang 0001 |
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Bonchis |
The Lucas Optimal Growth Model on Finite Horizon. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
A Compiler for Origami Construction and Verification. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marieta Nastase, Ciprian Dobre, Florin Pop, Valentin Cristea |
Fault Tolerance Using a Front-End Service for Large Scale Distributed Systems. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Edwards Jr. |
A Numerical Solution of the Semi Linear Singularly Perturbed Boundary Value Problem Using Multi Region Finite Difference Method. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Zanoni |
Toom-Cook 8-way for Long Integers Multiplication. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
A Methodology for Concurrent Languages Development Based on Denotational Semantics. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Satisfiability and Theories. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marius Paltanea, Sabin Tabirca, Yin Jie Chen, Mark Tangney |
Cancer Prediction Modeling from Volumetric Data. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Cira Mihai |
Finding the Solutions of Nonlinear Equation Systems from an Interval. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Victor Felea, Marian Razvan Balta |
Expansions and Equivalence of Queries Using Views with Parameters and Negation. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Claudiu Cobârzan, Alin Mihaila, Cristina Mihaila |
Dynamics of a Utility Based Distributed Video Proxy-Cache. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Schumann |
Non-Well-Founded Probabilities and Coinductive Probability Logic. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eneia Nicolae Todoran, Nicolae Gherman |
Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Vidrascu |
Coverability Problems for Jumping Petri Nets. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florin Chelaru, Liviu Ciortuz |
Combining Old-Fashioned Computer Go with Monte Carlo Go. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Ghosh 0001, Debarati Kundu, Kaushik Suresh, Swagatam Das, Ajith Abraham |
An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dan C. Cosma |
niSiDe: Interactive Tool for Understanding Distributed Software. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Doina Tatar, Andreea Diana Mihis, Gabriela Serban Czibula |
Lexical Chains Segmentation in Summarization. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Horia Emil Popa, Viorel Negru, Daniel Pop, Ionel Muscalagiu |
DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific Documents. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beáta Reiz, Lehel Csató, Dan Dumitrescu |
Prufer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Colesa, Radu Tudoran, Sebastian Banescu |
Software Random Number Generation Based on Race Conditions. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Iftene, Ionut Pistol, Diana Trandabat |
Grammar-Based Automatic Extraction of Definitions. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Iasinschi, Mirel Cosulschi |
Semi-Automated Wrappers Using Rule Trees. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Sofronia, Alexandru Popa 0001, Gheorghe Stefanescu |
Undecidability Results for Finite Interactive Systems. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sterca |
Primal Congestion Control Algorithms for Multimedia Streams. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Cipu |
Groebner Bases and Solutions to Diophantine Equations. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus |
Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission Control. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, Sun Meng |
UML Model Refactoring as Refinement: A Coalgebraic Perspective. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amelia Badica, Costin Badica |
From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Bucerzan |
A Cryptographic Algorithm Based on a Pseudorandom Number Generator. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Oana Nicolae, Gerd Wagner 0001 |
Verbalising R2ML Rules into SBVR. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florian Mircea Boian, Rares Florin Boian |
Solving Storage Limitations Using a Peer-to-Peer Web File System. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Bota, Bogdan Caruntu, Marius Babescu |
Analytic Approximate Periodic Solutions Based on Harmonic Analysis. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
A Theory of Adaptable Contract-Based Service Composition. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alin Suciu, Kinga Marton, Zoltan Antal |
Data Flow Entropy Collector. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Béla Genge, Piroska Haller |
A Modeling Framework for Generating Security Protocol Specifications. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei-Horia Mogos, Adina Magda Florea |
Solving the Countdown Problem Using Automatic Composition of Semantic Web Services. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Breaban, Silvia Luchian |
Shaping Up Clusters with PSO. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | René Wörzberger, Thomas Kurpick, Thomas Heer |
Checking Correctness and Compliance of Integrated Process Models. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Crenguta Madalina Bogdan |
Concern-Oriented and Ontology-Based Design Approach of Software Architectures. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Iftene, Daniel Pasaila |
A CRT-Based Solution to Yao's Millionaires' Problem. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Hancu |
Supply Chain Risk Management by Mining Business Dependencies. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pasaila, Irina Mohorianu, Liviu Ciortuz |
Using Base Pairing Probabilities for MiRNA Recognition. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Eliana-Dina Tirsa |
Towards a Real-Time Scheduling Framework for Data Transfers in Tree Networks. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mihut, Horia Ciocirlie |
Implementing a Brokered Notification System for Grid Middleware. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Petru Florin Mihancea |
Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Catalin V. Bîrjoveanu |
Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei |
Termination Analysis by Program Inversion. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mogos Radu Ioan, Socoll Paula Liliana |
Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dan C. Ciresan |
Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative Examples. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Macariu, Dacian Tudor, Vladimir Cretu |
Designing a Dynamic Replication Engine for Grid Shared Data Programming. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dan Cojocar |
BBUFs: A New Lookup Mechanism Based on IPV6. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie (eds.) |
SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008 |
SYNASC |
2008 |
DBLP BibTeX RDF |
|
1 | Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras |
A Rewrite Stack Machine for ROC!. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bacu, Lucian Muresan, Dorian Gorgan |
Cluster Based Modeling and Remote Visualization of Virtual Geographical Space. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Zbinden |
Random Numbers for Quantum Key Distribution. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | P. Vijay Suman, Paritosh K. Pandya |
Timed and Hybrid Automata in SAL. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihaiela Lupea |
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florin Pop, Ciprian Dobre, Valentin Cristea |
Decentralized Dynamic Resource Allocation for Workflows in Grid Environments. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Costin |
Complementaries of Greek Means with Respect to the Logarithmic Mean. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Khalilzad-Sharghi, Alireza Talebpour, Alireza Kamali-Asl, Nastaran Hendijani |
Automatic Assessment of Cardiac Artery Disease by Using DCAD Module. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Maria Gómez Canaval, Abraham Gutierrez Rodriguez, Santiago Alonso Villaverde |
Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed Architecture. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Camelia Chira, Camelia-Mihaela Pintea, Dumitru Dumitrescu |
Multi-Population Agent Search: Stigmergy and Heterogeneity. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tatsiana Galibus, Gennadii Matveev, Nikolay Shenets |
Some Structural and Security Properties of the Modular Secret Sharing. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus |
Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Stefanescu, Viorel Arnautu |
The Numerical Solutions for an Elliptic Control Problem. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Octavian Cret, Alin Suciu, Tamas Györfi |
Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Cernian, Dorin Carstoiu, Adriana Olteanu |
Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elena S. Smirnova, Stephen M. Watt |
Communicating Mathematics via Pen-Based Interfaces. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Arteta, Luis Fernández, Javier Gil |
Algorithm for Application of Evolution Rules Based on Linear Diofantic Equations. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
A (Timed) State-Transition Semantics for Reflective Petri Nets. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | István Gergely Czibula, Gabriela Czibula |
Clustering Based Automatic Refactorings Identification. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Lazar, Bazil Pârv, Simona Motogna, István Gergely Czibula, Codrut-Lucian Lazar |
iComponent: A Platform Independent Component Model for Dynamic Execution Environments. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu |
Workflow Management for Symbolic Grid Services. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Bortos, Mihaela Ordean, Gheorghe Cosmin Silaghi |
Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile Devices. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Chindris, Marius Muresan |
Bipolar Junction Effects for High Entropy Data Harvesters. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Resource Competition and Synchronization in Membranes. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Melcher, Detlef Seese |
Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus |
Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michel Hurfin, Jean-Pierre Le Narzul |
Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tudor Jebelean, Gábor Kusper |
Multi-Domain Logic and its Applications to SAT. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Alecsandrescu, Florin Pop, Valentin Cristea |
A Distributed Algorithm for Critical Area Detection in Satellite Imagery. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Armin Größlinger, Stefan Schuster |
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elena Bautu, Andrei Bautu, Henri Luchian |
An Evolutionary Approach for Modeling Time Series. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski |
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radu Tiberiu Trimbitas, Maria Gabriela Trimbitas |
Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Abstract Matrix Arithmetic. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert Mo Kim Cheng |
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Victoria Iordan, Alexandru Cicortas |
Considerations on Using Ontologies in Complex Systems. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Melcher, Detlef Seese |
Visualization and Clustering of Business Process Collections Based on Process Metric Values. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dongming Wang 0001 |
Triangular Decomposition for Algebraic and Geometric Computing. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Stoean, Catalin Stoean, D. Dumitrescu |
Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Panica, Marian Neagul, Dana Petcu, Teodor Stefanut, Dorian Gorgan |
Designing a Grid-Based Training Platform for Earth Observation. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vladiela Petrascu, Dan Ioan Chiorean, Dragos Petrascu |
ContractCML - A Contract Aware Component Modeling Language. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anca Gog, Camelia Chira, D. Dumitrescu, Daniela Zaharie |
Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Gherghina, Eliza Isbasoiu |
Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Bautu, Elena Bautu, Henri Luchian |
Searching Ground States of Ising Spin Glasses with a Tree Bond-Based Representation. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|