Journal of Universal Computer Science Short Title: J. UCS Publisher: Technische Universität Graz, Graz ISSN: 0948-6968/e Online: http://www.jucs.org/ Comments: No longer indexed; Published electronic only as of Vol. 1 (1995). This journal is available open access. Documents Indexed: 504 Publications (1995–2013) all top 5 Latest Issues 19, No. 6 (2013) 19, No. 1 (2013) 18, No. 20 (2012) 18, No. 16 (2012) 18, No. 14 (2012) 18, No. 13 (2012) 18, No. 10 (2012) 17, No. 13 (2011) 17, No. 11 (2011) 17, No. 8 (2011) 17, No. 6 (2011) 17, No. 5 (2011) 16, No. 20 (2010) 16, No. 18 (2010) 16, No. 17 (2010) 16, No. 14 (2010) 16, No. 11 (2010) 16, No. 10 (2010) 16, No. 6 (2010) 16, No. 5 (2010) 16, No. 3 (2010) 16, No. 1 (2010) 15, No. 17 (2009) 15, No. 15 (2009) 15, No. 14 (2009) 15, No. 13 (2009) 15, No. 10 (2009) 15, No. 9 (2009) 15, No. 8 (2009) 15, No. 6 (2009) 15, No. 5 (2009) 15, No. 4 (2009) 15, No. 3 (2009) 15, No. 1 (2009) 14, No. 22 (2008) 14, No. 21 (2008) 14, No. 20 (2008) 14, No. 13 (2008) 14, No. 12 (2008) 14, No. 10 (2008) 14, No. 6 (2008) 14, No. 3 (2008) 13, No. 11 (2007) 11, No. 12 (2005) 10, No. 8 (2004) 9, No. 10 (2003) 8, No. 12 (2002) 8, No. 11 (2002) 8, No. 7 (2002) 8, No. 4 (2002) 8, No. 3 (2002) 8, No. 2 (2002) 7, No. 10 (2001) 7, No. 8 (2001) 7, No. 7 (2001) 7, No. 6 (2001) 7, No. 5 (2001) 7, No. 4 (2001) 7, No. 3 (2001) 7, No. 2, Spec. Iss. (2001) 7, No. 1, Spec. Iss. (2001) 6, No. 12 (2000) 6, No. 11, Spec. Iss. (2000) 6, No. 10, Spec. Iss. (2000) 6, No. 9 (2000) 6, No. 8 (2000) 6, No. 5 (2000) 6, No. 4 (2000) 6, No. 3 (2000) 6, No. 2 (2000) 6, No. 1 (2000) 5, No. 12 (1999) 5, No. 11 (1999) 5, No. 10 (1999) 5, No. 9 (1999) 5, No. 8 (1999) 5, No. 6 (1999) 5, No. 5 (1999) 5, No. 3 (1999) 4, No. 8 (1998) 4, No. 7 (1998) 4, No. 6 (1998) 4, No. 5 (1998) 4, No. 4 (1998) 4, No. 3 (1998) 4, No. 2 (1998) 4, No. 1 (1998) 3, No. 12 (1997) 3, No. 11 (1997) 3, No. 10 (1997) 3, No. 9 (1997) 3, No. 8 (1997) 3, No. 7 (1997) 3, No. 6 (1997) 3, No. 5 (1997) 3, No. 4 (1997) 3, No. 3 (1997) 3, No. 2 (1997) 3, No. 1 (1997) 2, No. 11 (1996) ...and 12 more Volumes all top 5 Authors 10 Calude, Cristian S. 8 Schewe, Klaus-Dieter 6 Honkala, Juha 6 Păun, Gheorghe 6 Salomaa, Arto Kustaa 6 Weihrauch, Klaus 5 Bridges, Douglas Suth 5 Hertling, Peter H. 4 Gurevich, Yuri 4 Hemaspaandra, Lane A. 4 Ishihara, Hajime 4 Jürgensen, Helmut 4 Maurer, Hermann A. 4 Muller, Jean-Michel 4 Salomaa, Kai T. 4 Schellhorn, Gerhard 4 Thalheim, Bernhard 4 Zhang, Xian-Mo 4 Zheng, Yuliang 3 Banach, Richard 3 Berger, Josef 3 Börger, Egon 3 Bosserhoff, Volker 3 Brattka, Vasco 3 Carlson, Patricia A. 3 Duval, Erik 3 Dvořák, Václav 3 Fenwick, Peter 3 Gheorghe, Marian 3 Ito, Masami 3 Keller, Jörg 3 Krishnan, Padmanabhan 3 Kuich, Werner 3 Margenstern, Maurice 3 Nguyen Thanh Ngoc 3 Posch, Reinhard 3 Reif, Wolfgang 3 Rettinger, Robert 3 Schröder, Matthias 3 Ştefănescu, Doru 3 Svozil, Karl 3 Wang, Qing 3 Yu, Sheng 2 Ahrendt, Wolfgang 2 Aichering, Bernhard K. 2 Bordihn, Henning 2 Chaitin, Gregory J. 2 Chesneaux, Jean-Marie 2 Collins, Peter J. 2 Cristofor, Dana 2 Dassow, Jürgen 2 Daumas, Marc 2 Dinneen, Michael J. 2 Dunne, Paul E. 2 Farjudian, Amin 2 Futatsugi, Kokichi 2 Gaßner, Christine 2 Georgescu, Horia 2 Grozea, Cristian 2 Günther, Ulrich 2 Havea, Robin S. 2 Hemaspaandra, Edith 2 Holzer, Markus 2 Iljazović, Zvonko 2 Iorgulescu, Afrodita 2 Jeong, Ik Rae 2 Jézéquel, Fabienne 2 Kari, Jarkko 2 Khoussainov, Bakhadyr M. 2 Konečný, Michal 2 Kornerup, Peter 2 Kuo, Chin-Hwa 2 Kurosawa, Kaoru 2 Kutter, Philipp W. 2 Lee, Beomhee 2 Lee, Youngdae 2 Leppänen, Ville 2 Lipponen, Marjo 2 Ma, Hui 2 Markov, Svetoslav Marinovich 2 Martín-Vide, Carlos 2 Mateescu, Alexandru 2 Mearelli, Luca 2 Messine, Frédéric 2 Mitrana, Victor 2 Mori, Takakazu 2 Nagar, Atulya K. 2 Oishi, Shin’ichi 2 Olivie, Henk J. 2 Pauly, Arno M. 2 Pieprzyk, Josef P. 2 Pierantonio, Alfonso 2 Popova, Evgeniya D. 2 Roşu, Grigore 2 Rubio, Fernando 2 Ruf, Jürgen 2 Safavi-Naini, Reihaneh 2 Schuster, Peter Michael 2 Simovici, Dan A. 2 Spitters, Bas ...and 673 more Authors all top 5 Fields 398 Computer science (68-XX) 91 Mathematical logic and foundations (03-XX) 28 General and overarching topics; collections (00-XX) 27 Information and communication theory, circuits (94-XX) 17 Numerical analysis (65-XX) 16 Operations research, mathematical programming (90-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 9 General topology (54-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Functional analysis (46-XX) 5 Combinatorics (05-XX) 5 Ordinary differential equations (34-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Measure and integration (28-XX) 4 Operator theory (47-XX) 4 Statistics (62-XX) 4 Mathematics education (97-XX) 3 History and biography (01-XX) 3 General algebraic systems (08-XX) 3 Number theory (11-XX) 3 Category theory; homological algebra (18-XX) 3 Systems theory; control (93-XX) 2 Field theory and polynomials (12-XX) 2 Associative rings and algebras (16-XX) 2 Functions of a complex variable (30-XX) 2 Partial differential equations (35-XX) 2 Geometry (51-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Biology and other natural sciences (92-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Sequences, series, summability (40-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 244 Publications have been cited 959 times in 879 Documents Cited by ▼ Year ▼ Descriptional complexity of machines with limited resources. Zbl 1258.68058Goldstine, Jonathan; Kappes, Martin; Kintala, Chandra M. R.; Leung, Hing; Malcher, Andreas; Wotschke, Detlef 28 2002 GAC – the criterion for global avalanche characteristics of cryptographic functions. Zbl 0960.68572Zhang, Xian-Mo; Zheng, Yuliang 27 1995 Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104Diaconescu, Razvan; Futatsugi, Kokichi 23 2000 How incomputable is finding Nash equilibria? Zbl 1216.91004Pauly, Arno 22 2010 Elementary computable topology. Zbl 1201.03039Weihrauch, K.; Grubba, T. 20 2009 A generic tableau prover and its integration with Isabelle. Zbl 0961.68116Paulson, Lawrence C. 19 1999 A selection process based on additive consistency to deal with incomplete fuzzy linguistic information. Zbl 1216.68291Cabrerizo, F. J.; Heradio, R.; Pérez, I. J.; Herrera-Viedma, E. 18 2010 The computable multi-functions on multi-represented sets are closed under programming. Zbl 1227.03061Weihrauch, K. 18 2008 On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019Iorgulescu, A. 17 2008 Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080Calude, Cristian S.; Nies, André 16 1997 Extensions of affine arithmetic: application to unconstrained global optimization. Zbl 1274.65184Messine, F. 16 2002 On the intractability of computing the Duquenne-Guigues base. Zbl 1277.68258Kuznetsov, Sergei O. 16 2004 New tools for cellular automata in the hyperbolic plane. Zbl 0967.68111Margenstern, Maurice 15 2000 Enclosure methods for multivariate differentiable functions and application to global optimization. Zbl 1063.90574Messine, Frédéric; Lagouanelle, Jean-Louis 14 1998 Dynamical control of computations using the trapezoidal and Simpson’s rules. Zbl 0967.68175Chesneaux, J. M.; Jézéquel, F. 13 1998 The automorphism group of a hypercube. Zbl 0960.68130Harary, Frank 13 2000 The coalgebraic class specification language CCSL. Zbl 0970.68104Rothe, Jan; Tews, Hendrik; Jacobs, Bart 13 2001 Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033Iljazović, Z. 12 2009 Lexical analysis with a simple finite-fuzzy-automaton model. Zbl 0960.68611Mateescu, Alexandru; Salomaa, Arto; Salomaa, Kai 11 1995 Persistency of confluence. Zbl 0960.68082Aoto, Takahito; Toyama, Yoshihito 11 1997 A direct proof of the equivalence between Brouwer’s fan theorem and König’s lemma with a uniqueness hypothesis. Zbl 1124.03042Schwichtenberg, H. 11 2005 Additive distances and quasi-distances between words. Zbl 1258.68074Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 11 2002 On directed interval arithmetic and its applications. Zbl 0960.65561Markov, Svetoslav 10 1995 Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057Leuştean, Laurenţiu 10 2007 An aperiodic set of Wang cubes. Zbl 0960.68623Culik, Karel II; Kari, Jarkko 9 1995 Too many minor order obstructions (for parameterized lower ideals). Zbl 0967.68117Dinneen, Michael J. 9 1997 Group theoretical aspects of reversible logic gates. Zbl 0961.68008Storme, Leo; de Vos, Alexis; Jacobs, Gerald 9 1999 Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031Collins, P.; Graça, D. S. 9 2009 Error-correction, and finite-delay decodability. Zbl 1258.68086Konstantinidis, Stavros 9 2002 Notions of probabilistic computability on represented spaces. Zbl 1227.03058Bosserhoff, V. 9 2008 Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140Traonouez, L.-M.; Lime, D.; Roux, O. H. 8 2009 On cryptographic properties of random Boolean functions. Zbl 0967.68059Olejár, Daniel; Stanek, Martin 8 1998 Connection-based theorem proving in classical and non-classical logics. Zbl 0961.68118Kreitz, Christoph; Otten, Jens 8 1999 Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049Coquand, T.; Spitters, B. 8 2005 Synchronization and stability of finite automata. Zbl 1258.68084Kari, Jarkko 8 2002 Certificateless public key encryption secure against malicious KGC attacks in the standard model. Zbl 1217.68088Hwang, Yong Ho; Liu, Joseph K.; Chow, Sherman S. M. 8 2008 Constructor-based logics. Zbl 1362.68193Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro 7 2012 Computable separation in topology, from \(T_{0}\) to \(T_{2}\). Zbl 1219.03043Weihrauch, Klaus 7 2010 A note on the computability of graph minor obstruction sets for monadic second order ideals. Zbl 0960.68129Courcelle, Bruno; Downey, Rodney G.; Fellows, Michael R. 7 1997 Communicating stream \(X\)-machines systems are no more than \(X\)-machines. Zbl 0960.68005Balanescu, Tudor; Cowling, Anthony J.; Georgescu, Horia; Gheorghe, Marian; Holcombe, Mike; Vertan, Cristina 7 1999 Some notes on Fine computability. Zbl 1257.03072Brattka, Vasco 7 2002 Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074Berger, Ulrich 6 2010 Isometries and computability structures. Zbl 1219.03042Iljazović, Zvonko 6 2010 Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050Ishihara, Hajime 6 1997 Rationally additive semirings. Zbl 1257.16034Ésik, Zoltán; Kuich, Werner 6 2002 On identification in \(\mathbb Z^2\) using translates of given patterns. Zbl 1312.68026Honkala, Iiro; Lobstein, Antoine 6 2003 Orthogonal concatenation: language equations and state complexity. Zbl 1216.68141Daley, M.; Domaratzki, M.; Salomaa, K. 5 2010 MSB-first digit serial arithmetic. Zbl 0960.68508Nielsen, Asger Munk; Kornerup, Peter 5 1995 Reasoning about abstract state machines: The WAM case study. Zbl 0960.68090Schellhorn, Gerhard; Ahrendt, Wolfgang 5 1997 Numerical verification method of existence of connecting orbits for continuous dynamical systems. Zbl 0965.65139Oishi, Shinichi 5 1998 Some basic properties of general nonperfect secret sharing schemes. Zbl 0967.68060Ogata, Wakaha; Kurosawa, Kaoru 5 1998 Mobile ambients and \(P\)-systems. Zbl 0960.68073Petre, Ion; Petre, Luigia 5 1999 Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Zbl 0963.03053Ratschan, Stefan 5 2000 Nondeterministic admissible interference. Zbl 0963.68105Mullins, John 5 2000 Computability of the spectrum of self-adjoint operators. Zbl 1120.47063Brattka, V.; Dillhage, R. 5 2005 Constructive set theory and Brouwerian principles. Zbl 1124.03034Rathjen, M. 5 2005 Shuffle decomposition of regular languages. Zbl 1258.68081Ito, Masami 5 2002 Generation of constants and synchronization of finite automata. Zbl 1258.68090Salomaa, Arto 5 2002 How large is the set of disjunctive sequences? Zbl 1258.68091Staiger, Ludwig 5 2002 Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160Drăgoi, C.; Manea, F.; Mitrana, V. 5 2007 The tourist in the shopping arcade. Zbl 1216.68315Fleischer, R.; Kamphans, T.; Klein, R.; Langetepe, E.; Trippen, G. 4 2010 On the weaknesses of Gong’s collisionful hash function. Zbl 0960.68042Bakhtiari, S.; Safavi-Naini, R.; Pieprzyk, J. 4 1997 Linear multisecret-sharing schemes and error-correcting codes. Zbl 0960.68063Ding, Cunsheng; Laihonen, Tero; Renvall, Ari 4 1997 Reliable computation of elliptic functions. Zbl 0965.65046Luther, Wolfram; Otten, Werner 4 1998 On the algebra of intervals and convex bodies. Zbl 0970.65053Markov, Svetoslav M. 4 1998 Query order and the polynomial hierarchy. Zbl 0961.68052Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald 4 1998 A polynomial solution for 3-SAT in the space of cellular automata in the hyperbolic plane. Zbl 0968.68105Margenstern, Maurice; Morita, Kenichi 4 1999 A representation theorem for monadic Pavelka algebras. Zbl 0963.03088Georgescu, George; Leustean, Ioana 4 2000 Monotone, Horn and quadratic pseudo-Boolean functions. Zbl 0963.06014Foldes, Stephan; Hammer, Peter L. 4 2000 On equational Craig interpolation. Zbl 0962.03026Rosu, Grigore; Goguen, Joseph 4 2000 Linear and quadratic complexity bounds on the values of the positive roots of polynomials. Zbl 1216.65053Akritas, A. G. 4 2009 Topological complexity of blowup problems. Zbl 1201.03036Rettinger, R.; Weihrauch, K.; Zhong, N. 4 2009 Certificate-based signatures revisited. Zbl 1216.94055Wu, W.; Mu, Y.; Susilo, W.; Huang, X. 4 2009 Quotient spaces and coequalisers in formal topology. Zbl 1124.03038Palmgren, E. 4 2005 New bounds for positive roots of polynomials. Zbl 1124.12001Ştefănescu, Doru 4 2005 Finding median partitions using information-theoretical-based genetic algorithms. Zbl 1258.68048Cristofor, Dana; Simovici, Dan 4 2002 Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064Spandl, C. 4 2008 A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems. Zbl 1362.68262Zhang, Gexiang; Zhou, Fen; Huang, Xiaoli; Cheng, Jixiang; Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca 3 2012 A hybrid metaheuristic strategy for covering with wireless devices. Zbl 1362.68278Bajuelos, Antonio L.; Canales, Santiago; Hernández, Gregorio; Martins, Mafalda 3 2012 From computing sets of optima, Pareto sets, and sets of Nash equilibria to general decision-related set computations. Zbl 1219.91038Kreinovich, Vladik; Kubica, Bartlomiej Jacek 3 2010 Petri net controlled grammars: the case of special Petri nets. Zbl 1217.68120Dassow, J.; Turaev, S. 3 2009 A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046Pencolé, Y.; Subias, A. 3 2009 Algebras and update strategies. Zbl 1216.68089Johnson, Michael; Rosebrugh, R.; Wood, R. 3 2010 An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033Doder, D.; Ognjanović, Z.; Marković, Z. 3 2010 Recursive abstract state machines. Zbl 0960.68091Gurevich, Yuri; Spielmann, Marc 3 1997 Integrating ASMs into the software development life cycle. Zbl 0971.68051Börger, Egon; Mearelli, Luca 3 1997 Model checking for abstract state machines. Zbl 0960.68071Winter, Kirsten 3 1997 Highly nonlinear \(t\)-resilient functions. Zbl 0960.68061Kurosawa, Kaoru; Satoh, Takashi; Yamamoto, Kentaro 3 1997 Invariance properties of random sequences. Zbl 0969.60002Hertling, Peter; Wang, Yongge 3 1997 Surjective functions on computably growing Cantor sets. Zbl 0960.68072Hertling, Peter 3 1997 Agent-oriented integration of distributed mathematical services. Zbl 0961.68117Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker 3 1999 A canonical model construction for substructural logics. Zbl 0959.03015Ishihara, Hajime 3 2000 Weak inclusion systems. II. Zbl 0961.18002Cazanescu, Virgil Emil; Rosu, Grigore 3 2000 Ensuring terminating in ESFP. Zbl 0960.68025Telford, Alastair; Turner, David 3 2000 A new approach to communicating \(X\)-machines systems. Zbl 0960.68006Georgescu, Horia; Vertan, Cristina 3 2000 Representing measurement results. Zbl 1201.03035Pauly, A. 3 2009 Perhaps the intermediate value theorem. Zbl 1128.03049Veldman, Wim 3 2005 On the computational complexity of synchronized context-free languages. Zbl 1258.68073Bordihn, Henning; Holzer, Markus 3 2002 Simply normal numbers to different bases. Zbl 1257.03073Hertling, Peter 3 2002 On the power of P systems with symport rules. Zbl 1258.68061Martıń-Vide, Carlos; Paun, Andrei; Paun, Gheorghe 3 2002 The Riesz representation operator on the dual of \(C[0; 1]\) is computable. Zbl 1412.03024Jafarikhah, Tahereh; Weihrauch, Klaus 1 2013 Constructor-based logics. Zbl 1362.68193Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro 7 2012 A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems. Zbl 1362.68262Zhang, Gexiang; Zhou, Fen; Huang, Xiaoli; Cheng, Jixiang; Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca 3 2012 A hybrid metaheuristic strategy for covering with wireless devices. Zbl 1362.68278Bajuelos, Antonio L.; Canales, Santiago; Hernández, Gregorio; Martins, Mafalda 3 2012 The method of logistic optimization in e-commerce. Zbl 1311.90010Bucki, Robert; Suchanek, Petr 1 2012 A general qualitative spatio-temporal model based on intervals. Zbl 1311.68153Martínez-Martín, Ester; Escrig, M. Teresa; del Pobil, Angel P. 1 2012 An improved FPTAS for mobile agent routing with time constraints. Zbl 1247.68021Levner, Eugene; Elalouf, Amir; Cheng, T. C. Edwin 3 2011 Descriptional complexity of ambiguity in symmetric difference NFAs. Zbl 1217.68135van Zijl, Lynette; Geldenhuys, Jaco 2 2011 How incomputable is finding Nash equilibria? Zbl 1216.91004Pauly, Arno 22 2010 A selection process based on additive consistency to deal with incomplete fuzzy linguistic information. Zbl 1216.68291Cabrerizo, F. J.; Heradio, R.; Pérez, I. J.; Herrera-Viedma, E. 18 2010 Computable separation in topology, from \(T_{0}\) to \(T_{2}\). Zbl 1219.03043Weihrauch, Klaus 7 2010 Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074Berger, Ulrich 6 2010 Isometries and computability structures. Zbl 1219.03042Iljazović, Zvonko 6 2010 Orthogonal concatenation: language equations and state complexity. Zbl 1216.68141Daley, M.; Domaratzki, M.; Salomaa, K. 5 2010 The tourist in the shopping arcade. Zbl 1216.68315Fleischer, R.; Kamphans, T.; Klein, R.; Langetepe, E.; Trippen, G. 4 2010 From computing sets of optima, Pareto sets, and sets of Nash equilibria to general decision-related set computations. Zbl 1219.91038Kreinovich, Vladik; Kubica, Bartlomiej Jacek 3 2010 Algebras and update strategies. Zbl 1216.68089Johnson, Michael; Rosebrugh, R.; Wood, R. 3 2010 An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033Doder, D.; Ognjanović, Z.; Marković, Z. 3 2010 A heuristic approach to positive root isolation for multiple power sums. Zbl 1216.68349Xu, Ming; Mu, Chuandong; Zeng, Zhenbing; Li, Zhi-Bin 2 2010 Canonical effective subalgebras of classical algebras as constructive metric completions. Zbl 1219.03041Bauer, Andrej; Blanck, Jens 2 2010 Redundant relations in relational databases: a model theoretic perspective. Zbl 1216.68086Ferrarotti, Flavio Antonio; Paoletti, Alejandra Lorena; Turull Torres, José María 2 2010 XML database transformations. Zbl 1216.68094Schewe, Klaus-Dieter; Wang, Qing 2 2010 NP-completeness and FPT results for rectilinear covering problems. Zbl 1216.68126Estivill-Castro, V.; Heednacram, A.; Suraweera, F. 2 2010 A note on the P-completeness of deterministic one-way stack language. Zbl 1216.68146Lange, K.-J. 2 2010 The separation of relativized versions of P and DNP for the ring of the reals. Zbl 1216.68110Gaßner, C. 1 2010 Semantics of query-driven communication of exact values. Zbl 1216.68155Konečný, Michal; Farjudian, Amin 1 2010 Compositional semantics of dataflow networks with query-driven communication of exact values. Zbl 1216.68156Konečný, Michal; Farjudian, Amin 1 2010 Internal representation of database views. Zbl 1216.68088Hegner, Stephen J. 1 2010 Information fusion and logic-based reasoning approaches for decision making under uncertainty. Zbl 1216.68294Martínez, L.; Liu, J.; Xu, Y. 1 2010 Track-to-track measurement fusion architectures and correlation analysis. Zbl 1216.94029Oussalah, M.; Messaoudi, Z.; Ouldali, A. 1 2010 Decision making with uncertainty information based on lattice-valued fuzzy concept lattice. Zbl 1216.68298Yang, L.; Xu, Y. 1 2010 Mobile agent routing with time constraints: a resource constrained longest-path approach. Zbl 1216.68302Camponogara, E.; Shima, R. Boveto 1 2010 On the linear number of matching substrings. Zbl 1216.68355Han, Yo-Sub 1 2010 Pose estimation of rotating sensors in the context of accurate 3D scene modeling. Zbl 1216.68319Scheibe, K.; Huang, F.; Klette, R. 1 2010 A pragmatic qualitative approach for juxtaposing shapes. Zbl 1216.68310Museros, L.; González-Abril, L.; Velasco, F.; Falomir, Z. 1 2010 Elementary computable topology. Zbl 1201.03039Weihrauch, K.; Grubba, T. 20 2009 Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033Iljazović, Z. 12 2009 Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031Collins, P.; Graça, D. S. 9 2009 Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140Traonouez, L.-M.; Lime, D.; Roux, O. H. 8 2009 Linear and quadratic complexity bounds on the values of the positive roots of polynomials. Zbl 1216.65053Akritas, A. G. 4 2009 Topological complexity of blowup problems. Zbl 1201.03036Rettinger, R.; Weihrauch, K.; Zhong, N. 4 2009 Certificate-based signatures revisited. Zbl 1216.94055Wu, W.; Mu, Y.; Susilo, W.; Huang, X. 4 2009 Petri net controlled grammars: the case of special Petri nets. Zbl 1217.68120Dassow, J.; Turaev, S. 3 2009 A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046Pencolé, Y.; Subias, A. 3 2009 Representing measurement results. Zbl 1201.03035Pauly, A. 3 2009 Analyzing cooperation in iterative social network design. Zbl 1217.91161Boella, G.; Van Der Torre, L.; Villata, S. 2 2009 Information theoretically secure encryption with almost free authentication. Zbl 1217.94114Alomair, B.; Poovendran, R. 2 2009 An effective Tietze-Urysohn theorem for QCB-spaces. Zbl 1201.03037Schröder, M. 2 2009 Computing the solution operators of symmetric hyperbolic systems of PDE. Zbl 1203.03058Selivanova, S.; Selivanov, V. 2 2009 A Hammerstein-Wiener recurrent neural network with frequency-domain eigensystem realization algorithm for unknown system identification. Zbl 1217.68181Chen, Y.-C.; Wang, J.-S. 1 2009 Rearranging series constructively. Zbl 1298.03114Berger, J.; Bridges, D. S. 1 2009 Dynamic query optimization under access limitations and dependencies. Zbl 1216.68085Calì, A.; Calvanese, D.; Martinenghi, D. 1 2009 Non-denumerable infinitary modal logic. Zbl 1219.03018Cresswell, M. J. 1 2009 Reasoning about nonblocking concurrency. Zbl 1216.68075Groves, L. 1 2009 A formal framework of aggregation for the OLAP-OLTP model. Zbl 1216.68091Lenz, H.-J.; Thalheim, B. 1 2009 Advances in homomorphic cryptosystems. Zbl 1216.94045Akinwande, M. 1 2009 PDE-PEDA: a new Pareto-based multi-objective optimization algorithm. Zbl 1216.90080Wang, Xuesong; Hao, M.; Cheng, Y.; Lei, R. 1 2009 On the effective existence of Schauder bases. Zbl 1201.03030Bosserhoff, V. 1 2009 Oracles and relativizations of the P =? NP question for several structures. Zbl 1201.03032Gaßner, C. 1 2009 Fine-computable functions on the unit square and their integral. Zbl 1201.03034Mori, T.; Yasugi, M.; Tsujii, Y. 1 2009 The computable multi-functions on multi-represented sets are closed under programming. Zbl 1227.03061Weihrauch, K. 18 2008 On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019Iorgulescu, A. 17 2008 Notions of probabilistic computability on represented spaces. Zbl 1227.03058Bosserhoff, V. 9 2008 Certificateless public key encryption secure against malicious KGC attacks in the standard model. Zbl 1217.68088Hwang, Yong Ho; Liu, Joseph K.; Chow, Sherman S. M. 8 2008 Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064Spandl, C. 4 2008 Guaranteeing seamless mobility with user redials and automatic handover retrials. Zbl 1217.68036Gimenez-Guzman, J. M.; Domenech-Benlloch, M. J.; Pla, V.; Casares-Giner, V.; Martinez-Bauset, J. 3 2008 ASM refinement preserving invariants. Zbl 1217.68064Schellhorn, G. 3 2008 Efficient \(k\)-out-of-\(n\) oblivious transfer schemes. Zbl 1217.68083Chu, C.-K.; Tzeng, W.-G. 2 2008 Bloch’s constant is computable. Zbl 1227.03060Rettinger, R. 2 2008 The Riemann integral in weak systems of analysis. Zbl 1227.03075Ferreira, F.; Ferreira, G. 2 2008 Simulation of timed abstract state machines with predicate logic model-checking. Zbl 1217.68066Slissenko, A.; Vasilyev, P. 2 2008 Shortcut fusion of monadic programs. Zbl 1217.68053Manzino, C.; Pardo, A. 1 2008 On the interaction of advices and raw types in AspectJ. Zbl 1217.68056Rubbo, F. Barden; Machado, R.; Moreira, Álvaro Freitas; Ribeiro, L.; Nunes, D. J. 1 2008 Parallel formulations of scalar multiplication on Koblitz curves. Zbl 1217.94091Ahmadi, O.; Hankerson, D.; Rodríguez-Henríquez, F. 1 2008 Computable Riesz representation for locally compact Hausdorff spaces. Zbl 1227.03059Lu, H.; Weihrauch, K. 1 2008 On the subrecursive computability of several famous constants. Zbl 1227.03063Skordev, D. 1 2008 On the relationship between filter spaces and weak limit spaces. Zbl 1228.18003Schröder, M. 1 2008 Composition and run-time adaptation of mismatching behavioural interfaces. Zbl 1217.68060Cámara, J.; Salaün, G.; Canal, C. 1 2008 Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057Leuştean, Laurenţiu 10 2007 Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160Drăgoi, C.; Manea, F.; Mitrana, V. 5 2007 On BCK algebras. I.a: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1144.06011Iorgulescu, A. 2 2007 A direct proof of the equivalence between Brouwer’s fan theorem and König’s lemma with a uniqueness hypothesis. Zbl 1124.03042Schwichtenberg, H. 11 2005 Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049Coquand, T.; Spitters, B. 8 2005 Computability of the spectrum of self-adjoint operators. Zbl 1120.47063Brattka, V.; Dillhage, R. 5 2005 Constructive set theory and Brouwerian principles. Zbl 1124.03034Rathjen, M. 5 2005 Quotient spaces and coequalisers in formal topology. Zbl 1124.03038Palmgren, E. 4 2005 New bounds for positive roots of polynomials. Zbl 1124.12001Ştefănescu, Doru 4 2005 Perhaps the intermediate value theorem. Zbl 1128.03049Veldman, Wim 3 2005 Constructive equivalents of the uniform continuity theorem. Zbl 1120.03047Berger, J. 2 2005 On firmness of the state space and positive elements of a Banach algebra. Zbl 1120.46027Havea, R. S. 2 2005 Constructing programs or processes. Zbl 1124.68073Reeves, S.; Streader, D. 2 2005 On the meaning of positivity relations for regular formal spaces. Zbl 1124.03040Sambin, G.; Trentinaglia, G. 2 2005 What is continuity, constructively? Zbl 1124.03041Schuster, P. 2 2005 Constructive results on operator algebras. Zbl 1125.46059Spitters, B. 2 2005 A constructive approach to Sylvester’s conjecture. Zbl 1124.03044von Plato, J. 2 2005 Sequential computability of a function. Effective Fine space and limiting recursion. Zbl 1124.03037Yasugi, M.; Tsujii, Y.; Mori, T. 2 2005 Constructivity, computability, and logic. A collection of papers in honour of the 60th birthday of Douglas Bridges. Zbl 1119.03303Calude, C. S.; Ishihara, H. 1 2005 Constructive suprema. Zbl 1120.03046Baroni, M. A. 1 2005 Axiomatic classes of intuitionistic models. Zbl 1120.03008Goldblatt, R. 1 2005 Permutability of rules for linear lattices. Zbl 1120.03043Negri, S. 1 2005 ...and 144 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,309 Authors 21 Salomaa, Kai T. 20 Brattka, Vasco 17 Pauly, Arno M. 14 Margenstern, Maurice 11 Iljazović, Zvonko 10 Messine, Frédéric 8 Diaconescu, Răzvan 8 Ng, Timothy 7 Börger, Egon 7 Fariborzi Araghi, Mohammad Ali 7 Futatsugi, Kokichi 7 Ishihara, Hajime 7 Malcher, Andreas 7 Ogata, Kazuhiro 7 Thilikos, Dimitrios M. 6 Bridges, Douglas Suth 6 Calude, Cristian S. 6 Holzer, Markus 6 Kutrib, Martin 6 Paulson, Lawrence Charles 6 Pighizzini, Giovanni 6 Spitters, Bas 6 Stephan, Frank 5 Ciungu, Lavinia Corina 5 Downey, Rodney Graham 5 Gaĭnă, Daniel 5 Hansen, Pierre 5 Hemaspaandra, Lane A. 5 Herrera-Viedma, Enrique 5 Konstantinidis, Stavros 5 Mitrana, Victor 5 Rappaport, David 5 Weihrauch, Klaus 5 Zhong, Ning 4 Abbasbandy, Saeid 4 Araya, Ignacio J. 4 Barmpalias, George 4 Berger, Ulrich 4 Biegler, Franziska 4 Cabrerizo, Francisco Javier 4 Charon, Irène 4 Gherardi, Guido 4 Graça, Daniel Silva 4 Han, Yo-Sub 4 Hudry, Olivier 4 Hung, William N. N. 4 Ipate, Florentin 4 Khojasteh Salkuyeh, Davod 4 Kihara, Takayuki 4 Ko, Sang-Ki 4 Leroux, Stéphane 4 Leuştean, Laurenţiu 4 Lewis-Pye, Andrew E. M. 4 Lobstein, Antoine-Christophe 4 Lombardy, Sylvain 4 Maitra, Subhamoy 4 McQuillan, Ian 4 Melnikov, Alexander G. 4 Mereghetti, Carlo 4 Middeldorp, Aart 4 Miyabe, Kenshi 4 Mori, Takakazu 4 Nipkow, Tobias 4 Obiedkov, Sergei A. 4 Ognjanović, Zoran 4 Otten, Jens 4 Păun, Gheorghe 4 Perkowski, Marek A. 4 Roşu, Grigore 4 Roux, Olivier H. 4 Song, Xiaoyu 4 Staiger, Ludwig 4 Trombettoni, Gilles 4 Wang, Huimin 4 Xu, Yejun 4 Yang, Guowu 4 Younes, Ahmed 4 Zhang, Weiguo 4 Zhang, Wenhui 3 André, Étienne 3 Armando, Alessandro 3 Audet, Charles 3 Auger, David 3 Bahoo, Yeganeh 3 Banach, Richard 3 Barnsley, Michael Fielding 3 Bazin, Alexandre 3 Bose, Prosenjit K. 3 Chiclana, Francisco 3 Ciobanu, Gabriel 3 Csendes, Tibor 3 Dando, Louis-Marie 3 Diener, Hannes 3 Distel, Felix 3 Doder, Dragan 3 Domaratzki, Michael 3 Durocher, Stephane 3 Elalouf, Amir 3 Endrullis, Jörg 3 Fish, Washiela ...and 1,209 more Authors all top 5 Cited in 205 Journals 129 Theoretical Computer Science 32 Annals of Pure and Applied Logic 29 Information and Computation 20 Discrete Applied Mathematics 19 Information Processing Letters 17 Fuzzy Sets and Systems 16 Formal Aspects of Computing 14 Information Sciences 14 Journal of Computer and System Sciences 14 Journal of Symbolic Computation 14 Soft Computing 12 Journal of Global Optimization 12 Theory of Computing Systems 11 MSCS. Mathematical Structures in Computer Science 8 Applied Mathematics and Computation 8 Journal of Complexity 8 Journal of Automated Reasoning 8 International Journal of Foundations of Computer Science 8 Designs, Codes and Cryptography 8 Annals of Mathematics and Artificial Intelligence 8 The Journal of Logic and Algebraic Programming 7 Science of Computer Programming 6 Discrete Mathematics 6 The Journal of Symbolic Logic 6 Archive for Mathematical Logic 6 RAIRO. Theoretical Informatics and Applications 6 Natural Computing 6 Journal of Applied Logic 5 Journal of Computational and Applied Mathematics 5 Studia Logica 5 Applied Mathematical Modelling 5 Mathematical Logic Quarterly (MLQ) 4 Computers & Mathematics with Applications 4 Applied Numerical Mathematics 4 Discrete & Computational Geometry 4 Discrete Event Dynamic Systems 4 European Journal of Operational Research 4 Fundamenta Informaticae 4 Mathematics in Computer Science 4 Cryptography and Communications 4 Computability 3 Acta Informatica 3 Advances in Mathematics 3 Computing 3 International Journal of Approximate Reasoning 3 Applicable Algebra in Engineering, Communication and Computing 3 Journal of Mathematical Sciences (New York) 3 Computational and Applied Mathematics 3 Finite Fields and their Applications 3 Reliable Computing 3 Constraints 3 RAIRO. Operations Research 3 Journal of Intelligent and Fuzzy Systems 3 Logical Methods in Computer Science 3 Journal of Logic and Analysis 3 Journal of Logical and Algebraic Methods in Programming 3 Prikladnaya Diskretnaya Matematika 2 International Journal of Theoretical Physics 2 Journal of Mathematical Analysis and Applications 2 Chaos, Solitons and Fractals 2 Kybernetika 2 Mathematica Slovaca 2 Synthese 2 Topology and its Applications 2 European Journal of Combinatorics 2 Graphs and Combinatorics 2 Neural Networks 2 Annals of Operations Research 2 Numerical Algorithms 2 Pattern Recognition 2 Distributed Computing 2 Journal of Dynamics and Differential Equations 2 Indagationes Mathematicae. New Series 2 Formal Methods in System Design 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 International Journal of Applied Mathematics and Computer Science 2 Portugaliae Mathematica. Nova Série 2 OR Spectrum 2 Journal of Applied Mathematics and Computing 2 SIAM Journal on Applied Dynamical Systems 2 Computer Languages, Systems & Structures 2 Quantum Information Processing 2 ACM Transactions on Computational Logic 2 RAIRO. Theoretical Informatics and Applications 2 S\(\vec{\text{e}}\)MA Journal 2 Frontiers of Computer Science 2 Computer Science Review 2 ACM Transactions on Computation Theory 2 Open Mathematics 2 Cogent Mathematics 2 Matematicheskie Voprosy Kriptografii 1 Communications in Mathematical Physics 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Mathematical Physics 1 Journal of Statistical Physics 1 Mathematische Semesterberichte 1 Nonlinearity 1 Problems of Information Transmission 1 Mathematics of Computation 1 The Mathematical Intelligencer ...and 105 more Journals all top 5 Cited in 53 Fields 477 Computer science (68-XX) 264 Mathematical logic and foundations (03-XX) 83 Information and communication theory, circuits (94-XX) 66 Order, lattices, ordered algebraic structures (06-XX) 56 Combinatorics (05-XX) 55 Numerical analysis (65-XX) 55 Operations research, mathematical programming (90-XX) 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Dynamical systems and ergodic theory (37-XX) 22 General topology (54-XX) 20 Number theory (11-XX) 17 Category theory; homological algebra (18-XX) 15 Real functions (26-XX) 15 Convex and discrete geometry (52-XX) 14 Operator theory (47-XX) 13 Measure and integration (28-XX) 12 Quantum theory (81-XX) 11 Functional analysis (46-XX) 11 Systems theory; control (93-XX) 10 Ordinary differential equations (34-XX) 9 Field theory and polynomials (12-XX) 9 Probability theory and stochastic processes (60-XX) 6 History and biography (01-XX) 5 Algebraic geometry (14-XX) 5 Group theory and generalizations (20-XX) 5 Partial differential equations (35-XX) 5 Approximations and expansions (41-XX) 5 Statistics (62-XX) 4 General and overarching topics; collections (00-XX) 4 Special functions (33-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 4 Geometry (51-XX) 4 Mechanics of deformable solids (74-XX) 4 Statistical mechanics, structure of matter (82-XX) 4 Biology and other natural sciences (92-XX) 3 Commutative algebra (13-XX) 3 Manifolds and cell complexes (57-XX) 2 General algebraic systems (08-XX) 2 Functions of a complex variable (30-XX) 2 Integral equations (45-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Differential geometry (53-XX) 2 Mechanics of particles and systems (70-XX) 2 Fluid mechanics (76-XX) 2 Mathematics education (97-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year