| 1 | Scientific Annals of Computer Science (May 2023) A Study on Centralizing Monoids with Majority Operation Witnesses | https://profs.info.uaic.ro/~bogdan.aman/SACS/XXXIII1/XXXIII1_4.pdf |
| 2 | Scientific Annals of Computer Science (May 2023) Shrinkage Estimators for the Intercept in Linear and Uplift Regression | https://profs.info.uaic.ro/~bogdan.aman/SACS/XXXIII1/XXXIII1_2.pdf |
| 3 | Scientific Annals of Computer Science (May 2023) Maximal Existential and Universal Width | https://profs.info.uaic.ro/~bogdan.aman/SACS/XXXIII1/XXXIII1_3.pdf |
| 4 | Scientific Annals of Computer Science (May 2023) Semidegenerate Congruence-modular Algebras Admitting a Reticulation | https://profs.info.uaic.ro/~bogdan.aman/SACS/XXXIII1/XXXIII1_1.pdf |
| 5 | Scientific Annals of Computer Science (May 2023) A Teacher of Great Strengths | https://profs.info.uaic.ro/~bogdan.aman/SACS/XXXIII1/XXXIII1_0.pdf |
| 6 | Scientific Annals of Computer Science (Dec 2022) Program Algebra for Random Access Machine Programs | https://www.info.uaic.ro/wp-content/uploads/2022/12/XXXII2_4.pdf |
| 7 | Scientific Annals of Computer Science (Dec 2022) Program Algebra for Random Access Machine Programs | https://www.info.uaic.ro/wp-content/uploads/2022/12/XXXII2_4.pdf |
| 8 | Scientific Annals of Computer Science (Dec 2022) New Editorial Team for SACS after 16 Years | https://www.info.uaic.ro/wp-content/uploads/2022/12/XXXII2_0-2.pdf |
| 9 | Scientific Annals of Computer Science (Dec 2022) Four Notions of Fault for Program Specifications | https://www.info.uaic.ro/wp-content/uploads/2022/12/XXXII2_1-1.pdf |
| 10 | Scientific Annals of Computer Science (Dec 2022) An Enhanced Fluid Registration for Image Multi-Frame Super Resolution | https://www.info.uaic.ro/wp-content/uploads/2022/12/XXXII2_3.pdf |
| 11 | Scientific Annals of Computer Science (Dec 2022) Behavioural Pseudometrics for Nondeterministic Probabilistic Systems | https://www.info.uaic.ro/wp-content/uploads/2022/12/XXXII2_2.pdf |
| 12 | Scientific Annals of Computer Science (Jun 2022) Imperative Process Algebra with Abstraction | https://www.info.uaic.ro/wp-content/uploads/2022/06/XXXII1_4.pdf |
| 13 | Scientific Annals of Computer Science (Jun 2022) Reflections on a Scientific Journal | https://www.info.uaic.ro/wp-content/uploads/2022/06/XXXII1_0.pdf |
| 14 | Scientific Annals of Computer Science (Jun 2022) Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem | https://www.info.uaic.ro/wp-content/uploads/2022/06/XXXII1_3-1.pdf |
| 15 | Scientific Annals of Computer Science (Jun 2022) Which Arithmetical Data Types Admit Fracterm Flattening? | https://www.info.uaic.ro/wp-content/uploads/2022/07/XXXII1_2.pdf |
| 16 | Scientific Annals of Computer Science (Jun 2022) A Survey of Testing for Instruction Sequence Theory | https://www.info.uaic.ro/wp-content/uploads/2022/06/XXXII1_1-2.pdf |
| 17 | Scientific Annals of Computer Science (Dec 2021) Maximizing the Number of Visible Labels on a Rotating Map | https://www.info.uaic.ro/wp-content/uploads/2021/12/XXXI2_3.pdf |
| 18 | Scientific Annals of Computer Science (Dec 2021) A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids | https://www.info.uaic.ro/wp-content/uploads/2021/12/XXXI2_2.pdf |
| 19 | Scientific Annals of Computer Science (Dec 2021) On Quantum-MV Algebras – Part I: The Orthomodular Algebras | https://www.info.uaic.ro/wp-content/uploads/2021/12/XXXI2_1-1.pdf |
| 20 | Scientific Annals of Computer Science (Dec 2021) Topological Characterization of the Third Type of Triangular Hex-derived Networks | https://www.info.uaic.ro/wp-content/uploads/2021/12/XXXI2_0.pdf |
| 21 | Scientific Annals of Computer Science (Aug 2021) Applying MDE to ROS Systems: A Comparative Analysis | https://www.info.uaic.ro/wp-content/uploads/2021/08/XXXI1_3.pdf |
| 22 | Scientific Annals of Computer Science (Aug 2021) Small Longest Tandem Scattered Subsequences | https://www.info.uaic.ro/wp-content/uploads/2021/08/XXXI1_2.pdf |
| 23 | Scientific Annals of Computer Science (Aug 2021) A Note on Congruences of Infinite Bounded Involution Lattices | https://www.info.uaic.ro/wp-content/uploads/2021/08/XXXI1_1-1.pdf |
| 24 | Scientific Annals of Computer Science (Aug 2021) Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent | https://www.info.uaic.ro/wp-content/uploads/2021/08/XXXI1_0.pdf |
| 25 | Scientific Annals of Computer Science (Dec 2020) Probabilistic Process Algebra and Strategic Interleaving | https://www.info.uaic.ro/wp-content/uploads/2020/12/XXX2_2.pdf |
| 26 | Scientific Annals of Computer Science (Dec 2020) Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation | https://www.info.uaic.ro/wp-content/uploads/2020/12/XXX2_1-1.pdf |
| 27 | Scientific Annals of Computer Science (Dec 2020) Instruction Sequence Faults with Formal Change Justification | https://www.info.uaic.ro/wp-content/uploads/2020/12/XXX2_0-1.pdf |
| 28 | Scientific Annals of Computer Science (Aug 2020) A Complete Axiomatisation for Probabilistic Trace Equivalence | https://www.info.uaic.ro/wp-content/uploads/2021/01/XXX1_3-3.pdf |
| 29 | Scientific Annals of Computer Science (Aug 2020) A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation | https://www.info.uaic.ro/wp-content/uploads/2020/08/XXX1_2.pdf |
| 30 | Scientific Annals of Computer Science (Aug 2020) An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs | https://www.info.uaic.ro/wp-content/uploads/2020/08/XXX1_1.pdf |
| 31 | Scientific Annals of Computer Science (Aug 2020) Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers | https://www.info.uaic.ro/wp-content/uploads/2020/08/XXX1_0.pdf |
| 32 | Scientific Annals of Computer Science (Dec 2019) Identifying and Querying Regularly Visited Places | https://www.info.uaic.ro/wp-content/uploads/2019/12/XXIX2_2.pdf |
| 33 | Scientific Annals of Computer Science (Dec 2019) Generalising KAT to Verify Weighted Computations | https://www.info.uaic.ro/wp-content/uploads/2019/12/XXIX2_1.pdf |
| 34 | Scientific Annals of Computer Science (Dec 2019) Program Algebra for Turing-Machine Programs | https://www.info.uaic.ro/wp-content/uploads/2019/12/XXIX2_0-1.pdf |
| 35 | Scientific Annals of Computer Science (Sep 2019) On the Relationship Between Matiyasevich’s and Smorynski’s Theorems | https://www.info.uaic.ro/wp-content/uploads/2019/09/XXIX1_3-2.pdf |
| 36 | Scientific Annals of Computer Science (Sep 2019) Enumerating Collinear Points in Higher Dimensions | https://www.info.uaic.ro/wp-content/uploads/2019/09/XXIX1_2-2.pdf |
| 37 | Scientific Annals of Computer Science (Sep 2019) Weighted Context-Free Grammars Over Bimonoids | https://www.info.uaic.ro/wp-content/uploads/2019/09/XXIX1_1-2.pdf |
| 38 | Scientific Annals of Computer Science (Sep 2019) Adams Conditioning and Likelihood Ratio Transfer Mediated Inference | https://www.info.uaic.ro/wp-content/uploads/2019/09/XXIX1_0-1.pdf |
| 39 | Scientific Annals of Computer Science (Dec 2018) Fault-Free Refinements for Interface Automata | https://www.info.uaic.ro/wp-content/uploads/2019/03/XXVIII2_5.pdf |
| 40 | Scientific Annals of Computer Science (Dec 2018) SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME | https://www.info.uaic.ro/wp-content/uploads/2019/03/XXVIII2_4.pdf |
| 41 | Scientific Annals of Computer Science (Dec 2018) A Precise Characterization of Step Traces and Their Concurrent Histories | https://www.info.uaic.ro/wp-content/uploads/2019/03/XXVIII2_3.pdf |
| 42 | Scientific Annals of Computer Science (Dec 2018) Simultaneous Petri Net Synthesis | https://www.info.uaic.ro/wp-content/uploads/2019/03/XXVIII2_2.pdf |
| 43 | Scientific Annals of Computer Science (Dec 2018) Pattern Matching in Link Streams: Timed-Automata with Finite Memory | https://www.info.uaic.ro/wp-content/uploads/2019/03/XXVIII2_1.pdf |
| 44 | Scientific Annals of Computer Science (Dec 2018) High-Level Koutny Net | https://www.info.uaic.ro/wp-content/uploads/2019/03/XXVIII2_0.pdf |
| 45 | Scientific Annals of Computer Science (Jun 2018) On Partition Metric Space, Index Function, and Data Compression | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVIII1_6.pdf |
| 46 | Scientific Annals of Computer Science (Jun 2018) (Skew) Filters in Resituated SkewLattices | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVIII1_3.pdf |
| 47 | Scientific Annals of Computer Science (Jun 2018) The Reticulation of a Universal Algebra | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVIII1_2.pdf |
| 48 | Scientific Annals of Computer Science (Jun 2018) Instruction Sequences Expressing Multiplication Algorithms | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVIII1_1.pdf |
| 49 | Scientific Annals of Computer Science (Jun 2018) The Theory of Finitely Supported Structures and Choice Forms | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVIII1_0.pdf |
| 50 | Scientific Annals of Computer Science (Dec 2017) Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVII2_2.pdf |
| 51 | Scientific Annals of Computer Science (Dec 2017) Axioms for Behavioural Congruence of Single-Pass Instruction Sequences | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVII2_0.pdf |
| 52 | Scientific Annals of Computer Science (Dec 2017) Derived-Term Automata of Multitape Expressions with Composition | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVII2_1.pdf |
| 53 | Scientific Annals of Computer Science (Jun 2017) Model Checking Delay Differential Equations Against Metric Interval Temporal Logic | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVII1_2.pdf |
| 54 | Scientific Annals of Computer Science (Jun 2017) A Provably Correct Compilation of Functional Languages into Scripting Languages | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVII1_1.pdf |
| 55 | Scientific Annals of Computer Science (Jun 2017) Subvarieties of the Variety of Meadows | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVII1_0.pdf |
| 56 | Scientific Annals of Computer Science (Dec 2016) Dynamic Chromatic Number of Bipartite Graphs | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI2_3.pdf |
| 57 | Scientific Annals of Computer Science (Dec 2016) On Activation, Connection, and Behavior in Dynamic Architectures | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI2_2.pdf |
| 58 | Scientific Annals of Computer Science (Dec 2016) RDA: A Coq Library to Reason about Randomized Distributed Algorithms in the Message Passing Model | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI2_1.pdf |
| 59 | Scientific Annals of Computer Science (Dec 2016) A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI2_0.pdf |
| 60 | Scientific Annals of Computer Science (Jun 2016) Errata to “Formations of Monoids, Congruences, and Formal Languages“ | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI1_3.pdf |
| 61 | Scientific Annals of Computer Science (Jun 2016) Faithful Modeling of Product Lines with Kripke Structures and Modal Logic | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI1_2.pdf |
| 62 | Scientific Annals of Computer Science (Jun 2016) Formal Analysis of Android’s Permission-Based Security Model | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI1_1.pdf |
| 63 | Scientific Annals of Computer Science (Jun 2016) On Instruction Sets for Boolean Registers in Program Algebra | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXVI1_0.pdf |
| 64 | Scientific Annals of Computer Science (Dec 2015) Verification and Validation of Formal Data-Centric Business Models | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV2_3.pdf |
| 65 | Scientific Annals of Computer Science (Dec 2015) The Consistency and Complexity of Multiplicative Additive System Virtual | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV2_2.pdf |
| 66 | Scientific Annals of Computer Science (Dec 2015) Probabilistic Thread Algebra | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV2_1.pdf |
| 67 | Scientific Annals of Computer Science (Dec 2015) Formations of Monoids, Congruences, and Formal Languages | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV2_0.pdf |
| 68 | Scientific Annals of Computer Science (Jun 2015) Several Remarks on Dissimilarities and Ultrametrics | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_6.pdf |
| 69 | Scientific Annals of Computer Science (Jun 2015) Identifying Almost Sorted Permutations from TCP Buffer Dynamics | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_5.pdf |
| 70 | Scientific Annals of Computer Science (Jun 2015) Quasi-Algebras versus Regular Algebras – Part I | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_4.pdf |
| 71 | Scientific Annals of Computer Science (Jun 2015) Mutually Exclusive Nuances of Truth in Moisil Logic | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_3.pdf |
| 72 | Scientific Annals of Computer Science (Jun 2015) Boolean Lifting Properties for Bounded Distributive Lattices | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_2.pdf |
| 74 | Scientific Annals of Computer Science (Jun 2015) Non-Deterministic Finite Cover Automata | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_1.pdf |
| 75 | Scientific Annals of Computer Science (Jun 2015) A Grand Master of Discrete Mathematics | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXV1_0.pdf |
| 76 | Scientific Annals of Computer Science (Dec 2014) Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV2_5.pdf |
| 77 | Scientific Annals of Computer Science (Dec 2014) Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV2_4.pdf |
| 78 | Scientific Annals of Computer Science (Dec 2014) Learning Cover Context-Free Grammars from Structural Data | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV2_3.pdf |
| 79 | Scientific Annals of Computer Science (Dec 2014) Rely-Guarantee Based Reasoning for Message-Passing Programs | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV2_2.pdf |
| 80 | Scientific Annals of Computer Science (Dec 2014) Probabilistic Recursion Theory and Implicit Computational Complexity | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV2_1.pdf |
| 81 | Scientific Annals of Computer Science (Dec 2014) Theoretical Aspects of Computing | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV2_0.pdf |
| 82 | Scientific Annals of Computer Science (Jun 2014) Applications in Enumerative Combinatorics of In finite Weighted Automata and Graphs |
https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV1_3.pdf |
| 83 | Scientific Annals of Computer Science (Jun 2014) A Flat Process Calculus for Nested Membrane Interactions | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV1_2.pdf |
| 84 | Scientific Annals of Computer Science (Jun 2014) Instruction Sequence Based Non-uniform Complexity Classes | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV1_1.pdf |
| 85 | Scientific Annals of Computer Science (Jun 2014) A Logic for Complex Computing Systems: Properties Preservation AlongIntegration and Abstraction | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIV1_0.pdf |
| 86 | Scientific Annals of Computer Science (Dec 2013) Locality and Applications to Subsumption Testing in EL and Some of its Extensions | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_3.pdf |
| 87 | Scientific Annals of Computer Science (Dec 2013) Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended) | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_2.pdf |
| 88 | Scientific Annals of Computer Science (Dec 2013) UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_1.pdf |
| 89 | Scientific Annals of Computer Science (Dec 2013) Timed Tuplix Calculus and the Wesseling and van den Bergh Equation | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_0.pdf |
| 90 | Scientific Annals of Computer Science (Jun 2013) Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII1_3.pdf |
| 91 | Scientific Annals of Computer Science (Jun 2013) Modular Verification of Qualitative Pathway Models with Fairness | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII1_2.pdf |
| 92 | Scientific Annals of Computer Science (Jun 2013) RNA-Editing with Combined Insertion and Deletion Preserves Regularity | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII1_1.pdf |
| 93 | Scientific Annals of Computer Science (Jun 2013) GUBS, a Behaviour-Based Language for Design in Synthetic Biology | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII1_0.pdf |
| 94 | Scientific Annals of Computer Science (Dec 2012) Position Automata for Kleene Algebra with Tests | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII2_3.pdf |
| 95 | Scientific Annals of Computer Science (Dec 2012) On Safety Properties and Their Monitoring | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII2_2.pdf |
| 96 | Scientific Annals of Computer Science (Dec 2012) Standard Type Soundness for Agents and Artifacts | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII2_1.pdf |
| 97 | Scientific Annals of Computer Science (Dec 2012) Indirect Jumps Improve Instruction Sequence Performance | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII2_0.pdf |
| 98 | Scientific Annals of Computer Science (Jun 2012) Overview of Thirty Semantic Formalisms for Reo | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII1_5.pdf |
| 99 | Scientific Annals of Computer Science (Jun 2012) Innocent Strategies as Presheaves and Interactive Equivalences for CCS | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII1_4.pdf |
| 100 | Scientific Annals of Computer Science (Jun 2012) Structured Operational Semantics for Graph Rewriting | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII1_3.pdf |
| 101 | Scientific Annals of Computer Science (Jun 2012) Three Algorithms and a Methodology for Amending Contracts for Choreographies | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII1_2.pdf |
| 102 | Scientific Annals of Computer Science (Jun 2012) Contract-Oriented Computing in CO2 | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII1_1.pdf |
| 103 | Scientific Annals of Computer Science (Jun 2012) Towards Interaction Reliability in Concurrent Applications | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXII1_0.pdf |
| 104 | Scientific Annals of Computer Science (Dec 2011) Thread Extraction for Polyadic Instruction Sequences | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI2_4.pdf |
| 105 | Scientific Annals of Computer Science (Dec 2011) Abstracting Asynchronous Multi-ValuedNetworks | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI2_3.pdf |
| 106 | Scientific Annals of Computer Science (Dec 2011) Generalized Communicating P Systems Working in Fair Sequential Mode | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI2_2.pdf |
| 107 | Scientific Annals of Computer Science (Dec 2011) Petri Nets for Biologically Motivated Computing | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI2_1.pdf |
| 108 | Scientific Annals of Computer Science (Dec 2011) Reversibility in Massive Concurrent Systems | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI2_0.pdf |
| 109 | Scientific Annals of Computer Science (Jun 2011) An SCA-based Approach for Social and Pervasive Communications in Home Environments | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI1_11.pdf |
| 110 | Scientific Annals of Computer Science (Jun 2011) Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI1_10.pdf |
| 111 | Scientific Annals of Computer Science (Jun 2011) Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI1_9.pdf |
| 112 | Scientific Annals of Computer Science (Jun 2011) Modular Verification of Interactive Systems with an Application to Biology | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI1_8.pdf |
| 113 | Scientific Annals of Computer Science (Jun 2011) Desynchronizability of (Partial) Synchronous Closed Loop Systems | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI1_7.pdf |
| 114 | Scientific Annals of Computer Science (Jun 2011) Concurrency and Interaction in Complex Systems | https://www.info.uaic.ro/wp-content/uploads/2019/02/XXI1_6.pdf |
| 115 | Scientific Annals of Computer Science (Dec 2010) State Space Reduction for Dynamic Process Creation | https://www.info.uaic.ro/wp-content/uploads/2019/02/XX_4.pdf |
| 116 | Scientific Annals of Computer Science (Dec 2010) Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions | https://www.info.uaic.ro/wp-content/uploads/2019/02/XX_3.pdf |
| 117 | Scientific Annals of Computer Science (Dec 2010) An Algebra of Hierarchical Graphs and its Application to Structural Encoding | https://www.info.uaic.ro/wp-content/uploads/2019/02/XX_2.pdf |
| 118 | Scientific Annals of Computer Science (Dec 2010) Timed Operational Semantics and Well-Formedness of Shape Calculus | https://www.info.uaic.ro/wp-content/uploads/2019/02/XX_1.pdf |
| 119 | Scientific Annals of Computer Science (Dec 2010) Shape Calculus. A Spatial Mobile Calculus for 3D Shapes | https://www.info.uaic.ro/wp-content/uploads/2019/02/XX_0.pdf |
| 120 | Scientific Annals of Computer Science (Dec 2009) Coalgebraic Weak Bisimulation for Action-Type Systems | https://www.info.uaic.ro/wp-content/uploads/2019/02/XIX_3.pdf |