Skip to content

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

SYNASC

National

CORE rank

CORE rank (raw)

National: romania

Fields of research

Theory of Computation

Papers indexed

1,404

2005–2025

Papers per year

200593 peak2025

SYNASC papers

1,404 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2008Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus.Mihaiela Lupea
2008A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing.Raluca Lefticaru, Florentin Ipate
2008iComponent: A Platform Independent Component Model for Dynamic Execution Environments.Ioan Lazar, Bazil Prv, Simona Motogna, Istvn Gergely Czibula, Codrut-Lucian Lazar
2008Automatic Assessment of Cardiac Artery Disease by Using DCAD Module.Vahid Khalilzad-Sharghi, Alireza Talebpour, Alireza Kamali-Asl, Nastaran Hendijani
2008Multi-Domain Logic and its Applications to SAT.Tudor Jebelean, Gbor Kusper
2008Considerations on Using Ontologies in Complex Systems.Victoria Iordan, Alexandru Cicortas
2008Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction.Mogos Radu Ioan, Socoll Paula Liliana
2008Grammar-Based Automatic Extraction of Definitions.Adrian Iftene, Ionut Pistol, Diana Trandabat
2008A CRT-Based Solution to Yao's Millionaires' Problem.Sorin Iftene, Daniel Pasaila
2008Building a Textual Entailment System for the RTE3 Competition. Application to a QA System.Adrian Iftene
2008Graph Rewriting in Computational Origami.Tetsuo Ida
2008Semi-Automated Wrappers Using Rule Trees.Adrian Iasinschi, Mirel Cosulschi
2008Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services.Michel Hurfin, Jean-Pierre Le Narzul
2008Supply Chain Risk Management by Mining Business Dependencies.Lucian Hancu
2008On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter.Armin Grlinger, Stefan Schuster
2008Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms.Anca Gog, Camelia Chira, D. Dumitrescu, Daniela Zaharie
2008An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors.Sayan Ghosh, Debarati Kundu, Kaushik Suresh, Swagatam Das, Ajith Abraham
2008Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment.Cristina Gherghina, Eliza Isbasoiu
2008A Modeling Framework for Generating Security Protocol Specifications.Bla Genge, Piroska Haller
2008Some Structural and Security Properties of the Modular Secret Sharing.Tatsiana Galibus, Gennadii Matveev, Nikolay Shenets
2008Expansions and Equivalence of Queries Using Views with Parameters and Negation.Victor Felea, Marian Razvan Balta
2008Clustering Based Automatic Refactorings Identification.Istvn Gergely Czibula, Gabriela Czibula
2008Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method.Octavian Cret, Alin Suciu, Tamas Gyrfi
2008Complementaries of Greek Means with Respect to the Logarithmic Mean.Iulia Costin
2008niSiDe: Interactive Tool for Understanding Distributed Software.Dan C. Cosma
1,1261,150 of 1,404← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.