Forgot your password?
Document Actions
Technical reports
Technical reports at the Institute eAustria Timisoara
- 03-01 - Discovering Process Models from Empirical Data
Laura Maruster - 03-02 - Parallel State Space Construction on a Cluster
Dana Petcu, Diana Dubu - 03-03 - Verification of Imperative Programs in Theorema
Laura Kovacs, Nikolaj Popov, Tudor Jebelean - 03-04 - Experience with Formal Verification of SDL Protocols
Marius Minea, Cornel Izbasa, Calin Jebelean - 03-05 - CAVIS 2003
- 03-06 - Managing the Incidents in the Urban Transport
Alexandru Cicortas - 03-07 - Parallel Implementation of multi-population differential evolution
Daniela Zaharie, Dana Petcu - 03-08 - Constructing a Grid Portal
Dana Petcu, Adrian Oprean - 03-09 - Building a Computational Grid: Design Issues
Dana Petcu - 03-10 - Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
Bruno Buchberger, Adrian Craciun - 03-11 - Practical Verification of Imperative Programs in Theorema
Laura Ildiko Kovacs, Tudor Jeb elean - 03-12 - A Multi-agent Approach to a Sales Optimization Application
Calin Sandru, Viorel Negru, Daniel Pop - 04-01 - CAVIS 2004
- 04-02 - Speedup Involving Differential Equations on Cluster Workstations
Dana Petcu - 04-03 - An Extension of Maple for Grid and Cluster Computing
Dana Petcu, Diana Dubu - 04-04 - The meta-architecture of the detection strategies tuning machine
Petru Florin Mihancea - 04-05 - Experiments on the Local Load Balancing Algorithms
Stefan Maruster - 04-06 - A Practical Approach to Proving Termination of Recursive Programs in Theorema
Nikolaj Popov, Tudor Jebelean - 04-07 - Generation of Invariants in Theorema
Laura Ildiko Kovacs, Tudor Jebelean - 04-08 - Debugging and Verification of Expert Systems
Daniel Pop, Viorel Negru - 04-09 - Stormcrow - A neural network-based Intrusion Detection System
Cornel Izbasa - 05-01 - Web-PS - a web-based P system simulator with query facilities
Cosmin Bonchis, Calin Garboni, Cornel Izbasa, Gabriel Ciobanu - 05-02 - Reordering algorithm for preconditioning nonlinear problems
Cosmin Bonchis, Stefan Maruster - 05-03 - An Introduction to the SysteMaThEx Project
Adrian Craciun - 05-04 - Software issues in solving initial value problems for Ordinary Differential Equations
Dana Petcu - 05-05 - Asynchronous iterative algorithms on computational grid
Stefan Maruster - 05-06 - Quasi-nonexpansivity and the convex feasibility problem
Stefan Maruster - 05-07 - USING CHARACTER MOMENT BASED INVARIANT FEATURES TO IMPROVE OFF-LINE HANDWRITING RECOGNITION
Dan Ciresan - 06-01 - P systems Final State Probabilities
Cosmin Bonchis, Cornel Izbasa. - 06-02 - Diversity Enhancing Mechanisms for Evolutionary Optimization in Static and Dynamic Environments, accepted at SACI'06, 3rd Romanian-Hungarian Joint Symposium on Applied Computational Intelligence, Timisoara, May 25-26, 2006.
Daniela Zaharie, Flavia Zamfirache - 06-03 - Encodings and Arithmetic Operations in Membrane Computing
Artiom Alhazov, Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu - 06-04 - Distributed Clustering Based on Representatives Evolved by Crowding Differential Evolution, submitted to Mendel'06, 12th International Conference on Soft Computing, Brno, May 31-June 2, 2006.
Daniela Zaharie - 06-05 - Scheme Based Systematic Exploration of Mathematical Theories.Case study: the Natural Numbers
Madalina Hodorog - 06-06 - Systematic Exploration of Tuples Using Schemes
Cristina Codresi - 06-07 -Knowledge Schemes Libraries for Scheme Based Exploration: First Steps
A. Craciun, C. Codresi, V. Isac, M. Hodorog, D. Pop - 06-08 - Towards a Specification of a Framework for Scheme-Based Theory Exploration
Adrian Craciun, Cristina Codresi, Vlad Isac, Madalina Hodorog, Diana Pop - 06-09 - P systems behavioral analysis
Cosmin Bonchis, Cornel Izbasa - 06-10 - Shannon theory for multisets - first aproach
Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu - 06-11 - A Characterization of Region of Experience Based on Association Rules
Daniel Pop - 07-01 - Counting Preimages of TCP Reordering Patterns
Gabriel Istrate, Anders Hansson. A revised version has appeared in Discrete Applied Mathematics - 07-02 - Satisfying assignments of Random Boolean CSP- Clusters and Overlaps
Gabriel Istrate. A revised version has appeared in Journal of Universal Computer Science - 07-03 - The Quotient-Remainder Theorem for Natural Numbers: Discovery by Lazy Thinking
Adrian Craciun, Madalina Hodorog - 07-04 - Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration, Proofs of Properties in the Original Paper
Adrian Craciun, Madalina Hodorog -
07-05 - Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion-
Gabriel Istrate, Madhav V. Marathe, S.S. Ravi. A revised version has appeared in the Proceedings of the Fourth Computability in Europe Conference (CIE'08) -
08-01 - $q$-overlaps in the random Exact Cover problem-
Gabriel Istrate, Romeo Negrea -
08-02 - Geometric properties of satisfying assignments of random $\epsilon$-1-in-k SAT -
Gabriel Istrate -
08-03 - On the dynamics of social balance on general networks (with an application to XOR-SAT) -
Gabriel Istrate . A revised version will appear in Fundamenta Informaticae -
08-04 - Sharp Thresholds for Stopping Times of Markov Chains (I) -
Gabriel Istrate -
08-05 - Identifying almost sorted permutations from TCP buffer dynamics -
Gabriel Istrate -
08-06 - Stochastic Stability in Schelling's Segregation Model with Contagion -
Gabriel Istrate. A preliminary version will appear in the Proceedings of the Fifth European Conference on Complex Systems (ECCS'08). -
08-07 - Dissecting the Artificial: the Adversarial Scheduling Approach to Validating Game-Theoretic Models and Social Simulations -
Gabriel Istrate. A revised version has appeared in the Proceedings of the Fifth Conference of the European Social Simulation Association (ESSA'08) -
08-08 - Secure Orchestration of Symbolic Grid Services -
Alexandru Carstea, Georgiana Macariu, Marc Frincu, Dana Petcu -
08-09 - The Peculiar Phase Structure of Random Graph Bisection -
Allon Percus, Gabriel Istrate, Bruno Tavares Gonçalves, Robert Sumi, Stefan Boettcher. Journal of Mathematical Physics -
08-10 - Grammatical Inference and Symbolic Dynamics -
Gabriel Istrate. A preliminary version has been presented at the the Fifth European Conference on Complex Systems (ECCS'08). -
09-01 - On Hadwiger's Number of a Graph with partial Information -
Gabriel Istrate. -
09-02 - SYNASC09 - Symbolic Computation
-
09-03 - SYNASC09 - Logic and programming
-
09-04 - SYNASC09 - Artificial Intelligence
-
09-05 - SYNASC09 - Numerical computing
-
09-06 - SYNASC09 - Parallel computing
-
09-07 - SYNASC09 - Advances in the Theory of Computing
-
09-08 - SYNASC09 - ACSys Workshop (6th Workshop on Agents for Complex Systems)
-
09-09 - SYNASC09 - DMC Workshop (1st Workshop on Data Management and Control)
-
09-10 - SYNASC09 - GlobalComp Workshop (2nd Workshop on Global Computing Models and Technologies)
-
09-11 - SYNASC09 - NCA Workshop (Workshop on Natural Computing and Applications)
-
10-01 Packet Reordering: Some Methodological Considerations
- G. Istrate, A. Hansson, G. Yan