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
2009Fault Tolerance Using a Front-End Service for Large Scale Distributed Systems.Marieta Nastase, Ciprian Dobre, Florin Pop, Valentin Cristea
2009An Algorithm for the Approximation of the Solution of a Functional-Integral Equation.Viorica Muresan
2009On a Functional-Differential Equation from Price Theory.Anton S. Muresan
2009Finding the Solutions of Nonlinear Equation Systems from an Interval.Cristian Cira Mihai
2009Factorizations of Regular Hedge Languages.Mircea Marin, Adrian Craciun
2009On Herbrand-like Theorems for Cut-free Modal Sequent Logics.Alexander V. Lyaletski
2009Solving Nonsmooth Interval Equations with Slopes.Rongfen Lin, Hao Jiang, Lizhi Cheng
2009Using a fUML Action Language to Construct UML Models.Codrut-Lucian Lazar, Ioan Lazar, Bazil Prv, Simona Motogna, Istvn Gergely Czibula
2009Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.Laura Kovcs, Andrei Voronkov
2009Coloring Random Graphs: A Short Survey.Lefteris M. Kirousis
2009Performance Improvement of Genetic Algorithms by Adaptive Grid Workflows.Boro Jakimovski, Dragan Sahpaski, Goran Velinov
2009Dynamic Resources Allocation in Grid Enviroments.Marius Ion, Florin Pop, Ciprian Dobre, Valentin Cristea
2009A Compiler for Origami Construction and Verification.Tetsuo Ida
2009Mamdani FLC with Various Implications.Ion Iancu, Mihaela Colhon
2009Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases.Yanli Huang, Dongming Wang
2009A Hybrid Algorithm for Solving 7 Parameters Transformation.Amir Hashemi, Mahsad Kalantari
2009Alleviating Urban Traffic Congestion by Means of Adaptive Routing.Cristian Gratie, Adina Magda Florea
2009Simplification and Generalization in CIRC.Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu
2009Distributed Scheduling Policy in Service Oriented Environments.Marc Frncu
2009Monte Carlo Variance Reduction. Importance Sampling Techniques.Olariu S. Emanuel Florentin
2009A Calculus for Imperative Programs: Formalization and Implementation.Madalina Erascu, Tudor Jebelean
2009A Numerical Solution of the Semi Linear Singularly Perturbed Boundary Value Problem Using Multi Region Finite Difference Method.David Edwards Jr.
2009Approximating and Combining Equilibria in Non-cooperative Games.D. Dumitrescu, Rodica Ioana Lung, Tudor Dan Mihoc
2009m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential Equations.Qi Ding, Hong-Qing Zhang
2009Beliefs and Communication, The Basis of Collaborative Agents.Ion-Mircea Diaconescu, Gerd Wagner
1,0511,075 of 1,404← PreviousNext →

Comparable venues

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