Iftene, Sorin; Boureanu, Ioana Weighted threshold secret sharing based on the Chinese remainder theorem. (English) Zbl 1134.94361 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 161-172 (2005). MSC: 94A60 94A62 11A07 PDFBibTeX XMLCite \textit{S. Iftene} and \textit{I. Boureanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 161--172 (2005; Zbl 1134.94361)
Felea, Victor On partianl pseudo-stable models for logic programs. (English) Zbl 1134.68332 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 124-136 (2005). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{V. Felea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 124--136 (2005; Zbl 1134.68332)
Croitoru, Cornelius; Negară, Gabriel Experience-based ant coloring (EAC). A new ant-like graph-coloring algorithm. (English) Zbl 1134.05312 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 110-123 (2005). MSC: 05C15 05C85 90C59 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{G. Negară}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 110--123 (2005; Zbl 1134.05312)
Croitoru, Cornelius; Gheorghieş, Ovidiu; Gheorghieş, Adriana An ordering-based genetic approach to graph coloring. (English) Zbl 1134.05311 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 93-109 (2005). MSC: 05C15 68W20 PDFBibTeX XMLCite \textit{C. Croitoru} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 93--109 (2005; Zbl 1134.05311)
Prisecaru, Oana Otilia; Jucan, Toader; Camerzan, Inga Time interval workflow nets. (English) Zbl 1134.90376 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 77-92 (2005). MSC: 90B30 90B06 90B15 PDFBibTeX XMLCite \textit{O. O. Prisecaru} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 77--92 (2005; Zbl 1134.90376)
Ciobanu, Gabriel; Mishra, Janardan Performance analysis and name passing errors in probabilistic fusion. (English) Zbl 1134.68430 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 57-76 (2005). MSC: 68Q85 62B10 62P30 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{J. Mishra}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 57--76 (2005; Zbl 1134.68430)
Mărușter, Ștefan Quasi-nonexpansivity and the convex feasibility problem. (English) Zbl 1134.47307 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 47-56 (2005). MSC: 47H10 47J25 65J15 90C48 PDFBibTeX XMLCite \textit{Ș. Mărușter}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 47--56 (2005; Zbl 1134.47307)
Moldovan, Grigor Binary recursively defined objects. (English) Zbl 1134.05303 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 36-46 (2005). MSC: 05A15 PDFBibTeX XMLCite \textit{G. Moldovan}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 36--46 (2005; Zbl 1134.05303)
Suter, Florentina; Văduva, Ion; Alexe, Bogdan On simulation of Poisson processes to be used for analyzing a bivariate scan statistic. (English) Zbl 1134.60345 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 23-35 (2005). MSC: 60G55 PDFBibTeX XMLCite \textit{F. Suter} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 15, 23--35 (2005; Zbl 1134.60345)
Vidraşcu, Cristian Modelling and verification with jumping Petri nets. (English) Zbl 1343.68178 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 91-99 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Vidraşcu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 91--99 (2004; Zbl 1343.68178)
Felea, Victor Multi-valued stable semantics for logic programs. (English) Zbl 1343.68044 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 81-90 (2004). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{V. Felea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 81--90 (2004; Zbl 1343.68044)
Deaconu, Adrian Iterative algorithm for construction of a tree from its pre-order and post-order traversals in linear time and space. (English) Zbl 1343.05148 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 69-80 (2004). MSC: 05C85 05C05 68W05 68W40 PDFBibTeX XMLCite \textit{A. Deaconu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 69--80 (2004; Zbl 1343.05148)
Grigoraş, Gheorghe; Lucanu, Dorel On hidden algebra semantics of object oriented languages. (English) Zbl 1343.68051 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 51-68 (2004). MSC: 68N19 68N15 68Q55 PDFBibTeX XMLCite \textit{G. Grigoraş} and \textit{D. Lucanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 51--68 (2004; Zbl 1343.68051)
Croitoru, Cornelius; Frasinaru, Cristian; Olaru, Elefterie; Talmaciu, Mihai Hardly perfect graphs. (English) Zbl 1343.05068 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 12-21 (2004). MSC: 05C17 05C85 05C75 PDFBibTeX XMLCite \textit{C. Croitoru} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 12--21 (2004; Zbl 1343.05068)
Andrei, Ştefan; Chin, Wei-Ngan; Grigoras, Gheorghe Co-determinism and unambiguity of automata accepting finite or infinite words. (English) Zbl 1343.68131 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 1-11 (2004). MSC: 68Q45 PDFBibTeX XMLCite \textit{Ş. Andrei} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 14, 1--11 (2004; Zbl 1343.68131)
Lucanu, Dorel On bisimimulation in hidden\(CCS\). (English) Zbl 1134.68413 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 143-161 (2003). MSC: 68Q60 68Q65 68Q85 PDFBibTeX XMLCite \textit{D. Lucanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 143--161 (2003; Zbl 1134.68413)
Felea, Victor On well-founded models for logic programs. (English) Zbl 1134.68331 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 127-141 (2003). MSC: 68N17 PDFBibTeX XMLCite \textit{V. Felea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 127--141 (2003; Zbl 1134.68331)
Ciortuz, Liviu Inductive learning of attribute path values in typed-unification grammars. (English) Zbl 1134.68568 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 105-125 (2003). MSC: 68T50 PDFBibTeX XMLCite \textit{L. Ciortuz}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 105--125 (2003; Zbl 1134.68568)
Vidraşcu, Cristian; Jucan, Toader Concurrency-degreees for \(P/T\)-nets. (English) Zbl 1134.68453 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 91-103 (2003). MSC: 68Q85 93C65 PDFBibTeX XMLCite \textit{C. Vidraşcu} and \textit{T. Jucan}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 91--103 (2003; Zbl 1134.68453)
Goodwin, Jeffrey R. Results on the Collatz conjecture. (English) Zbl 1134.11318 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 1-16 (2003). MSC: 11B83 68W99 PDFBibTeX XMLCite \textit{J. R. Goodwin}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 13, 1--16 (2003; Zbl 1134.11318)
Vidraşcu, Cristian; Jucan, Toader Concurrency-degrees for jumping Petri nets. (English) Zbl 1134.68455 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 135-151 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Vidraşcu} and \textit{T. Jucan}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 135--151 (2002; Zbl 1134.68455)
Lucanu, Dorel Initial logic and induction in algebraic specification. (English) Zbl 1134.68423 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 79-108 (2002). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{D. Lucanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 79--108 (2002; Zbl 1134.68423)
Jucan, Toader; Captarencu, Oana Three level Petri nets. (English) Zbl 1134.68444 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 29-52 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Jucan} and \textit{O. Captarencu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 29--52 (2002; Zbl 1134.68444)
Andrei, Ştefan; Chin, Wei-Ngan; Grigoraş, Gheorghe A tutorial on a monadic approach for exppressions evaluation. (English) Zbl 1134.68342 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 1-27 (2002). MSC: 68N20 68N18 PDFBibTeX XMLCite \textit{Ş. Andrei} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 1--27 (2002; Zbl 1134.68342)
Petcu, Dana On the speedup of parallel iterative numerical methods. (English) Zbl 1134.65340 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 304-317 (2002). MSC: 65F10 65Y05 68W40 68W10 65L12 65M55 PDFBibTeX XMLCite \textit{D. Petcu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 304--317 (2002; Zbl 1134.65340)
Marian, Nicolae A process algebra for predictible control systems. (English) Zbl 1134.68448 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 231-245 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{N. Marian}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 231--245 (2002; Zbl 1134.68448)
Ene, Cristian; Muntean, Traian Testing theories for broadcasting processes. (English) Zbl 1134.68433 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 214-230 (2002). MSC: 68Q85 68M12 PDFBibTeX XMLCite \textit{C. Ene} and \textit{T. Muntean}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 214--230 (2002; Zbl 1134.68433)
Tabirca, Tatiana; Freeman, Len; Tabirca, Sabin A convergence proof of FGDLS when the woarkload is monotone. (English) Zbl 1134.68324 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 132-141 (2002). MSC: 68M20 PDFBibTeX XMLCite \textit{T. Tabirca} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 132--141 (2002; Zbl 1134.68324)
Tadonki, Claude A recursive method for graph scheduling. (English) Zbl 1134.68325 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 121-131 (2002). MSC: 68M20 05C85 68R10 PDFBibTeX XMLCite \textit{C. Tadonki}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 121--131 (2002; Zbl 1134.68325)
Manolache, Florin B.; Costiner, Sorin; Munõz, Ricardo J.; Ghosh, Shubhro; Gupta, Nikunj; Ross, Roderick Parallel processing approaches for multi disciplinary optimization algorithms. (English) Zbl 1134.90562 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 69-70 (2002). MSC: 90C90 90B90 PDFBibTeX XMLCite \textit{F. B. Manolache} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 69--70 (2002; Zbl 1134.90562)
Grigoraş, Dan (ed.) Special issue: Proceedings of the international symposium on parallel and distributed computing. Iaşi, Romania, July 17–20, 2002. (English) Zbl 0993.00505 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 365 p. (2002). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{D. Grigoraş} (ed.), An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 11, 365~p. (2002; Zbl 0993.00505)
Vidraşcu, Cristian Some applications of the minimal coverability structures. (English) Zbl 1134.68452 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 55-77 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Vidraşcu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 55--77 (2001; Zbl 1134.68452)
Croitoru, Cornelius; Olaru, Elefterie; Talmaciu, Mihai Visibility properties and forbidden holes in graphs. (English) Zbl 1134.05326 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 45-53 (2001). MSC: 05C62 PDFBibTeX XMLCite \textit{C. Croitoru} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 45--53 (2001; Zbl 1134.05326)
Andrei, Ştefan; Grigoraş, Gheorghe; Kudlek, Manfred; Masalagiu, Cristian On the complexity of propositional calculus formulae. (English) Zbl 1134.68373 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 27-43 (2001). MSC: 68Q25 03B35 03F20 68N17 PDFBibTeX XMLCite \textit{Ş. Andrei} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 27--43 (2001; Zbl 1134.68373)
Roventa, E.; Spircu, E. On the complexity of propositional calculus formulae. (English) Zbl 1134.68520 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 19-25 (2001). MSC: 68T35 PDFBibTeX XMLCite \textit{E. Roventa} and \textit{E. Spircu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 19--25 (2001; Zbl 1134.68520)
Păun, Andrei; Păun, Gheorghe; Rodriguez-Patón, Alfonso Further remarks on \(P\) systems with symport rules. (English) Zbl 1134.68368 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 3-18 (2001). MSC: 68Q05 PDFBibTeX XMLCite \textit{A. Păun} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 10, 3--18 (2001; Zbl 1134.68368)
Oancea, Adrian Generalized template dependencies. (English) Zbl 1134.68366 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 93-105 (2000). MSC: 68P15 PDFBibTeX XMLCite \textit{A. Oancea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 93--105 (2000; Zbl 1134.68366)
Brânzei, Rodica; Fragnelli, Vito; Tijs, Stef On the computation of the nucleolus of line-graph peer group games. (English) Zbl 1134.91316 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 79-91 (2000). MSC: 91A12 PDFBibTeX XMLCite \textit{R. Brânzei} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 79--91 (2000; Zbl 1134.91316)
Ignat, Anca Boundary control approximation of a \(1\)-dimensional hyperbolic equation. (English) Zbl 1134.49312 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 65-77 (2000). MSC: 49M25 35B37 65J10 PDFBibTeX XMLCite \textit{A. Ignat}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 65--77 (2000; Zbl 1134.49312)
Vidraşcu, Cristian; Jucan, Toader On converbility structures for jumping Petri nets. (English) Zbl 1134.68454 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 1-26 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Vidraşcu} and \textit{T. Jucan}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 9, 1--26 (2000; Zbl 1134.68454)
Zaharie, Daniela A class of adaptive recurrent neural networks and image enhancement. (English) Zbl 1134.92305 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 177-187 (1999). MSC: 92B20 68T05 82C32 PDFBibTeX XMLCite \textit{D. Zaharie}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 177--187 (1999; Zbl 1134.92305)
Ţiplea, Ferucio Laurenţiu; Ţiplea, Aurora On normalization of Petri nets. (English) Zbl 1134.68424 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 151-161 (1999). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{F. L. Ţiplea} and \textit{A. Ţiplea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 151--161 (1999; Zbl 1134.68424)
Tabirca, Tatiana The reciprocal theorems concerning the chromatic polynomial. (English) Zbl 1134.05316 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 146-150 (1999). MSC: 05C15 PDFBibTeX XMLCite \textit{T. Tabirca}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 146--150 (1999; Zbl 1134.05316)
Tabirca, Sabin The in-out rebalancing flow method for maximum flow computation. (English) Zbl 1134.90320 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 135-145 (1999). MSC: 90B10 90C27 90C35 PDFBibTeX XMLCite \textit{S. Tabirca}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 135--145 (1999; Zbl 1134.90320)
Ernö, Scheiber A parallel version of a multistep method to solve the initial value problem. (English) Zbl 1134.65355 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 129-134 (1999). MSC: 65L06 65Y05 PDFBibTeX XMLCite \textit{S. Ernö}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 129--134 (1999; Zbl 1134.65355)
Nikolai, Kossovski; Artem, Tishkov Specification by quantifier-free theory of superlinear inequalities and complexity of its decidability. (English) Zbl 1134.03315 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 114-120 (1999). MSC: 03B25 PDFBibTeX XMLCite \textit{K. Nikolai} and \textit{T. Artem}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 114--120 (1999; Zbl 1134.03315)
Fortiş, Florin On fully bracketed languages with finite selection. (English) Zbl 1134.68385 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 88-98 (1999). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Fortiş}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 88--98 (1999; Zbl 1134.68385)
Felea, Victor On the family of conditional generalized dependencies. (English) Zbl 1134.68365 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 77-87 (1999). MSC: 68P15 PDFBibTeX XMLCite \textit{V. Felea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 77--87 (1999; Zbl 1134.68365)
Croitoru, Cornelius; Frăsinaru, Cristian Exploring unknown undirected graphs. (English) Zbl 1134.05336 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 67-76 (1999). MSC: 05C85 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{C. Frăsinaru}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 67--76 (1999; Zbl 1134.05336)
Croitoru, Cornelius A structural property of monsters. (English) Zbl 1134.05317 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 64-66 (1999). MSC: 05C17 PDFBibTeX XMLCite \textit{C. Croitoru}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 64--66 (1999; Zbl 1134.05317)
Cocan, Moise The special degree of a node in a graph. (English) Zbl 1134.05307 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 44-52 (1999). MSC: 05C07 PDFBibTeX XMLCite \textit{M. Cocan}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 44--52 (1999; Zbl 1134.05307)
Ciobanu, Gabriel; Olariu, Florentin Interaction structures for communicating processes. (English) Zbl 1134.68431 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 36-43 (1999). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{F. Olariu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 36--43 (1999; Zbl 1134.68431)
Alexe, Gabriela; Alexe, Sorin The clique structure of a graph. (English) Zbl 1134.05334 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 1-16 (1999). MSC: 05C85 68R10 PDFBibTeX XMLCite \textit{G. Alexe} and \textit{S. Alexe}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 8, 1--16 (1999; Zbl 1134.05334)
Georgescu, Horia Generation of combinatorial elements using OOP. (English) Zbl 0970.68032 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 91-102 (1998). MSC: 68N19 PDFBibTeX XMLCite \textit{H. Georgescu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 91--102 (1998; Zbl 0970.68032)
Ene, Cristian On complexity of reachability of transition restricted Petri nets. (English) Zbl 0968.68108 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 103-105 (1998). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Ene}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 103--105 (1998; Zbl 0968.68108)
Todiraşcu, Amalia On the structure of the Romanian relative clauses. (English) Zbl 0968.68158 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 69-90 (1998). MSC: 68T50 PDFBibTeX XMLCite \textit{A. Todiraşcu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 69--90 (1998; Zbl 0968.68158)
Brânzei, Rodica Some results on three-persons games with a weighted combination of linear entropic criteria. (English) Zbl 0993.91002 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 55-67 (1998). MSC: 91A10 91A06 PDFBibTeX XMLCite \textit{R. Brânzei}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 55--67 (1998; Zbl 0993.91002)
Atanasiu, Adrian A mathematical model for evolutionary systems. (English) Zbl 0968.68080 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 43-53 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Atanasiu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 43--53 (1998; Zbl 0968.68080)
Olaru, Elefterie On strongly stable graphs and some consequences for partitionable graphs. (English) Zbl 0967.05054 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 33-41 (1998). MSC: 05C75 05C17 PDFBibTeX XMLCite \textit{E. Olaru}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 33--41 (1998; Zbl 0967.05054)
Stanimirović, Predrag S. Interpreter-based approach to generalized matrix inversion. (English) Zbl 0968.68014 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 19-32 (1998). MSC: 68N15 68N20 15A09 PDFBibTeX XMLCite \textit{P. S. Stanimirović}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 19--32 (1998; Zbl 0968.68014)
Preda, Cristian Qualitative harmonic analysis of Markov processes of stationary jumps. (Analyse harmonique qualitative des processus markoviens de sauts stationaires.) (French. English summary) Zbl 1058.60505 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 5-18 (1998). MSC: 60J75 62H25 PDFBibTeX XMLCite \textit{C. Preda}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 7, 5--18 (1998; Zbl 1058.60505)
Andrei, Ştefan; Kudlek, Manfred Morphological grammars. (English) Zbl 0968.68073 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5-6, 85-114 (1997). MSC: 68Q42 PDFBibTeX XMLCite \textit{Ş. Andrei} and \textit{M. Kudlek}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5--6, 85--114 (1997; Zbl 0968.68073)
Lucanu, Dorel; Surpăţanu, Nicolae On refinement in rewriting logic. (English) Zbl 0968.68023 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5-6, 67-84 (1997). MSC: 68N17 68Q42 PDFBibTeX XMLCite \textit{D. Lucanu} and \textit{N. Surpăţanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5--6, 67--84 (1997; Zbl 0968.68023)
Brânzei, Rodica A dynamic approach to the three-persons cooperative games. (English) Zbl 0993.91003 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5-6, 49-66 (1997). MSC: 91A12 91A06 PDFBibTeX XMLCite \textit{R. Brânzei}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5--6, 49--66 (1997; Zbl 0993.91003)
Cazacu, C.; Ibănescu, L. Semigroups of RN-algorithms. (English) Zbl 0968.68061 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5-6, 35-48 (1997). MSC: 68Q15 PDFBibTeX XMLCite \textit{C. Cazacu} and \textit{L. Ibănescu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5--6, 35--48 (1997; Zbl 0968.68061)
Papp, Cristian RAA-coherent logics which are not RAA-extended are non-monotonic. (English) Zbl 0968.68024 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5-6, 29-34 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{C. Papp}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5--6, 29--34 (1997; Zbl 0968.68024)
Papp, Cristian Disjunction as alternative choices. (English) Zbl 0968.68022 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5-6, 5-28 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{C. Papp}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 5--6, 5--28 (1997; Zbl 0968.68022)
Udrişte, C.; Udrişte, A.; Balan, V.; Postolache, M. Magnetic dynamical systems. (English) Zbl 0860.35132 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 105-126 (1995). MSC: 35Q60 78A25 54H20 PDFBibTeX XMLCite \textit{C. Udrişte} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 105--126 (1995; Zbl 0860.35132)
Todiraşcu, Amalia A unification-based model for speech generation. (English) Zbl 0858.68068 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 93-103 (1995). MSC: 68T50 PDFBibTeX XMLCite \textit{A. Todiraşcu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 93--103 (1995; Zbl 0858.68068)
Tatar, Doina Buchberger algorithm in theorem proving. (English) Zbl 0852.03005 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 85-92 (1995). MSC: 03B35 68W30 68T15 13P10 PDFBibTeX XMLCite \textit{D. Tatar}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 85--92 (1995; Zbl 0852.03005)
Rotaru, Mihai; Ciobanu, Gabriel On the ”rep” construction into \(\pi\)-nets. (English) Zbl 0858.68058 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 73-84 (1995). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Rotaru} and \textit{G. Ciobanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 73--84 (1995; Zbl 0858.68058)
Xue, Qingbo (\(C_ 4\), lotus)-free Berge graphs are perfect. (English) Zbl 0853.05042 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 65-71 (1995). MSC: 05C15 PDFBibTeX XMLCite \textit{Q. Xue}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 65--71 (1995; Zbl 0853.05042)
Papp, Cristian A minimal model computation of the generalized disjunctive well-founded semantics. (English) Zbl 0861.68056 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 37-64 (1995). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Papp}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 37--64 (1995; Zbl 0861.68056)
Vasantha Kandasamy, W. B. On semigroup-semisuperboolean algebras. (English) Zbl 0863.20032 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 33-36 (1995). MSC: 20M25 06E20 16S36 PDFBibTeX XMLCite \textit{W. B. Vasantha Kandasamy}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 33--36 (1995; Zbl 0863.20032)
Vasantha Kandasamy, W. B. Complex polynomial near-rings. (English) Zbl 0852.16033 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 29-31 (1995). MSC: 16Y30 12K05 16S36 PDFBibTeX XMLCite \textit{W. B. Vasantha Kandasamy}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 29--31 (1995; Zbl 0852.16033)
Ciobanu, Gabriel Dataflow \(\lambda\)-calculus. (English) Zbl 0858.68055 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 13-28 (1995). MSC: 68Q55 03B40 PDFBibTeX XMLCite \textit{G. Ciobanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 13--28 (1995; Zbl 0858.68055)
Andrei, Ştefan Finding keys in particular classes of functional dependencies. (English) Zbl 0858.68028 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 5-12 (1995). MSC: 68P15 PDFBibTeX XMLCite \textit{Ş. Andrei}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 4, 5--12 (1995; Zbl 0858.68028)
Zimand, Marius On the topological size of \(p\)-\(m\)-complete degrees. (English) Zbl 0840.68047 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 107-116 (1994). MSC: 68Q15 PDFBibTeX XMLCite \textit{M. Zimand}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 107--116 (1994; Zbl 0840.68047)
Papp, Cristian Unfold transformations and fixpoint semantics for disjunctive deductive databases. (English) Zbl 0844.68032 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 85-106 (1994). MSC: 68P15 68Q55 PDFBibTeX XMLCite \textit{C. Papp}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 85--106 (1994; Zbl 0844.68032)
Lucanu, Dorel Fixed-point solutions for ground term rewriting systems. (English) Zbl 0840.68064 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 75-83 (1994). MSC: 68Q42 PDFBibTeX XMLCite \textit{D. Lucanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 75--83 (1994; Zbl 0840.68064)
Massouros, Gerasimos G. Hypercompositional structures in the theory of the languages and automata. (English) Zbl 0840.68066 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 65-73 (1994). MSC: 68Q45 08A70 20N20 68Q70 PDFBibTeX XMLCite \textit{G. G. Massouros}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 65--73 (1994; Zbl 0840.68066)
Câmpeanu, Cezar Random numbers. (English) Zbl 0840.68059 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 53-64 (1994). MSC: 68Q30 PDFBibTeX XMLCite \textit{C. Câmpeanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 3, 53--64 (1994; Zbl 0840.68059)
Asiminoaei, Ioan Simulation studies on time discrete diffusion approximations by the splitting up method. (English) Zbl 0851.60056 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 121-127 (1993). Reviewer: N.Renganathan (Annamalai Nagar) MSC: 60H10 60J60 PDFBibTeX XMLCite \textit{I. Asiminoaei}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 121--127 (1993; Zbl 0851.60056)
Ignat, Anca Symbolic calculus to get exact solutions of the Ginzburg-Landau equation. (Calcul symbolique pour l’obtention des solutions exactes de l’équation de Ginzburg-Landau.) (French) Zbl 0852.35133 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 109-120 (1993). Reviewer: G.Jumarie (Montreal) MSC: 35Q55 68W30 35-04 PDFBibTeX XMLCite \textit{A. Ignat}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 109--120 (1993; Zbl 0852.35133)
Papp, Cristian A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs. (English) Zbl 0844.68018 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 93-108 (1993). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{C. Papp}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 93--108 (1993; Zbl 0844.68018)
Ciortuz, Liviu Virgil Logic programming with built-in object-orientation. (English) Zbl 0850.68133 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 73-92 (1993). MSC: 68N17 PDFBibTeX XMLCite \textit{L. V. Ciortuz}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 73--92 (1993; Zbl 0850.68133)
Croitoru, Cornelius; Radu, Costel \(C\)-perfect graphs. (English) Zbl 0838.05099 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 61-71 (1993). MSC: 05C99 05C15 05C35 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{C. Radu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 61--71 (1993; Zbl 0838.05099)
Olaru, E. On strongly perfect graphs and the structure of critically-imperfect graphs. (English) Zbl 0837.05099 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 45-59 (1993). MSC: 05C75 PDFBibTeX XMLCite \textit{E. Olaru}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 45--59 (1993; Zbl 0837.05099)
Atanasiu, Adrian; Mitrana, Victor Parallel substitution on words and languages. (English) Zbl 0840.68065 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 37-43 (1993). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{A. Atanasiu} and \textit{V. Mitrana}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 37--43 (1993; Zbl 0840.68065)
Jucan, T.; Masalagiu, C. D.; Ţiplea, F. L. Relation based controlled Petri nets. (English) Zbl 0840.68082 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 27-35 (1993). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Jucan} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 27--35 (1993; Zbl 0840.68082)
Gruska, Josef; Napoli, Margherita; Parente, Domenico On the minimization and succinctness of systolic binary tree automata. (English) Zbl 0840.68076 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 13-25 (1993). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Gruska} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 13--25 (1993; Zbl 0840.68076)
Kari, L.; Mateescu, Al.; Salomaa, A.; Păun, G. Grammars with oracles. (English) Zbl 0840.68070 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 3-12 (1993). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{L. Kari} et al., An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 2, 3--12 (1993; Zbl 0840.68070)
Ţiplea, Ferucio Laurenţiu Corrections to: ”Reversible and strict reversible \(P/T\)-systems”. (English) Zbl 0845.68080 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 77-80 (1992). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{F. L. Ţiplea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 77--80 (1992; Zbl 0845.68080)
Felea, Victor Armstrong-like relations for functional partition dependencies. (English) Zbl 0845.68035 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 69-75 (1992). MSC: 68P20 PDFBibTeX XMLCite \textit{V. Felea}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 69--75 (1992; Zbl 0845.68035)
Ciobanu, Gabriel A model for a \(\lambda\)-calculus extended for dataflow computation. (English) Zbl 0835.68039 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 57-67 (1992). MSC: 68Q05 PDFBibTeX XMLCite \textit{G. Ciobanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 57--67 (1992; Zbl 0835.68039)
Luchian, Henri; Stamata, Daniel A user-oriented approach for the protection of statistical databases. (English) Zbl 0960.68565 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 41-55 (1992). MSC: 68P15 PDFBibTeX XMLCite \textit{H. Luchian} and \textit{D. Stamata}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 41--55 (1992; Zbl 0960.68565)
Panaite, Petrişor On some Rado’s type functions. (English) Zbl 0835.68080 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 27-39 (1992). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Panaite}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 27--39 (1992; Zbl 0835.68080)
Cazacu, Costică On foundations of the effective computability theory. (English) Zbl 0835.68038 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 17-26 (1992). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{C. Cazacu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 17--26 (1992; Zbl 0835.68038)
Croitoru, Cornelius; Radu, Costel Colourings and orderings in a graph. (English) Zbl 0832.05045 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 11-16 (1992). MSC: 05C15 05C99 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{C. Radu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 11--16 (1992; Zbl 0832.05045)
Croitoru, Cornelius; Radu, Costel Submodularity relations for the independence function of a graph. (English) Zbl 0832.05046 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 3-10 (1992). MSC: 05C15 05C75 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{C. Radu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 1, 3--10 (1992; Zbl 0832.05046)