×

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: Journal; 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 John
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, Donghoon
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.
...and 686 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

245 Publications have been cited 1,163 times in 1,033 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
35
2002
GAC – the criterion for global avalanche characteristics of cryptographic functions. Zbl 0960.68572
Zhang, Xian-Mo; Zheng, Yuliang
31
1995
Elementary computable topology. Zbl 1201.03039
Weihrauch, K.; Grubba, T.
28
2009
How incomputable is finding Nash equilibria? Zbl 1216.91004
Pauly, Arno
25
2010
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
25
2000
On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019
Iorgulescu, A.
25
2008
On the intractability of computing the Duquenne-Guigues base. Zbl 1277.68258
Kuznetsov, Sergei O.
24
2004
A generic tableau prover and its integration with Isabelle. Zbl 0961.68116
Paulson, Lawrence C.
22
1999
Extensions of affine arithmetic: application to unconstrained global optimization. Zbl 1274.65184
Messine, F.
21
2002
The computable multi-functions on multi-represented sets are closed under programming. Zbl 1227.03061
Weihrauch, K.
19
2008
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
Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080
Calude, Cristian S.; Nies, André
17
1997
Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033
Iljazović, Z.
17
2009
Additive distances and quasi-distances between words. Zbl 1258.68074
Calude, Cristian S.; Salomaa, Kai; Yu, Sheng
16
2002
Lexical analysis with a simple finite-fuzzy-automaton model. Zbl 0960.68611
Mateescu, Alexandru; Salomaa, Arto; Salomaa, Kai
16
1995
New tools for cellular automata in the hyperbolic plane. Zbl 0967.68111
Margenstern, Maurice
16
2000
On directed interval arithmetic and its applications. Zbl 0960.65561
Markov, Svetoslav
15
1995
Persistency of confluence. Zbl 0960.68082
Aoto, Takahito; Toyama, Yoshihito
15
1997
Dynamical control of computations using the trapezoidal and Simpson’s rules. Zbl 0967.68175
Chesneaux, J. M.; Jézéquel, F.
15
1998
The automorphism group of a hypercube. Zbl 0960.68130
Harary, Frank
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
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031
Collins, P.; Graça, D. S.
14
2009
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.
13
2005
The coalgebraic class specification language CCSL. Zbl 0970.68104
Rothe, Jan; Tews, Hendrik; Jacobs, Bart
13
2001
Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057
Leuştean, Laurenţiu
13
2007
Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140
Traonouez, L.-M.; Lime, D.; Roux, O. H.
13
2009
Error-correction, and finite-delay decodability. Zbl 1258.68086
Konstantinidis, Stavros
12
2002
Too many minor order obstructions (for parameterized lower ideals). Zbl 0967.68117
Dinneen, Michael J.
11
1997
Isometries and computability structures. Zbl 1219.03042
Iljazović, Zvonko
10
2010
Synchronization and stability of finite automata. Zbl 1258.68084
Kari, Jarkko
10
2002
An aperiodic set of Wang cubes. Zbl 0960.68623
Culik, Karel II; Kari, Jarkko
10
1995
Connection-based theorem proving in classical and non-classical logics. Zbl 0961.68118
Kreitz, Christoph; Otten, Jens
10
1999
Exploiting the potential of concept lattices for information retrieval with credo. Zbl 1277.68069
Carpineto, Claudio; Romano, Giovanni
10
2004
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.
10
2008
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049
Coquand, T.; Spitters, B.
9
2005
Computable separation in topology, from \(T_{0}\) to \(T_{2}\). Zbl 1219.03043
Weihrauch, Klaus
9
2010
On cryptographic properties of random Boolean functions. Zbl 0967.68059
Olejár, Daniel; Stanek, Martin
9
1998
Group theoretical aspects of reversible logic gates. Zbl 0961.68008
Storme, Leo; de Vos, Alexis; Jacobs, Gerald
9
1999
Constructor-based logics. Zbl 1362.68193
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
9
2012
Notions of probabilistic computability on represented spaces. Zbl 1227.03058
Bosserhoff, V.
9
2008
Constructive set theory and Brouwerian principles. Zbl 1124.03034
Rathjen, M.
8
2005
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
8
2010
Rationally additive semirings. Zbl 1257.16034
Ésik, Zoltán; Kuich, Werner
8
2002
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.
8
1997
Shuffle decomposition of regular languages. Zbl 1258.68081
Ito, Masami
7
2002
Some notes on Fine computability. Zbl 1257.03072
Brattka, Vasco
7
2002
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
Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160
Drăgoi, C.; Manea, F.; Mitrana, V.
7
2007
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
7
2010
Reasoning about abstract state machines: The WAM case study. Zbl 0960.68090
Schellhorn, Gerhard; Ahrendt, Wolfgang
6
1997
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, Hajime
6
1997
Numerical verification method of existence of connecting orbits for continuous dynamical systems. Zbl 0965.65139
Oishi, Shinichi
6
1998
Some basic properties of general nonperfect secret sharing schemes. Zbl 0967.68060
Ogata, Wakaha; Kurosawa, Kaoru
6
1998
Mobile ambients and \(P\)-systems. Zbl 0960.68073
Petre, Ion; Petre, Luigia
6
1999
Topological complexity of blowup problems. Zbl 1201.03036
Rettinger, R.; Weihrauch, K.; Zhong, N.
6
2009
On identification in \(\mathbb Z^2\) using translates of given patterns. Zbl 1312.68026
Honkala, Iiro; Lobstein, Antoine
6
2003
Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064
Spandl, C.
6
2008
Orthogonal concatenation: language equations and state complexity. Zbl 1216.68141
Daley, M.; Domaratzki, M.; Salomaa, K.
6
2010
Computability of the spectrum of self-adjoint operators. Zbl 1120.47063
Brattka, V.; Dillhage, R.
5
2005
New bounds for positive roots of polynomials. Zbl 1124.12001
Ştefănescu, Doru
5
2005
XML database transformations. Zbl 1216.68094
Schewe, Klaus-Dieter; Wang, Qing
5
2010
Finding median partitions using information-theoretical-based genetic algorithms. Zbl 1258.68048
Cristofor, Dana; Simovici, Dan
5
2002
On the power of P systems with symport rules. Zbl 1258.68061
Martıń-Vide, Carlos; Paun, Andrei; Paun, Gheorghe
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
MSB-first digit serial arithmetic. Zbl 0960.68508
Nielsen, Asger Munk; Kornerup, Peter
5
1995
Model checking for abstract state machines. Zbl 0960.68071
Winter, Kirsten
5
1997
Linear multisecret-sharing schemes and error-correcting codes. Zbl 0960.68063
Ding, Cunsheng; Laihonen, Tero; Renvall, Ari
5
1997
A polynomial solution for 3-SAT in the space of cellular automata in the hyperbolic plane. Zbl 0968.68105
Margenstern, Maurice; Morita, Kenichi
5
1999
Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Zbl 0963.03053
Ratschan, Stefan
5
2000
A representation theorem for monadic Pavelka algebras. Zbl 0963.03088
Georgescu, George; Leustean, Ioana
5
2000
Nondeterministic admissible interference. Zbl 0963.68105
Mullins, John
5
2000
Certificate-based signatures revisited. Zbl 1216.94055
Wu, W.; Mu, Y.; Susilo, W.; Huang, X.
5
2009
A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046
Pencolé, Y.; Subias, A.
5
2009
Quotient spaces and coequalisers in formal topology. Zbl 1124.03038
Palmgren, E.
4
2005
An improved FPTAS for mobile agent routing with time constraints. Zbl 1247.68021
Levner, Eugene; Elalouf, Amir; Cheng, T. C. Edwin
4
2011
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
4
1997
Highly nonlinear \(t\)-resilient functions. Zbl 0960.68061
Kurosawa, Kaoru; Satoh, Takashi; Yamamoto, Kentaro
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
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
Conflict avoidance in additive order diagrams. Zbl 1277.68222
Ganter, Bernhard
4
2004
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.
4
2008
ASM refinement preserving invariants. Zbl 1217.68064
Schellhorn, G.
4
2008
Petri net controlled grammars: the case of special Petri nets. Zbl 1217.68120
Dassow, J.; Turaev, S.
4
2009
The tourist in the shopping arcade. Zbl 1216.68315
Fleischer, R.; Kamphans, T.; Klein, R.; Langetepe, E.; Trippen, G.
4
2010
Constructive suprema. Zbl 1120.03046
Baroni, M. A.
3
2005
Perhaps the intermediate value theorem. Zbl 1128.03049
Veldman, Wim
3
2005
Sequential computability of a function. Effective Fine space and limiting recursion. Zbl 1124.03037
Yasugi, M.; Tsujii, Y.; Mori, T.
3
2005
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
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
Membrane computing: the power of (rule) creation. Zbl 1258.68054
Arroyo, Fernando; Baranda, Angel; Castellanos, Juan; Paun, Gheorge
3
2002
Quantum algorithmic information theory. Zbl 0960.68598
Svozil, K.
3
1996
On the weaknesses of Gong’s collisionful hash function. Zbl 0960.68042
Bakhtiari, S.; Safavi-Naini, R.; Pieprzyk, J.
3
1997
Integrating ASMs into the software development life cycle. Zbl 0971.68051
Börger, Egon; Mearelli, Luca
3
1997
Invariance properties of random sequences. Zbl 0969.60002
Hertling, Peter; Wang, Yongge
3
1997
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
9
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
4
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
25
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
Isometries and computability structures. Zbl 1219.03042
Iljazović, Zvonko
10
2010
Computable separation in topology, from \(T_{0}\) to \(T_{2}\). Zbl 1219.03043
Weihrauch, Klaus
9
2010
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
8
2010
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
7
2010
Orthogonal concatenation: language equations and state complexity. Zbl 1216.68141
Daley, M.; Domaratzki, M.; Salomaa, K.
6
2010
XML database transformations. Zbl 1216.68094
Schewe, Klaus-Dieter; Wang, Qing
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
Information fusion and logic-based reasoning approaches for decision making under uncertainty. Zbl 1216.68294
Martínez, L.; Liu, J.; Xu, Y.
3
2010
Algebras and update strategies. Zbl 1216.68089
Johnson, Michael; Rosebrugh, R.; Wood, R.
3
2010
A note on the P-completeness of deterministic one-way stack language. Zbl 1216.68146
Lange, K.-J.
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
Semantics of query-driven communication of exact values. Zbl 1216.68155
Konečný, Michal; Farjudian, Amin
2
2010
Compositional semantics of dataflow networks with query-driven communication of exact values. Zbl 1216.68156
Konečný, Michal; Farjudian, Amin
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
Internal representation of database views. Zbl 1216.68088
Hegner, Stephen J.
2
2010
Mobile agent routing with time constraints: a resource constrained longest-path approach. Zbl 1216.68302
Camponogara, E.; Shima, R. Boveto
2
2010
NP-completeness and FPT results for rectilinear covering problems. Zbl 1216.68126
Estivill-Castro, V.; Heednacram, A.; Suraweera, F.
2
2010
A pragmatic qualitative approach for juxtaposing shapes. Zbl 1216.68310
Museros, L.; González-Abril, L.; Velasco, F.; Falomir, Z.
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
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
Reachability in restricted walk on integers. Zbl 1216.68202
Ginzboorg, P.; Niemi, V.
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, Fay; Klette, R.
1
2010
Elementary computable topology. Zbl 1201.03039
Weihrauch, K.; Grubba, T.
28
2009
Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033
Iljazović, Z.
17
2009
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031
Collins, P.; Graça, D. S.
14
2009
Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140
Traonouez, L.-M.; Lime, D.; Roux, O. H.
13
2009
Topological complexity of blowup problems. Zbl 1201.03036
Rettinger, R.; Weihrauch, K.; Zhong, N.
6
2009
Certificate-based signatures revisited. Zbl 1216.94055
Wu, W.; Mu, Y.; Susilo, W.; Huang, X.
5
2009
A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046
Pencolé, Y.; Subias, A.
5
2009
Linear and quadratic complexity bounds on the values of the positive roots of polynomials. Zbl 1216.65053
Akritas, A. G.
4
2009
Petri net controlled grammars: the case of special Petri nets. Zbl 1217.68120
Dassow, J.; Turaev, S.
4
2009
Representing measurement results. Zbl 1201.03035
Pauly, A.
3
2009
Computing the solution operators of symmetric hyperbolic systems of PDE. Zbl 1203.03058
Selivanova, S.; Selivanov, V.
3
2009
On the effective existence of Schauder bases. Zbl 1201.03030
Bosserhoff, V.
2
2009
An effective Tietze-Urysohn theorem for QCB-spaces. Zbl 1201.03037
Schröder, Matthias
2
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
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
Oracles and relativizations of the P =? NP question for several structures. Zbl 1201.03032
Gaßner, C.
1
2009
Constructive Urysohn universal metric space. Zbl 1201.03056
Lešnik, D.
1
2009
Fine-computable functions on the unit square and their integral. Zbl 1201.03034
Mori, T.; Yasugi, M.; Tsujii, Y.
1
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
On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019
Iorgulescu, A.
25
2008
The computable multi-functions on multi-represented sets are closed under programming. Zbl 1227.03061
Weihrauch, K.
19
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.
10
2008
Notions of probabilistic computability on represented spaces. Zbl 1227.03058
Bosserhoff, V.
9
2008
Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064
Spandl, C.
6
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.
4
2008
ASM refinement preserving invariants. Zbl 1217.68064
Schellhorn, G.
4
2008
Bloch’s constant is computable. Zbl 1227.03060
Rettinger, R.
3
2008
Simulation of timed abstract state machines with predicate logic model-checking. Zbl 1217.68066
Slissenko, A.; Vasilyev, P.
3
2008
Efficient \(k\)-out-of-\(n\) oblivious transfer schemes. Zbl 1217.68083
Chu, C.-K.; Tzeng, W.-G.
2
2008
On the subrecursive computability of several famous constants. Zbl 1227.03063
Skordev, D.
2
2008
The Riemann integral in weak systems of analysis. Zbl 1227.03075
Ferreira, F.; Ferreira, G.
2
2008
On the relationship between filter spaces and weak limit spaces. Zbl 1228.18003
Schröder, Matthias
2
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
Shortcut fusion of monadic programs. Zbl 1217.68053
Manzino, C.; Pardo, A.
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
Composition and run-time adaptation of mismatching behavioural interfaces. Zbl 1217.68060
Cámara, Javier; Salaün, Gwen; Canal, Carlos
1
2008
Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057
Leuştean, Laurenţiu
13
2007
Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160
Drăgoi, C.; Manea, F.; Mitrana, V.
7
2007
On BCK algebras. I.a: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1144.06011
Iorgulescu, A.
3
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.
13
2005
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049
Coquand, T.; Spitters, B.
9
2005
Constructive set theory and Brouwerian principles. Zbl 1124.03034
Rathjen, M.
8
2005
Computability of the spectrum of self-adjoint operators. Zbl 1120.47063
Brattka, V.; Dillhage, R.
5
2005
New bounds for positive roots of polynomials. Zbl 1124.12001
Ştefănescu, Doru
5
2005
Quotient spaces and coequalisers in formal topology. Zbl 1124.03038
Palmgren, E.
4
2005
Constructive suprema. Zbl 1120.03046
Baroni, M. A.
3
2005
Perhaps the intermediate value theorem. Zbl 1128.03049
Veldman, Wim
3
2005
Sequential computability of a function. Effective Fine space and limiting recursion. Zbl 1124.03037
Yasugi, M.; Tsujii, Y.; Mori, T.
3
2005
Constructive equivalents of the uniform continuity theorem. Zbl 1120.03047
Berger, J.
2
2005
Axiomatic classes of intuitionistic models. Zbl 1120.03008
Goldblatt, R.
2
2005
On firmness of the state space and positive elements of a Banach algebra. Zbl 1120.46027
Havea, R. S.
2
2005
Permutability of rules for linear lattices. Zbl 1120.03043
Negri, 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
...and 145 more Documents
all top 5

Cited by 1,506 Authors

29 Salomaa, Kai T.
20 Brattka, Vasco
18 Pauly, Arno M.
15 Margenstern, Maurice
14 Iljazović, Zvonko
11 Messine, Frédéric
11 Ng, Timothy
8 Börger, Egon
8 Diaconescu, Răzvan
8 Fariborzi Araghi, Mohammad Ali
8 Graça, Daniel Silva
8 Han, Yo-Sub
8 Holzer, Markus
8 Kutrib, Martin
8 Ogata, Kazuhiro
8 Rappaport, David
8 Schewe, Klaus-Dieter
8 Thilikos, Dimitrios M.
8 Zhong, Ning
7 Ciungu, Lavinia Corina
7 Futatsugi, Kokichi
7 Ishihara, Hajime
7 Ko, Sang-Ki
7 Malcher, Andreas
7 Melnikov, Alexander G.
7 Mitrana, Victor
7 Ognjanović, Zoran
6 Bridges, Douglas Suth
6 Calude, Cristian S.
6 Downey, Rodney Graham
6 Gaĭnă, Daniel
6 Paulson, Lawrence Charles
6 Pighizzini, Giovanni
6 Roux, Olivier H.
6 Spitters, Bas
6 Stephan, Frank
5 André, Étienne
5 Berger, Ulrich
5 Doder, Dragan
5 Ferrarotti, Flavio Antonio
5 Hansen, Pierre
5 Hemaspaandra, Lane A.
5 Herrera-Viedma, Enrique
5 Kihara, Takayuki
5 Konstantinidis, Stavros
5 Lime, Didier
5 Mori, Takakazu
5 Ng, KengMeng
5 Noeiaghdam, Samad
5 Otten, Jens
5 Weihrauch, Klaus
4 Abbasbandy, Saeid
4 Araya, Ignacio J.
4 Audet, Charles
4 Barmpalias, George
4 Biegler, Franziska
4 Bournez, Olivier
4 Cabrerizo, Francisco Javier
4 Charon, Irène
4 Ciobanu, Gabriel
4 Ésik, Zoltán
4 Gazdag-Tóth, Boglárka
4 Gherardi, Guido
4 Honkala, Juha
4 Hoyrup, Mathieu
4 Hudry, Olivier
4 Hung, William N. N.
4 Ipate, Florentin
4 Kari, Lila
4 Khojasteh Salkuyeh, Davod
4 Krajca, Petr
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 Mereghetti, Carlo
4 Middeldorp, Aart
4 Miyabe, Kenshi
4 Napoli, Amedeo
4 Ninin, Jordan
4 Nipkow, Tobias
4 Obiedkov, Sergei A.
4 Okhotin, Alexander
4 Palioudakis, Alexandros
4 Păun, Gheorghe
4 Perkowski, Marek A.
4 Perović, Aleksandar
4 Pouly, Amaury
4 Roman, Adam
4 Roşu, Grigore
4 Song, Xiaoyu
4 Staiger, Ludwig
4 Trombettoni, Gilles
4 Tsujii, Yoshiki
4 Validžić, Lucija
4 Wang, Huimin
4 Xu, Yejun
...and 1,406 more Authors
all top 5

Cited in 231 Journals

134 Theoretical Computer Science
36 Annals of Pure and Applied Logic
31 Information and Computation
20 Discrete Applied Mathematics
19 Information Processing Letters
19 Fuzzy Sets and Systems
17 Information Sciences
16 Formal Aspects of Computing
16 Soft Computing
14 Journal of Computer and System Sciences
14 Journal of Symbolic Computation
14 MSCS. Mathematical Structures in Computer Science
13 Journal of Global Optimization
12 Theory of Computing Systems
9 Journal of Complexity
9 International Journal of Foundations of Computer Science
9 Annals of Mathematics and Artificial Intelligence
9 Natural Computing
8 Applied Mathematics and Computation
8 Journal of Automated Reasoning
8 Designs, Codes and Cryptography
8 The Journal of Logic and Algebraic Programming
7 The Journal of Symbolic Logic
7 Science of Computer Programming
7 Archive for Mathematical Logic
7 Mathematical Logic Quarterly (MLQ)
7 Logical Methods in Computer Science
6 Discrete Mathematics
6 Journal of Computational and Applied Mathematics
6 Studia Logica
6 RAIRO. Theoretical Informatics and Applications
6 Journal of Applied Logic
6 Computability
5 Applied Numerical Mathematics
5 Discrete & Computational Geometry
5 Applied Mathematical Modelling
5 European Journal of Operational Research
4 Acta Informatica
4 Computers & Mathematics with Applications
4 Mathematica Slovaca
4 Algorithmica
4 Discrete Event Dynamic Systems
4 Fundamenta Informaticae
4 Mathematics in Computer Science
4 Journal of Logic and Analysis
4 Cryptography and Communications
3 Advances in Mathematics
3 Computing
3 Kybernetika
3 Synthese
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 Communications in Nonlinear Science and Numerical Simulation
3 RAIRO. Operations Research
3 Journal of Applied Mathematics and Computing
3 Journal of Intelligent and Fuzzy Systems
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 Nonlinearity
2 Mathematics of Computation
2 Chaos, Solitons and Fractals
2 Algebra and Logic
2 Journal of Combinatorial Theory. Series B
2 Journal of Philosophical Logic
2 Transactions of the American Mathematical Society
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 Mathematical Programming. Series A. Series B
2 Journal of Dynamics and Differential Equations
2 Indagationes Mathematicae. New Series
2 Formal Methods in System Design
2 The Bulletin of Symbolic Logic
2 Journal of Automata, Languages and Combinatorics
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 Journal of Applied Mathematics
2 Portugaliae Mathematica. Nova Série
2 OR Spectrum
2 SIAM Journal on Applied Dynamical Systems
2 Computer Languages, Systems & Structures
2 Quantum Information Processing
2 ACM Transactions on Computational Logic
2 Iranian Journal of Fuzzy Systems
2 Logica Universalis
2 Advances in Mathematics of Communications
2 RAIRO. Theoretical Informatics and Applications
2 S\(\vec{\text{e}}\)MA Journal
...and 131 more Journals
all top 5

Cited in 53 Fields

559 Computer science (68-XX)
316 Mathematical logic and foundations (03-XX)
92 Information and communication theory, circuits (94-XX)
79 Order, lattices, ordered algebraic structures (06-XX)
68 Combinatorics (05-XX)
65 Numerical analysis (65-XX)
59 Operations research, mathematical programming (90-XX)
31 Dynamical systems and ergodic theory (37-XX)
28 General topology (54-XX)
26 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
22 Number theory (11-XX)
19 Category theory; homological algebra (18-XX)
18 Operator theory (47-XX)
17 Convex and discrete geometry (52-XX)
15 Real functions (26-XX)
14 Ordinary differential equations (34-XX)
14 Systems theory; control (93-XX)
13 Measure and integration (28-XX)
13 Quantum theory (81-XX)
12 Functional analysis (46-XX)
9 Field theory and polynomials (12-XX)
9 Group theory and generalizations (20-XX)
9 Probability theory and stochastic processes (60-XX)
7 History and biography (01-XX)
6 Partial differential equations (35-XX)
6 Statistics (62-XX)
6 Mechanics of deformable solids (74-XX)
5 General and overarching topics; collections (00-XX)
5 Algebraic geometry (14-XX)
5 Approximations and expansions (41-XX)
4 Commutative algebra (13-XX)
4 Associative rings and algebras (16-XX)
4 Special functions (33-XX)
4 Harmonic analysis on Euclidean spaces (42-XX)
4 Geometry (51-XX)
4 Fluid mechanics (76-XX)
4 Biology and other natural sciences (92-XX)
3 Functions of a complex variable (30-XX)
3 Integral equations (45-XX)
3 Manifolds and cell complexes (57-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 General algebraic systems (08-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Sequences, series, summability (40-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 Mathematics education (97-XX)
1 Topological groups, Lie groups (22-XX)
1 Difference and functional equations (39-XX)
1 Algebraic topology (55-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)

Citations by Year