×

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 692 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

247 Publications have been cited 1,220 times in 1,085 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
38
2002
Elementary computable topology. Zbl 1201.03039
Weihrauch, K.; Grubba, T.
32
2009
GAC – the criterion for global avalanche characteristics of cryptographic functions. Zbl 0960.68572
Zhang, Xian-Mo; Zheng, Yuliang
31
1995
On the intractability of computing the Duquenne-Guigues base. Zbl 1277.68258
Kuznetsov, Sergei O.
27
2004
How incomputable is finding Nash equilibria? Zbl 1216.91004
Pauly, Arno
26
2010
On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras. Zbl 1219.06019
Iorgulescu, A.
25
2008
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
25
2000
Extensions of affine arithmetic: application to unconstrained global optimization. Zbl 1274.65184
Messine, F.
22
2002
A generic tableau prover and its integration with Isabelle. Zbl 0961.68116
Paulson, Lawrence C.
22
1999
The computable multi-functions on multi-represented sets are closed under programming. Zbl 1227.03061
Weihrauch, K.
19
2008
Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033
Iljazović, Z.
18
2009
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
On directed interval arithmetic and its applications. Zbl 0960.65561
Markov, Svetoslav
17
1995
Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080
Calude, Cristian S.; Nies, André
17
1997
New tools for cellular automata in the hyperbolic plane. Zbl 0967.68111
Margenstern, Maurice
17
2000
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
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031
Collins, P.; Graça, D. S.
15
2009
Persistency of confluence. Zbl 0960.68082
Aoto, Takahito; Toyama, Yoshihito
15
1997
The automorphism group of a hypercube. Zbl 0960.68130
Harary, Frank
15
2000
Dynamical control of computations using the trapezoidal and Simpson’s rules. Zbl 0967.68175
Chesneaux, J. M.; Jézéquel, F.
15
1998
Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140
Traonouez, L.-M.; Lime, D.; Roux, O. H.
14
2009
Enclosure methods for multivariate differentiable functions and application to global optimization. Zbl 1063.90574
Messine, Frédéric; Lagouanelle, Jean-Louis
14
1998
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
Error-correction, and finite-delay decodability. Zbl 1258.68086
Konstantinidis, Stavros
13
2002
Exploiting the potential of concept lattices for information retrieval with credo. Zbl 1277.68069
Carpineto, Claudio; Romano, Giovanni
13
2004
Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings. Zbl 1316.47057
Leuştean, Laurenţiu
13
2007
The coalgebraic class specification language CCSL. Zbl 0970.68104
Rothe, Jan; Tews, Hendrik; Jacobs, Bart
13
2001
An aperiodic set of Wang cubes. Zbl 0960.68623
Culik, Karel II; Kari, Jarkko
12
1995
Synchronization and stability of finite automata. Zbl 1258.68084
Kari, Jarkko
11
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.
11
2008
Computable separation in topology, from \(T_{0}\) to \(T_{2}\). Zbl 1219.03043
Weihrauch, Klaus
11
2010
Too many minor order obstructions (for parameterized lower ideals). Zbl 0967.68117
Dinneen, Michael J.
11
1997
Notions of probabilistic computability on represented spaces. Zbl 1227.03058
Bosserhoff, V.
10
2008
Isometries and computability structures. Zbl 1219.03042
Iljazović, Zvonko
10
2010
Connection-based theorem proving in classical and non-classical logics. Zbl 0961.68118
Kreitz, Christoph; Otten, Jens
10
1999
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. Zbl 1120.03049
Coquand, T.; Spitters, B.
9
2005
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
Constructive set theory and Brouwerian principles. Zbl 1124.03034
Rathjen, M.
8
2005
Rationally additive semirings. Zbl 1257.16034
Ésik, Zoltán; Kuich, Werner
8
2002
Some notes on Fine computability. Zbl 1257.03072
Brattka, Vasco
8
2002
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
8
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.
8
1997
Shuffle decomposition of regular languages. Zbl 1258.68081
Ito, Masami
7
2002
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.
7
2010
Accepting networks of evolutionary processors with filtered connections. Zbl 1175.68160
Drăgoi, C.; Manea, F.; Mitrana, V.
7
2007
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
Finding median partitions using information-theoretical-based genetic algorithms. Zbl 1258.68048
Cristofor, Dana; Simovici, Dan
6
2002
Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064
Spandl, C.
6
2008
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
Linear multisecret-sharing schemes and error-correcting codes. Zbl 0960.68063
Ding, Cunsheng; Laihonen, Tero; Renvall, Ari
6
1997
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, Hajime
6
1997
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
Nondeterministic admissible interference. Zbl 0963.68105
Mullins, John
6
2000
Reasoning about abstract state machines: The WAM case study. Zbl 0960.68090
Schellhorn, Gerhard; Ahrendt, Wolfgang
6
1997
Numerical verification method of existence of connecting orbits for continuous dynamical systems. Zbl 0965.65139
Oishi, Shinichi
6
1998
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
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
Computing the solution operators of symmetric hyperbolic systems of PDE. Zbl 1203.03058
Selivanova, S.; Selivanov, V.
5
2009
Certificate-based signatures revisited. Zbl 1216.94055
Wu, W.; Mu, Y.; Susilo, W.; Huang, X.
5
2009
XML database transformations. Zbl 1216.68094
Schewe, Klaus-Dieter; Wang, Qing
5
2010
Conflict avoidance in additive order diagrams. Zbl 1277.68222
Ganter, Bernhard
5
2004
A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services. Zbl 1217.68046
Pencolé, Y.; Subias, A.
5
2009
Information fusion and logic-based reasoning approaches for decision making under uncertainty. Zbl 1216.68294
Martínez, L.; Liu, J.; Xu, Y.
5
2010
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
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
On the algebra of intervals and convex bodies. Zbl 0970.65053
Markov, Svetoslav M.
5
1998
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
Quotient spaces and coequalisers in formal topology. Zbl 1124.03038
Palmgren, E.
4
2005
ASM refinement preserving invariants. Zbl 1217.68064
Schellhorn, G.
4
2008
Algebras and update strategies. Zbl 1216.68089
Johnson, Michael; Rosebrugh, R.; Wood, R.
4
2010
Representing measurement results. Zbl 1201.03035
Pauly, A.
4
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
The tourist in the shopping arcade. Zbl 1216.68315
Fleischer, R.; Kamphans, T.; Klein, R.; Langetepe, E.; Trippen, G.
4
2010
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
LCF: A lexicographic binary representation of the rationals. Zbl 0961.68004
Kornerup, Peter; Matula, David W.
4
1995
Highly nonlinear \(t\)-resilient functions. Zbl 0960.68061
Kurosawa, Kaoru; Satoh, Takashi; Yamamoto, Kentaro
4
1997
Agent-oriented integration of distributed mathematical services. Zbl 0961.68117
Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker
4
1999
Quantum algorithmic information theory. Zbl 0960.68598
Svozil, K.
4
1996
Recursive abstract state machines. Zbl 0960.68091
Gurevich, Yuri; Spielmann, Marc
4
1997
Reliable computation of elliptic functions. Zbl 0965.65046
Luther, Wolfram; Otten, Werner
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
An improved FPTAS for mobile agent routing with time constraints. Zbl 1247.68021
Levner, Eugene; Elalouf, Amir; Cheng, T. C. Edwin
4
2011
A hybrid metaheuristic strategy for covering with wireless devices. Zbl 1362.68278
Bajuelos, Antonio L.; Canales, Santiago; Hernández, Gregorio; Martins, Mafalda
4
2012
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
Gyrolayout: a hyperbolic level-of-detail tree layout. Zbl 1412.68288
Urribarri, Dana K.; Castro, Silvia M.; Martig, Sergio R.
1
2013
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 hybrid metaheuristic strategy for covering with wireless devices. Zbl 1362.68278
Bajuelos, Antonio L.; Canales, Santiago; Hernández, Gregorio; Martins, Mafalda
4
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
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
26
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
11
2010
Isometries and computability structures. Zbl 1219.03042
Iljazović, Zvonko
10
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.
7
2010
XML database transformations. Zbl 1216.68094
Schewe, Klaus-Dieter; Wang, Qing
5
2010
Information fusion and logic-based reasoning approaches for decision making under uncertainty. Zbl 1216.68294
Martínez, L.; Liu, J.; Xu, Y.
5
2010
Algebras and update strategies. Zbl 1216.68089
Johnson, Michael; Rosebrugh, R.; Wood, R.
4
2010
The tourist in the shopping arcade. Zbl 1216.68315
Fleischer, R.; Kamphans, T.; Klein, R.; Langetepe, E.; Trippen, G.
4
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
3
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
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
On the linear number of matching substrings. Zbl 1216.68355
Han, Yo-Sub
1
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
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.
32
2009
Chainable and circularly chainable co-r.e. sets in computable metric spaces. Zbl 1201.03033
Iljazović, Z.
18
2009
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach. Zbl 1201.03031
Collins, P.; Graça, D. S.
15
2009
Parametric model-checking of stopwatch Petri nets. Zbl 1217.68140
Traonouez, L.-M.; Lime, D.; Roux, O. H.
14
2009
Topological complexity of blowup problems. Zbl 1201.03036
Rettinger, R.; Weihrauch, K.; Zhong, N.
6
2009
Computing the solution operators of symmetric hyperbolic systems of PDE. Zbl 1203.03058
Selivanova, S.; Selivanov, V.
5
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
Representing measurement results. Zbl 1201.03035
Pauly, A.
4
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
Dynamic query optimization under access limitations and dependencies. Zbl 1216.68085
Calì, A.; Calvanese, D.; Martinenghi, D.
2
2009
Reasoning about nonblocking concurrency. Zbl 1216.68075
Groves, L.
2
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
Non-denumerable infinitary modal logic. Zbl 1219.03018
Cresswell, M. J.
1
2009
A formal framework of aggregation for the OLAP-OLTP model. Zbl 1216.68091
Lenz, H.-J.; Thalheim, B.
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
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
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.
11
2008
Notions of probabilistic computability on represented spaces. Zbl 1227.03058
Bosserhoff, V.
10
2008
Computability of topological pressure for sofic shifts with applications in statistical physics. Zbl 1227.03064
Spandl, C.
6
2008
ASM refinement preserving invariants. Zbl 1217.68064
Schellhorn, G.
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.
4
2008
On the subrecursive computability of several famous constants. Zbl 1227.03063
Skordev, D.
3
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
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
Efficient \(k\)-out-of-\(n\) oblivious transfer schemes. Zbl 1217.68083
Chu, C.-K.; Tzeng, W.-G.
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
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
...and 147 more Documents
all top 5

Cited by 1,583 Authors

31 Salomaa, Kai T.
20 Brattka, Vasco
20 Pauly, Arno M.
15 Iljazović, Zvonko
15 Margenstern, Maurice
11 Messine, Frédéric
11 Ng, Timothy
9 Holzer, Markus
9 Kutrib, Martin
8 Börger, Egon
8 Diaconescu, Răzvan
8 Fariborzi Araghi, Mohammad Ali
8 Graça, Daniel Silva
8 Han, Yo-Sub
8 Melnikov, Alexander G.
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 Mitrana, Victor
7 Ognjanović, Zoran
6 Bridges, Douglas Suth
6 Calude, Cristian S.
6 Downey, Rodney Graham
6 Gaĭnă, Daniel
6 Kihara, Takayuki
6 Konstantinidis, Stavros
6 Ng, KengMeng
6 Paulson, Lawrence Charles
6 Pighizzini, Giovanni
6 Roux, Olivier H.
6 Spitters, Bas
6 Stephan, Frank
6 Ziegler, Martin
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 Krajca, Petr
5 Lime, Didier
5 Mori, Takakazu
5 Noeiaghdam, Samad
5 Obiedkov, Sergei A.
5 Okhotin, Alexander
5 Otten, Jens
5 Weihrauch, Klaus
4 Abbasbandy, Saeid
4 Araya, Ignacio J.
4 Audet, Charles
4 Bahoo, Yeganeh
4 Barmpalias, George
4 Bazhenov, Nikolaĭ Alekseevich
4 Bazin, Alexandre
4 Biegler, Franziska
4 Bose, Prosenjit K.
4 Bournez, Olivier
4 Cabrerizo, Francisco Javier
4 Charon, Irène
4 Ciobanu, Gabriel
4 Durocher, Stephane
4 Ésik, Zoltán
4 Freer, Cameron E.
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 Janostik, Radek
4 Jirásková, Galina
4 Kari, Lila
4 Khojasteh Salkuyeh, Davod
4 Konecny, Jan
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 Moreira, Nelma
4 Napoli, Amedeo
4 Ninin, Jordan
4 Nipkow, Tobias
4 Palioudakis, Alexandros
4 Păun, Gheorghe
4 Perkowski, Marek A.
...and 1,483 more Authors
all top 5

Cited in 237 Journals

136 Theoretical Computer Science
36 Annals of Pure and Applied Logic
31 Information and Computation
21 Information Sciences
20 Discrete Applied Mathematics
19 Information Processing Letters
19 Fuzzy Sets and Systems
16 Formal Aspects of Computing
16 Soft Computing
15 Journal of Computer and System Sciences
15 Journal of Symbolic Computation
14 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 Mathematical Logic Quarterly (MLQ)
8 The Journal of Logic and Algebraic Programming
8 Logical Methods in Computer Science
7 The Journal of Symbolic Logic
7 Science of Computer Programming
7 Archive for Mathematical Logic
6 Discrete Mathematics
6 Journal of Computational and Applied Mathematics
6 Studia Logica
6 International Journal of Approximate Reasoning
6 RAIRO. Theoretical Informatics and Applications
6 Journal of Applied Logic
6 Computability
5 Computers & Mathematics with Applications
5 Applied Numerical Mathematics
5 Discrete & Computational Geometry
5 Applied Mathematical Modelling
5 European Journal of Operational Research
5 Cryptography and Communications
4 Acta Informatica
4 Mathematica Slovaca
4 Algorithmica
4 Discrete Event Dynamic Systems
4 Fundamenta Informaticae
4 Mathematics in Computer Science
4 Journal of Logic and Analysis
3 Advances in Mathematics
3 Computing
3 Kybernetika
3 Synthese
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 Chaos
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 Journal of Discrete Algorithms
2 Iranian Journal of Fuzzy Systems
2 Logica Universalis
2 Advances in Mathematics of Communications
...and 137 more Journals
all top 5

Cited in 53 Fields

591 Computer science (68-XX)
328 Mathematical logic and foundations (03-XX)
94 Information and communication theory, circuits (94-XX)
79 Order, lattices, ordered algebraic structures (06-XX)
72 Numerical analysis (65-XX)
68 Combinatorics (05-XX)
61 Operations research, mathematical programming (90-XX)
34 Dynamical systems and ergodic theory (37-XX)
29 General topology (54-XX)
27 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
24 Number theory (11-XX)
20 Category theory; homological algebra (18-XX)
18 Operator theory (47-XX)
17 Convex and discrete geometry (52-XX)
15 Real functions (26-XX)
15 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)
10 Group theory and generalizations (20-XX)
10 Probability theory and stochastic processes (60-XX)
10 Statistics (62-XX)
9 Field theory and polynomials (12-XX)
8 Partial differential equations (35-XX)
7 History and biography (01-XX)
6 Commutative algebra (13-XX)
6 Algebraic geometry (14-XX)
6 Mechanics of deformable solids (74-XX)
5 General and overarching topics; collections (00-XX)
5 Approximations and expansions (41-XX)
5 Geometry (51-XX)
4 Associative rings and algebras (16-XX)
4 Special functions (33-XX)
4 Harmonic analysis on Euclidean spaces (42-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 Topological groups, Lie groups (22-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 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