×

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

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.68058
Goldstine, 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.68572
Zhang, Xian-Mo; Zheng, Yuliang
27
1995
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
23
2000
How incomputable is finding Nash equilibria? Zbl 1216.91004
Pauly, Arno
22
2010
Elementary computable topology. Zbl 1201.03039
Weihrauch, K.; Grubba, T.
20
2009
A generic tableau prover and its integration with Isabelle. Zbl 0961.68116
Paulson, Lawrence C.
19
1999
A selection process based on additive consistency to deal with incomplete fuzzy linguistic information. Zbl 1216.68291
Cabrerizo, 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.03061
Weihrauch, K.
18
2008
On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019
Iorgulescu, A.
17
2008
Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080
Calude, Cristian S.; Nies, André
16
1997
Extensions of affine arithmetic: application to unconstrained global optimization. Zbl 1274.65184
Messine, F.
16
2002
On the intractability of computing the Duquenne-Guigues base. Zbl 1277.68258
Kuznetsov, Sergei O.
16
2004
New tools for cellular automata in the hyperbolic plane. Zbl 0967.68111
Margenstern, Maurice
15
2000
Enclosure methods for multivariate differentiable functions and application to global optimization. Zbl 1063.90574
Messine, Frédéric; Lagouanelle, Jean-Louis
14
1998
Dynamical control of computations using the trapezoidal and Simpson’s rules. Zbl 0967.68175
Chesneaux, J. M.; Jézéquel, F.
13
1998
The automorphism group of a hypercube. Zbl 0960.68130
Harary, Frank
13
2000
The coalgebraic class specification language CCSL. Zbl 0970.68104
Rothe, Jan; Tews, Hendrik; Jacobs, Bart
13
2001
Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033
Iljazović, Z.
12
2009
Lexical analysis with a simple finite-fuzzy-automaton model. Zbl 0960.68611
Mateescu, Alexandru; Salomaa, Arto; Salomaa, Kai
11
1995
Persistency of confluence. Zbl 0960.68082
Aoto, 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.03042
Schwichtenberg, H.
11
2005
Additive distances and quasi-distances between words. Zbl 1258.68074
Calude, Cristian S.; Salomaa, Kai; Yu, Sheng
11
2002
On directed interval arithmetic and its applications. Zbl 0960.65561
Markov, Svetoslav
10
1995
Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057
Leuştean, Laurenţiu
10
2007
An aperiodic set of Wang cubes. Zbl 0960.68623
Culik, Karel II; Kari, Jarkko
9
1995
Too many minor order obstructions (for parameterized lower ideals). Zbl 0967.68117
Dinneen, Michael J.
9
1997
Group theoretical aspects of reversible logic gates. Zbl 0961.68008
Storme, Leo; de Vos, Alexis; Jacobs, Gerald
9
1999
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031
Collins, P.; Graça, D. S.
9
2009
Error-correction, and finite-delay decodability. Zbl 1258.68086
Konstantinidis, Stavros
9
2002
Notions of probabilistic computability on represented spaces. Zbl 1227.03058
Bosserhoff, V.
9
2008
Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140
Traonouez, L.-M.; Lime, D.; Roux, O. H.
8
2009
On cryptographic properties of random Boolean functions. Zbl 0967.68059
Olejár, Daniel; Stanek, Martin
8
1998
Connection-based theorem proving in classical and non-classical logics. Zbl 0961.68118
Kreitz, Christoph; Otten, Jens
8
1999
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049
Coquand, T.; Spitters, B.
8
2005
Synchronization and stability of finite automata. Zbl 1258.68084
Kari, Jarkko
8
2002
Certificateless public key encryption secure against malicious KGC attacks in the standard model. Zbl 1217.68088
Hwang, Yong Ho; Liu, Joseph K.; Chow, Sherman S. M.
8
2008
Constructor-based logics. Zbl 1362.68193
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
7
2012
Computable separation in topology, from \(T_{0}\) to \(T_{2}\). Zbl 1219.03043
Weihrauch, Klaus
7
2010
A note on the computability of graph minor obstruction sets for monadic second order ideals. Zbl 0960.68129
Courcelle, Bruno; Downey, Rodney G.; Fellows, Michael R.
7
1997
Communicating stream \(X\)-machines systems are no more than \(X\)-machines. Zbl 0960.68005
Balanescu, Tudor; Cowling, Anthony J.; Georgescu, Horia; Gheorghe, Marian; Holcombe, Mike; Vertan, Cristina
7
1999
Some notes on Fine computability. Zbl 1257.03072
Brattka, Vasco
7
2002
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
6
2010
Isometries and computability structures. Zbl 1219.03042
Iljazović, Zvonko
6
2010
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, 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.68026
Honkala, Iiro; Lobstein, Antoine
6
2003
Orthogonal concatenation: language equations and state complexity. Zbl 1216.68141
Daley, M.; Domaratzki, M.; Salomaa, K.
5
2010
MSB-first digit serial arithmetic. Zbl 0960.68508
Nielsen, Asger Munk; Kornerup, Peter
5
1995
Reasoning about abstract state machines: The WAM case study. Zbl 0960.68090
Schellhorn, Gerhard; Ahrendt, Wolfgang
5
1997
Numerical verification method of existence of connecting orbits for continuous dynamical systems. Zbl 0965.65139
Oishi, Shinichi
5
1998
Some basic properties of general nonperfect secret sharing schemes. Zbl 0967.68060
Ogata, Wakaha; Kurosawa, Kaoru
5
1998
Mobile ambients and \(P\)-systems. Zbl 0960.68073
Petre, Ion; Petre, Luigia
5
1999
Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Zbl 0963.03053
Ratschan, Stefan
5
2000
Nondeterministic admissible interference. Zbl 0963.68105
Mullins, John
5
2000
Computability of the spectrum of self-adjoint operators. Zbl 1120.47063
Brattka, V.; Dillhage, R.
5
2005
Constructive set theory and Brouwerian principles. Zbl 1124.03034
Rathjen, M.
5
2005
Shuffle decomposition of regular languages. Zbl 1258.68081
Ito, Masami
5
2002
Generation of constants and synchronization of finite automata. Zbl 1258.68090
Salomaa, Arto
5
2002
How large is the set of disjunctive sequences? Zbl 1258.68091
Staiger, Ludwig
5
2002
Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160
Drăgoi, C.; Manea, F.; Mitrana, V.
5
2007
The tourist in the shopping arcade. Zbl 1216.68315
Fleischer, R.; Kamphans, T.; Klein, R.; Langetepe, E.; Trippen, G.
4
2010
On the weaknesses of Gong’s collisionful hash function. Zbl 0960.68042
Bakhtiari, S.; Safavi-Naini, R.; Pieprzyk, J.
4
1997
Linear multisecret-sharing schemes and error-correcting codes. Zbl 0960.68063
Ding, Cunsheng; Laihonen, Tero; Renvall, Ari
4
1997
Reliable computation of elliptic functions. Zbl 0965.65046
Luther, Wolfram; Otten, Werner
4
1998
On the algebra of intervals and convex bodies. Zbl 0970.65053
Markov, Svetoslav M.
4
1998
Query order and the polynomial hierarchy. Zbl 0961.68052
Hemaspaandra, 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.68105
Margenstern, Maurice; Morita, Kenichi
4
1999
A representation theorem for monadic Pavelka algebras. Zbl 0963.03088
Georgescu, George; Leustean, Ioana
4
2000
Monotone, Horn and quadratic pseudo-Boolean functions. Zbl 0963.06014
Foldes, Stephan; Hammer, Peter L.
4
2000
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Linear and quadratic complexity bounds on the values of the positive roots of polynomials. Zbl 1216.65053
Akritas, A. G.
4
2009
Topological complexity of blowup problems. Zbl 1201.03036
Rettinger, R.; Weihrauch, K.; Zhong, N.
4
2009
Certificate-based signatures revisited. Zbl 1216.94055
Wu, W.; Mu, Y.; Susilo, W.; Huang, X.
4
2009
Quotient spaces and coequalisers in formal topology. Zbl 1124.03038
Palmgren, 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.68048
Cristofor, Dana; Simovici, Dan
4
2002
Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064
Spandl, C.
4
2008
A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems. Zbl 1362.68262
Zhang, 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.68278
Bajuelos, 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.91038
Kreinovich, Vladik; Kubica, Bartlomiej Jacek
3
2010
Petri net controlled grammars: the case of special Petri nets. Zbl 1217.68120
Dassow, J.; Turaev, S.
3
2009
A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046
Pencolé, Y.; Subias, A.
3
2009
Algebras and update strategies. Zbl 1216.68089
Johnson, Michael; Rosebrugh, R.; Wood, R.
3
2010
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
3
1997
Integrating ASMs into the software development life cycle. Zbl 0971.68051
Börger, Egon; Mearelli, Luca
3
1997
Model checking for abstract state machines. Zbl 0960.68071
Winter, Kirsten
3
1997
Highly nonlinear \(t\)-resilient functions. Zbl 0960.68061
Kurosawa, Kaoru; Satoh, Takashi; Yamamoto, Kentaro
3
1997
Invariance properties of random sequences. Zbl 0969.60002
Hertling, Peter; Wang, Yongge
3
1997
Surjective functions on computably growing Cantor sets. Zbl 0960.68072
Hertling, Peter
3
1997
Agent-oriented integration of distributed mathematical services. Zbl 0961.68117
Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker
3
1999
A canonical model construction for substructural logics. Zbl 0959.03015
Ishihara, Hajime
3
2000
Weak inclusion systems. II. Zbl 0961.18002
Cazanescu, Virgil Emil; Rosu, Grigore
3
2000
Ensuring terminating in ESFP. Zbl 0960.68025
Telford, Alastair; Turner, David
3
2000
A new approach to communicating \(X\)-machines systems. Zbl 0960.68006
Georgescu, Horia; Vertan, Cristina
3
2000
Representing measurement results. Zbl 1201.03035
Pauly, A.
3
2009
Perhaps the intermediate value theorem. Zbl 1128.03049
Veldman, Wim
3
2005
On the computational complexity of synchronized context-free languages. Zbl 1258.68073
Bordihn, Henning; Holzer, Markus
3
2002
Simply normal numbers to different bases. Zbl 1257.03073
Hertling, Peter
3
2002
On the power of P systems with symport rules. Zbl 1258.68061
Martıń-Vide, Carlos; Paun, Andrei; Paun, Gheorghe
3
2002
The Riesz representation operator on the dual of \(C[0; 1]\) is computable. Zbl 1412.03024
Jafarikhah, Tahereh; Weihrauch, Klaus
1
2013
Constructor-based logics. Zbl 1362.68193
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
7
2012
A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems. Zbl 1362.68262
Zhang, 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.68278
Bajuelos, Antonio L.; Canales, Santiago; Hernández, Gregorio; Martins, Mafalda
3
2012
The method of logistic optimization in e-commerce. Zbl 1311.90010
Bucki, Robert; Suchanek, Petr
1
2012
A general qualitative spatio-temporal model based on intervals. Zbl 1311.68153
Martí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.68021
Levner, Eugene; Elalouf, Amir; Cheng, T. C. Edwin
3
2011
Descriptional complexity of ambiguity in symmetric difference NFAs. Zbl 1217.68135
van Zijl, Lynette; Geldenhuys, Jaco
2
2011
How incomputable is finding Nash equilibria? Zbl 1216.91004
Pauly, Arno
22
2010
A selection process based on additive consistency to deal with incomplete fuzzy linguistic information. Zbl 1216.68291
Cabrerizo, 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.03043
Weihrauch, Klaus
7
2010
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
6
2010
Isometries and computability structures. Zbl 1219.03042
Iljazović, Zvonko
6
2010
Orthogonal concatenation: language equations and state complexity. Zbl 1216.68141
Daley, M.; Domaratzki, M.; Salomaa, K.
5
2010
The tourist in the shopping arcade. Zbl 1216.68315
Fleischer, 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.91038
Kreinovich, Vladik; Kubica, Bartlomiej Jacek
3
2010
Algebras and update strategies. Zbl 1216.68089
Johnson, Michael; Rosebrugh, R.; Wood, R.
3
2010
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
A heuristic approach to positive root isolation for multiple power sums. Zbl 1216.68349
Xu, Ming; Mu, Chuandong; Zeng, Zhenbing; Li, Zhi-Bin
2
2010
Canonical effective subalgebras of classical algebras as constructive metric completions. Zbl 1219.03041
Bauer, Andrej; Blanck, Jens
2
2010
Redundant relations in relational databases: a model theoretic perspective. Zbl 1216.68086
Ferrarotti, Flavio Antonio; Paoletti, Alejandra Lorena; Turull Torres, José María
2
2010
XML database transformations. Zbl 1216.68094
Schewe, Klaus-Dieter; Wang, Qing
2
2010
NP-completeness and FPT results for rectilinear covering problems. Zbl 1216.68126
Estivill-Castro, V.; Heednacram, A.; Suraweera, F.
2
2010
A note on the P-completeness of deterministic one-way stack language. Zbl 1216.68146
Lange, K.-J.
2
2010
The separation of relativized versions of P and DNP for the ring of the reals. Zbl 1216.68110
Gaßner, C.
1
2010
Semantics of query-driven communication of exact values. Zbl 1216.68155
Konečný, Michal; Farjudian, Amin
1
2010
Compositional semantics of dataflow networks with query-driven communication of exact values. Zbl 1216.68156
Konečný, Michal; Farjudian, Amin
1
2010
Internal representation of database views. Zbl 1216.68088
Hegner, Stephen J.
1
2010
Information fusion and logic-based reasoning approaches for decision making under uncertainty. Zbl 1216.68294
Martínez, L.; Liu, J.; Xu, Y.
1
2010
Track-to-track measurement fusion architectures and correlation analysis. Zbl 1216.94029
Oussalah, M.; Messaoudi, Z.; Ouldali, A.
1
2010
Decision making with uncertainty information based on lattice-valued fuzzy concept lattice. Zbl 1216.68298
Yang, L.; Xu, Y.
1
2010
Mobile agent routing with time constraints: a resource constrained longest-path approach. Zbl 1216.68302
Camponogara, E.; Shima, R. Boveto
1
2010
On the linear number of matching substrings. Zbl 1216.68355
Han, Yo-Sub
1
2010
Pose estimation of rotating sensors in the context of accurate 3D scene modeling. Zbl 1216.68319
Scheibe, K.; Huang, F.; Klette, R.
1
2010
A pragmatic qualitative approach for juxtaposing shapes. Zbl 1216.68310
Museros, L.; González-Abril, L.; Velasco, F.; Falomir, Z.
1
2010
Elementary computable topology. Zbl 1201.03039
Weihrauch, K.; Grubba, T.
20
2009
Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033
Iljazović, Z.
12
2009
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031
Collins, P.; Graça, D. S.
9
2009
Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140
Traonouez, 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.65053
Akritas, A. G.
4
2009
Topological complexity of blowup problems. Zbl 1201.03036
Rettinger, R.; Weihrauch, K.; Zhong, N.
4
2009
Certificate-based signatures revisited. Zbl 1216.94055
Wu, W.; Mu, Y.; Susilo, W.; Huang, X.
4
2009
Petri net controlled grammars: the case of special Petri nets. Zbl 1217.68120
Dassow, J.; Turaev, S.
3
2009
A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046
Pencolé, Y.; Subias, A.
3
2009
Representing measurement results. Zbl 1201.03035
Pauly, A.
3
2009
Analyzing cooperation in iterative social network design. Zbl 1217.91161
Boella, G.; Van Der Torre, L.; Villata, S.
2
2009
Information theoretically secure encryption with almost free authentication. Zbl 1217.94114
Alomair, B.; Poovendran, R.
2
2009
An effective Tietze-Urysohn theorem for QCB-spaces. Zbl 1201.03037
Schröder, M.
2
2009
Computing the solution operators of symmetric hyperbolic systems of PDE. Zbl 1203.03058
Selivanova, S.; Selivanov, V.
2
2009
A Hammerstein-Wiener recurrent neural network with frequency-domain eigensystem realization algorithm for unknown system identification. Zbl 1217.68181
Chen, Y.-C.; Wang, J.-S.
1
2009
Rearranging series constructively. Zbl 1298.03114
Berger, J.; Bridges, D. S.
1
2009
Dynamic query optimization under access limitations and dependencies. Zbl 1216.68085
Calì, A.; Calvanese, D.; Martinenghi, D.
1
2009
Non-denumerable infinitary modal logic. Zbl 1219.03018
Cresswell, M. J.
1
2009
Reasoning about nonblocking concurrency. Zbl 1216.68075
Groves, L.
1
2009
A formal framework of aggregation for the OLAP-OLTP model. Zbl 1216.68091
Lenz, H.-J.; Thalheim, B.
1
2009
Advances in homomorphic cryptosystems. Zbl 1216.94045
Akinwande, M.
1
2009
PDE-PEDA: a new Pareto-based multi-objective optimization algorithm. Zbl 1216.90080
Wang, Xuesong; Hao, M.; Cheng, Y.; Lei, R.
1
2009
On the effective existence of Schauder bases. Zbl 1201.03030
Bosserhoff, V.
1
2009
Oracles and relativizations of the P =? NP question for several structures. Zbl 1201.03032
Gaßner, C.
1
2009
Fine-computable functions on the unit square and their integral. Zbl 1201.03034
Mori, T.; Yasugi, M.; Tsujii, Y.
1
2009
The computable multi-functions on multi-represented sets are closed under programming. Zbl 1227.03061
Weihrauch, K.
18
2008
On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019
Iorgulescu, A.
17
2008
Notions of probabilistic computability on represented spaces. Zbl 1227.03058
Bosserhoff, V.
9
2008
Certificateless public key encryption secure against malicious KGC attacks in the standard model. Zbl 1217.68088
Hwang, 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.03064
Spandl, C.
4
2008
Guaranteeing seamless mobility with user redials and automatic handover retrials. Zbl 1217.68036
Gimenez-Guzman, J. M.; Domenech-Benlloch, M. J.; Pla, V.; Casares-Giner, V.; Martinez-Bauset, J.
3
2008
ASM refinement preserving invariants. Zbl 1217.68064
Schellhorn, G.
3
2008
Efficient \(k\)-out-of-\(n\) oblivious transfer schemes. Zbl 1217.68083
Chu, C.-K.; Tzeng, W.-G.
2
2008
Bloch’s constant is computable. Zbl 1227.03060
Rettinger, R.
2
2008
The Riemann integral in weak systems of analysis. Zbl 1227.03075
Ferreira, F.; Ferreira, G.
2
2008
Simulation of timed abstract state machines with predicate logic model-checking. Zbl 1217.68066
Slissenko, A.; Vasilyev, P.
2
2008
Shortcut fusion of monadic programs. Zbl 1217.68053
Manzino, C.; Pardo, A.
1
2008
On the interaction of advices and raw types in AspectJ. Zbl 1217.68056
Rubbo, F. Barden; Machado, R.; Moreira, Álvaro Freitas; Ribeiro, L.; Nunes, D. J.
1
2008
Parallel formulations of scalar multiplication on Koblitz curves. Zbl 1217.94091
Ahmadi, O.; Hankerson, D.; Rodríguez-Henríquez, F.
1
2008
Computable Riesz representation for locally compact Hausdorff spaces. Zbl 1227.03059
Lu, H.; Weihrauch, K.
1
2008
On the subrecursive computability of several famous constants. Zbl 1227.03063
Skordev, D.
1
2008
On the relationship between filter spaces and weak limit spaces. Zbl 1228.18003
Schröder, M.
1
2008
Composition and run-time adaptation of mismatching behavioural interfaces. Zbl 1217.68060
Cámara, J.; Salaün, G.; Canal, C.
1
2008
Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057
Leuştean, Laurenţiu
10
2007
Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160
Dră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.06011
Iorgulescu, 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.03042
Schwichtenberg, H.
11
2005
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049
Coquand, T.; Spitters, B.
8
2005
Computability of the spectrum of self-adjoint operators. Zbl 1120.47063
Brattka, V.; Dillhage, R.
5
2005
Constructive set theory and Brouwerian principles. Zbl 1124.03034
Rathjen, M.
5
2005
Quotient spaces and coequalisers in formal topology. Zbl 1124.03038
Palmgren, 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.03049
Veldman, Wim
3
2005
Constructive equivalents of the uniform continuity theorem. Zbl 1120.03047
Berger, J.
2
2005
On firmness of the state space and positive elements of a Banach algebra. Zbl 1120.46027
Havea, R. S.
2
2005
Constructing programs or processes. Zbl 1124.68073
Reeves, S.; Streader, D.
2
2005
On the meaning of positivity relations for regular formal spaces. Zbl 1124.03040
Sambin, G.; Trentinaglia, G.
2
2005
What is continuity, constructively? Zbl 1124.03041
Schuster, P.
2
2005
Constructive results on operator algebras. Zbl 1125.46059
Spitters, B.
2
2005
A constructive approach to Sylvester’s conjecture. Zbl 1124.03044
von Plato, J.
2
2005
Sequential computability of a function. Effective Fine space and limiting recursion. Zbl 1124.03037
Yasugi, 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.03303
Calude, C. S.; Ishihara, H.
1
2005
Constructive suprema. Zbl 1120.03046
Baroni, M. A.
1
2005
Axiomatic classes of intuitionistic models. Zbl 1120.03008
Goldblatt, R.
1
2005
Permutability of rules for linear lattices. Zbl 1120.03043
Negri, S.
1
2005
...and 144 more Documents
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