×

zbMATH — the first resource for mathematics

Nordic Journal of Computing

Short Title: Nord. J. Comput.
Publisher: Publishing Association Nordic Journal of Computing, Helsinki
ISSN: 1236-6064
Online: https://www.cs.helsinki.fi/njc/bibliography.html
ftp://ftp.math.utah.edu/pub/tex/bib/toc/nordic-j-computing.html
https://dl.acm.org/loi/njoc
Documents Indexed: 247 Publications (since 1994)
all top 5

Authors

5 Levcopoulos, Christos
5 Telle, Jan Arne
4 Heggernes, Pinar
4 Riis Nielson, Hanne
4 Seidl, Helmut
4 Steffen, Bernhard
4 Waldén, Marina
4 Yi, Wang
3 Bodlaender, Hans L.
3 Gudmundsson, Joachim
3 Krizanc, Danny
3 Larsen, Kim Guldstrand
3 Lüth, Christoph
3 Marathe, Madhav V.
3 Narasimhan, Giri
3 Navarro, Gonzalo
3 Nielson, Flemming
3 Pettersson, Paul
3 Porres, Ivan
3 Rytter, Wojciech
3 Schuierer, Sven
2 Berlea, Alexandru
2 Berman, Piotr
2 Dahl, Ole-Johan
2 Das, Gautam Kumar
2 Diks, Krzysztof
2 Fersman, Elena
2 Haveraaen, Magne
2 Honsell, Furio
2 Iliopoulos, Costas S.
2 Inenaga, Shunsuke
2 Johnsen, Einar Broch
2 Jonsson, Bengt
2 Koskimies, Kai
2 Koskinen, Johannes
2 Kranakis, Evangelos Konstantinou
2 Kratochvíl, Jan
2 Kristiansen, Petter
2 Krznaric, Drago
2 Kuzniarz, Ludwik
2 Larsen, Kim Skak
2 Lingas, Andrzej
2 Lundkvist, Torbjörn
2 Mäkinen, Veli
2 Man, Ka Lok
2 Mukhopadhyay, Asish Kumar
2 Nielsen, Mogens
2 Nilsson, Bengt J.
2 Owe, Olaf
2 Panangaden, Prakash
2 Pelc, Andrzej
2 Radhakrishnan, Jaikumar
2 Ravi, S. S.
2 Santoro, Nicola
2 Segal, Michael
2 Sere, Kaisa
2 Shinohara, Ayumi
2 Smid, Michiel H. M.
2 Smyth, William F.
2 Subramani, Krishnan
2 Systä, Tarja
2 Tarhio, Jorma
2 Tsakalidis, Athanasios K.
2 Uustalu, Tarmo
2 Vene, Varmo
2 Walicki, Michał
2 Wehrheim, Heike
1 Abadi, Martín
1 Abdulla, Parosh Aziz
1 Aceto, Luca
1 Agarwal, Pankaj Kumar
1 Agarwal, Rachit
1 Agrawal, Alok
1 Al-Azzoni, Issam
1 Alanen, Marcus
1 Alon, Noga M.
1 Amadio, Roberto M.
1 Amnell, Tobias
1 Andreou, Maria I.
1 Argentieri, John
1 Arikawa, Setsuo
1 Asano, Takao
1 Asano, Tetsuo
1 Atkinson, Malcolm P.
1 Baba, Kensuke
1 Back, Ralph-Johan
1 Baeza-Yates, Ricardo A.
1 Barros, João Paulo
1 Basten, Twan
1 Bastiansen, Tore J.
1 Benke, Marcin
1 Bereg, Sergey N.
1 Berry, Anne
1 Bhaduri, Purandar
1 Bhattacharjee, G. P.
1 Billington, Jonathan
1 Birkedal, Lars
1 Blair, Jean R. S.
1 Boichut, Yohan
1 Bollobás, Béla
...and 349 more Authors

Publications by Year

Citations contained in zbMATH Open

155 Publications have been cited 928 times in 898 Documents Cited by Year
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
117
1995
Linear-time certifying recognition algorithms and forbidden induced subgraphs. Zbl 1169.68653
Heggernes, Pinar; Kratsch, Dieter
33
2007
A congruence theorem for structured operational semantics with predicates and negative premises. Zbl 0839.68060
Verhoef, Chris
32
1995
A new algorithm for the maximum-weight clique problem. Zbl 1003.68117
Östergård, Patric R. J.
28
2001
On the expressive power of polyadic synchronisation in \(\pi\)-calculus. Zbl 1062.68077
Carbone, Marco; Maffeis, Sergio
26
2003
Reducing to independent set structure – the case of \(k\)-internal spanning tree. Zbl 1087.68075
Prieto, Elena; Sloper, Christian
25
2005
Partitioning graphs into generalized dominating sets. Zbl 0905.68100
Heggernes, Pinar; Telle, Jan Arne
22
1998
A bisimulation method for cryptographic protocols. Zbl 0913.68062
Abadi, Martín; Gordon, Andrew D.
22
1998
An efficient pattern-matching algorithm for strings with short descriptions. Zbl 0874.68087
Karpinski, Marek; Rytter, Wojciech; Shinohara, Ayumi
22
1997
Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019
Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.
21
2002
On the complexity of the maximum cut problem. Zbl 0963.68224
Bodlaender, Hans L.; Jansen, Klaus
19
2000
Complexity of graph covering problems. Zbl 0911.68076
Kratochvíl, Jan; Proskurowski, Andrzej; Telle, Jan Arne
17
1998
Range mode and range median queries on lists and trees. Zbl 1083.68028
Krizanc, Danny; Morin, Pat; Smid, Michiel
17
2005
Polynomially bounded minimization problems that are hard to approximate. Zbl 0817.68082
Kann, Viggo
16
1994
Succinct suffix arrays based on run-length encoding. Zbl 1085.68031
Mäkinen, Veli; Navarro, Gonzalo
16
2005
Recognizing weakly triangulated graphs by edge separability. Zbl 0972.68126
Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar
14
2000
String regularities with don’t cares. Zbl 1061.68188
Iliopoulos, Costas S.; Mohamed, Manal; Mouchard, Laurent; Smyth, W. F.; Perdikuri, Katerina G.; Tsakalidis, Athanasios K.
13
2003
Deriving bisimulation congruences using 2-categories. Zbl 1062.68082
Sassone, Vladimiro; Sobociński, Paweł
12
2003
Composition, decomposition and model checking of pushdown processes. Zbl 0839.68028
Burkart, Olaf; Steffen, Bernhard
12
1995
A \(d/2\) approximation for maximum weight independent set in \(d\)-claw free graphs. Zbl 0972.68127
Berman, Piotr
12
2000
A lambda calculus of objects and method specialization. Zbl 0886.03010
Fisher, Kathleen; Honsell, Furio; Mitchell, John C.
10
1994
Approximating a minimum Manhattan network. Zbl 0985.68092
Gudmundsson, Joachim; Levcopoulos, Christos; Narasimhan, Giri
9
2001
Improved approximations of independent sets in bounded-degree graphs via subgraph removal. Zbl 0817.68088
Halldórsson, Magnús M.; Radhakrishnan, Jaikumar
9
1994
Output-sensitive cell enumeration in hyperplane arrangements. Zbl 0978.68791
Sleumer, Nora H.
9
1999
Improved upper bounds for time-space trade-offs for selection. Zbl 0946.68156
Raman, Venkatesh; Ramnath, Sarnath
9
1999
Clock difference diagrams. Zbl 0937.68086
Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang
8
1999
On finding minimum-diameter clique trees. Zbl 0819.68085
Blair, Jean R. S.; Peyton, Barry W.
8
1994
Generalized domination in chordal graphs. Zbl 0849.68037
Kratochvíl, Jan; Manuel, Paul D.; Miller, Mirka
8
1995
A fast approximation algorithm for TSP with neighborhoods. Zbl 0938.68876
Gudmundsson, Joachim; Levcopoulos, Christos
8
1999
Approximation algorithms for clustering to minimize the sum of diameters. Zbl 0972.68128
Doddi, Srinivas; Marathe, Madhav V.; Ravi, S. S.; Taylor, David Scot; Widmayer, Peter
8
2000
Using sparsification for parametric minimum spanning tree problems. Zbl 0873.68169
Fernández-Baca, David; Slutzki, Giora; Eppstein, David
8
1996
Linear time maximum induced matching algorithm for trees. Zbl 0957.68095
Zito, Michele
8
2000
Recursion schemes from comonads. Zbl 0994.68018
Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto
8
2001
Independence-friendly modal logic and true concurrency. Zbl 1020.68061
Bradfield, Julian C.; Fröschle, Sibylle B.
8
2002
A succinct solver for ALFP. Zbl 1088.68774
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut
7
2002
A logical view of concurrent constraint programming. Zbl 0839.68020
Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G.
7
1995
Optimal roundings of sequences and matrices. Zbl 0973.68257
Asano, Tetsuo; Matsui, Tomomi; Tokuyama, Takeshi
7
2000
Guided synthesis of control programs using UPPAAL. Zbl 0978.68021
Hune, Thomas; Larsen, Kim G.; Pettersson, Paul
7
2001
On decidability of the control reachability problem in the asynchronous \(\pi\)-calculus. Zbl 1021.68062
Amadio, Roberto M.; Meysonnier, Charles
7
2002
Structured formal development in Isabelle. Zbl 1114.68063
Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph
6
2006
Universes for generic programs and proofs in dependent type theory. Zbl 1094.68012
Benke, Marcin; Dybjer, Peter; Jansson, Patrik
6
2003
Trade-offs in non-reversing diameter. Zbl 0939.68880
Bodlaender, Hans L.; Tel, Gerard; Santoro, Nicola
6
1994
Mendler-style inductive types, categorically. Zbl 0937.68029
Uustalu, Tarmo; Vene, Varmo
6
1999
Recursive object types in a logic of object-oriented programs. Zbl 0913.68025
Leino, K. Rustan M.
6
1998
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
Penetration depth of two convex polytopes in 3D. Zbl 0977.68088
Agarwal, Pankaj K.; Guibas, Leonidas J.; Har-Peled, Sariel; Rabinovitch, Alexander; Sharir, Micha
6
2000
Speed is more powerful than clairvoyance. Zbl 0946.68157
Berman, Piotr; Coulston, Chris
6
1999
Axiomatizing binding bigraphs. Zbl 1119.68132
Damgaard, Troels C.; Birkedal, Lars
5
2006
CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
5
2002
A self-stabilizing algorithm for maximal 2-packing. Zbl 1096.68013
Gairing, Martin; Geist, Robert M.; Hedetniemi, Stephen T.; Kristiansen, Petter
5
2004
Approximation algorithms for the shortest common supersequence. Zbl 0838.68046
Fraser, Campbell B.; Irving, Robert W.
5
1995
Range-aggregate query problems involving geometric aggregation operations. Zbl 1123.68030
Gupta, Prosenjit
5
2006
Streaming maximum-minimum filter using no more than three comparisons per element. Zbl 1123.68138
Lemire, Daniel
5
2006
On the complexity of variations of equal sum subsets. Zbl 1187.68248
Cieliebak, Mark; Eidenbenz, Stephan; Pagourtzis, Aris T.; Schlude, Konrad
5
2008
On the expressive power of the loop language. Zbl 1161.68378
Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre
4
2006
Code synthesis for timed automata. Zbl 1088.68625
Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan
4
2002
A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525
Fersman, Elena; Yi, Wang
4
2004
Bidirectional construction of suffix trees. Zbl 1065.68044
Inenaga, Shunsuke
4
2003
Binary queries for document trees. Zbl 1090.68537
Berlea, Alexandru; Seidl, Helmut
4
2004
An optimal parallel algorithm for all-pairs shortest paths on unweighted interval graphs. Zbl 0893.68079
Pal, Madhumangal; Bhattacharjee, G. P.
4
1997
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems. Zbl 0918.68009
Fecht, Christian; Seidl, Helmut
4
1998
Games and logics for a noninterleaving bisimulation. Zbl 0839.68112
Nielsen, Mogens; Clausen, Christian
4
1995
A type system for bounded space and functional in-place update. Zbl 0971.68023
Hofmann, Martin
4
2000
Lower bounds for dynamic transitive closure, planar point location, and parentheses matching. Zbl 0873.68096
Husfeldt, Thore; Rauhe, Theis; Skyum, Søren
4
1996
Succinct suffix arrays based on run-length encoding. Zbl 1161.68402
Mäkinen, Veli; Navarro, Gonzalo
4
2005
Improved exploration of rectilinear polygons. Zbl 1037.68148
Hammar, Mikael; Nilsson, Bengt J.; Schuierer, Sven
4
2002
Approximate string matching with ordered \(q\)-grams. Zbl 1102.68725
Sutinen, Erkki; Tarhio, Jorma
3
2004
Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665
Ouaknine, Joël; Worrell, James
3
2003
Placing an obnoxious facility in geometric networks. Zbl 1094.90049
Segal, Michael
3
2003
Time-message trade-offs for the weak unison problem. Zbl 0893.68004
Israeli, Amos; Kranakis, Evangelos; Krizanc, Danny; Santoro, Nicola
3
1997
Shape analysis for mobile ambients. Zbl 0985.68039
Nielson, Hanne Riis; Nielson, Flemming
3
2001
The complexity of approximating PSPACE-complete problems for hierarchical specifications. Zbl 0817.68092
Marathe, Madhav V.; Hunt, Harry B. III; Ravi, S. S.
3
1994
Sparse networks supporting efficient reliable broadcasting. Zbl 0817.68019
Chlebus, Bogdan S.; Diks, Krzysztof; Pelc, Andrzej
3
1994
Finding all weakly-visible chords of a polygon in linear time. Zbl 0817.68127
Das, Gautam; Heffernan, Paul J.; Narasimhan, Giri
3
1994
Minimum spanning trees in \(d\) dimensions. Zbl 0942.68103
Krznaric, Drago; Levcopoulos, Christos; Nilsson, Bengt J.
3
1999
The randomized complexity of maintaining the minimum. Zbl 0870.68086
Brodal, Gerth Stølting; Chaudhuri, Shiva; Radhakrishnan, Jaikumar
3
1996
Service-constrained network design problems. Zbl 0876.68084
Marathe, Madhav V.; Ravi, R.; Sundaram, Ravi
3
1996
Coloring 2-colorable hypergraphs with a sublinear number of colors. Zbl 0870.68112
Alon, Noga; Kelsen, Pierre; Mahajan, Sanjeev; Ramesh, Hariharan
3
1996
New upper bounds on Voronoi diagrams of moving points. Zbl 0874.68297
Roos, Thomas
3
1997
String-matching with automata. Zbl 0878.68056
Mohri, Mehryar
3
1997
Programming languages capturing complexity classes. Zbl 1087.68035
Kristiansen, Lars; Voda, Paul J.
3
2005
Deterministic jumplists. Zbl 1083.68026
Elmasry, Amr
3
2005
Online evaluation of regular tree queries. Zbl 1123.68323
Berlea, Alexandru
3
2006
Approximate string matching with gaps. Zbl 1037.68047
Crochemore, Maxime; Iliopoulos, Costas; Makris, Christos; Rytter, Wojciech; Tsakalidis, Athanasios; Tsichlas, Kostas
3
2002
Cost-based analysis of probabilistic programs mechanised in HOL. Zbl 1088.68536
Celiku, Orieta; McIver, Annabelle
2
2004
Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092
Schneider, Gerardo
2
2004
Space-efficient construction variants of dynamic programming. Zbl 1102.68720
Bodlaender, Hans L.; Telle, Jan Arne
2
2004
A note on randomized algorithm for string matching with mismatches. Zbl 1065.68113
Baba, Kensuke; Shinohara, Ayumi; Takeda, Masayuki; Inenaga, Shunsuke; Arikawa, Setsuo
2
2003
Transposition invariant pattern matching for multi-track strings. Zbl 1094.68563
Lemström, Kjell; Tarhio, Jorma
2
2003
Generalized \(H\)-coloring and \(H\)-covering of trees. Zbl 1094.68609
Fiala, Jiří; Heggernes, Pinar; Kristiansen, Petter; Telle, Jan Arne
2
2003
Navigation piles with applications to sorting, priority queues, and priority deques. Zbl 1094.68552
Katajainen, Jyrki; Vitale, Fabio
2
2003
Rewriting via coinserters. Zbl 1094.68043
Ghani, Neil; Lüth, Christoph
2
2003
Enumerating extreme points in higher dimensions. Zbl 0985.68090
Ottmann, Thomas; Schuierer, Sven; Soundaralakshmi, Subbiah
2
2001
Reliability assessment through probabilistic refinement. Zbl 0937.68087
Troubitsyna, Elena A.
2
1999
The fork calculus. Zbl 0817.68101
Havelund, Klaus; Larsen, Kim Guldstrand
2
1994
Local model checking for context-free processes. Zbl 0817.68102
Hungar, Hardi; Steffen, Bernhard
2
1994
A new flexible algorithm for the longest common subsequence problem. Zbl 0841.68051
Rick, Claus
2
1995
A family of bipartite cardinality matching problems solvable in \(O(n^ 2)\) time. Zbl 0841.68103
Clausen, Jens; Krarup, Jakob
2
1995
Scheduling jobs before shut-down. Zbl 0972.68186
Liberatore, Vincenzo
2
2000
An incremental unique representation for regular trees. Zbl 0971.68122
Mauborgne, Laurent
2
2000
On the complexity of variations of equal sum subsets. Zbl 1187.68248
Cieliebak, Mark; Eidenbenz, Stephan; Pagourtzis, Aris T.; Schlude, Konrad
5
2008
Formalising scheduling theories in duration calculus. Zbl 1187.68102
Xu, Qiwen; Zhan, Naijun
1
2008
Approximation-based tree regular model-checking. Zbl 1187.68312
Boichut, Y.; Héam, P.-C.; Kouchnarenko, O.
1
2008
Linear-time certifying recognition algorithms and forbidden induced subgraphs. Zbl 1169.68653
Heggernes, Pinar; Kratsch, Dieter
33
2007
Using forward reachability analysis for verification of timed Petri nets. Zbl 1168.68434
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
1
2007
Block sorting: a characterization and some heuristics. Zbl 1169.68384
Mahajan, Meena; Rama, Raghavan; Vijayakumar, S.
1
2007
Structured formal development in Isabelle. Zbl 1114.68063
Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph
6
2006
Axiomatizing binding bigraphs. Zbl 1119.68132
Damgaard, Troels C.; Birkedal, Lars
5
2006
Range-aggregate query problems involving geometric aggregation operations. Zbl 1123.68030
Gupta, Prosenjit
5
2006
Streaming maximum-minimum filter using no more than three comparisons per element. Zbl 1123.68138
Lemire, Daniel
5
2006
On the expressive power of the loop language. Zbl 1161.68378
Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre
4
2006
Online evaluation of regular tree queries. Zbl 1123.68323
Berlea, Alexandru
3
2006
Optimizing slicing of formal specifications by deductive verification. Zbl 1114.68051
Brückner, Ingo; Metzler, Björn; Wehrheim, Heike
1
2006
Higher-order beta matching with solutions in long beta-eta normal form. Zbl 1122.03009
Støvring, Kristian
1
2006
PRO: a model for the design and analysis of efficient and scalable parallel algorithms. Zbl 1123.68140
Gebremedhin, Assefaw Hadish; Essaïdi, Mohamed; Guérin Lassous, Isabelle; Gustedt, Jens; Telle, Jan Arne
1
2006
Reducing to independent set structure – the case of \(k\)-internal spanning tree. Zbl 1087.68075
Prieto, Elena; Sloper, Christian
25
2005
Range mode and range median queries on lists and trees. Zbl 1083.68028
Krizanc, Danny; Morin, Pat; Smid, Michiel
17
2005
Succinct suffix arrays based on run-length encoding. Zbl 1085.68031
Mäkinen, Veli; Navarro, Gonzalo
16
2005
Succinct suffix arrays based on run-length encoding. Zbl 1161.68402
Mäkinen, Veli; Navarro, Gonzalo
4
2005
Programming languages capturing complexity classes. Zbl 1087.68035
Kristiansen, Lars; Voda, Paul J.
3
2005
Deterministic jumplists. Zbl 1083.68026
Elmasry, Amr
3
2005
Refining UML interactions with underspecification and nondeterminism. Zbl 1087.68023
Runde, Ragnhild Kobro; Haugen, Øysten; Stølen, Ketil
2
2005
Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN. Zbl 1087.68033
Al-Azzoni, Issam; Down, Douglas G.
1
2005
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets. Zbl 1087.68012
Billington, Jonathan; Gallasch, Guy Edward; Petrucci, Laure
1
2005
Memory arbiter synthesis and verification for a radar memory interface card. Zbl 1087.68520
Ernits, Juhan
1
2005
A compositional trace logic for behavioural interface specifications. Zbl 1087.68056
Kyas, Michael; de Boer, Frank S.; de Roever, Willem-Paul
1
2005
Transfinite corecursion. Zbl 1087.68018
Nestra, Härmel
1
2005
A self-stabilizing algorithm for maximal 2-packing. Zbl 1096.68013
Gairing, Martin; Geist, Robert M.; Hedetniemi, Stephen T.; Kristiansen, Petter
5
2004
A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525
Fersman, Elena; Yi, Wang
4
2004
Binary queries for document trees. Zbl 1090.68537
Berlea, Alexandru; Seidl, Helmut
4
2004
Approximate string matching with ordered \(q\)-grams. Zbl 1102.68725
Sutinen, Erkki; Tarhio, Jorma
3
2004
Cost-based analysis of probabilistic programs mechanised in HOL. Zbl 1088.68536
Celiku, Orieta; McIver, Annabelle
2
2004
Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092
Schneider, Gerardo
2
2004
Space-efficient construction variants of dynamic programming. Zbl 1102.68720
Bodlaender, Hans L.; Telle, Jan Arne
2
2004
Approximate regular expression searching with arbitrary integer weights. Zbl 1102.68732
Navarro, Gonzalo
1
2004
On the expressive power of polyadic synchronisation in \(\pi\)-calculus. Zbl 1062.68077
Carbone, Marco; Maffeis, Sergio
26
2003
String regularities with don’t cares. Zbl 1061.68188
Iliopoulos, Costas S.; Mohamed, Manal; Mouchard, Laurent; Smyth, W. F.; Perdikuri, Katerina G.; Tsakalidis, Athanasios K.
13
2003
Deriving bisimulation congruences using 2-categories. Zbl 1062.68082
Sassone, Vladimiro; Sobociński, Paweł
12
2003
Universes for generic programs and proofs in dependent type theory. Zbl 1094.68012
Benke, Marcin; Dybjer, Peter; Jansson, Patrik
6
2003
Bidirectional construction of suffix trees. Zbl 1065.68044
Inenaga, Shunsuke
4
2003
Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665
Ouaknine, Joël; Worrell, James
3
2003
Placing an obnoxious facility in geometric networks. Zbl 1094.90049
Segal, Michael
3
2003
A note on randomized algorithm for string matching with mismatches. Zbl 1065.68113
Baba, Kensuke; Shinohara, Ayumi; Takeda, Masayuki; Inenaga, Shunsuke; Arikawa, Setsuo
2
2003
Transposition invariant pattern matching for multi-track strings. Zbl 1094.68563
Lemström, Kjell; Tarhio, Jorma
2
2003
Generalized \(H\)-coloring and \(H\)-covering of trees. Zbl 1094.68609
Fiala, Jiří; Heggernes, Pinar; Kristiansen, Petter; Telle, Jan Arne
2
2003
Navigation piles with applications to sorting, priority queues, and priority deques. Zbl 1094.68552
Katajainen, Jyrki; Vitale, Fabio
2
2003
Rewriting via coinserters. Zbl 1094.68043
Ghani, Neil; Lüth, Christoph
2
2003
A work-optimal parallel implementation of lossless image compression by block matching. Zbl 1065.68112
Cinque, Luigi; Liberati, Franco; de Agostino, Sergio
1
2003
A note on Crochemore’s repetitions algorithm – a fast space-efficient approach. Zbl 1065.68111
Franek, Frantisek; Smyth, W. F.; Xiao, Xiangdong
1
2003
A bit-vector algorithm for computing Levenshtein and Damerau edit distances. Zbl 1065.68057
Hyyrö, Heikki
1
2003
Interaction nets with McCarthy’s amb: Properties and applications. Zbl 1062.68067
Fernández, Maribel; Khalil, Lionel
1
2003
Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019
Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.
21
2002
Independence-friendly modal logic and true concurrency. Zbl 1020.68061
Bradfield, Julian C.; Fröschle, Sibylle B.
8
2002
A succinct solver for ALFP. Zbl 1088.68774
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut
7
2002
On decidability of the control reachability problem in the asynchronous \(\pi\)-calculus. Zbl 1021.68062
Amadio, Roberto M.; Meysonnier, Charles
7
2002
CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
5
2002
Code synthesis for timed automata. Zbl 1088.68625
Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan
4
2002
Improved exploration of rectilinear polygons. Zbl 1037.68148
Hammar, Mikael; Nilsson, Bengt J.; Schuierer, Sven
4
2002
Approximate string matching with gaps. Zbl 1037.68047
Crochemore, Maxime; Iliopoulos, Costas; Makris, Christos; Rytter, Wojciech; Tsakalidis, Athanasios; Tsichlas, Kostas
3
2002
Algebraic specifications: some old history and new thoughts. Zbl 1088.68648
Wagner, Eric G.
1
2002
Safe dynamic multiple inheritance. Zbl 1022.68022
Ernst, Erik
1
2002
Approximation algorithms for the bottleneck stretch factor problem. Zbl 1037.68149
Narasimhan, Giri; Smid, Michiel
1
2002
An automata-theoretic approach to the reachability analysis of RPPS systems. Zbl 1021.68064
Labroue, Anne; Schnoebelen, Philippe
1
2002
A new algorithm for the maximum-weight clique problem. Zbl 1003.68117
Östergård, Patric R. J.
28
2001
Approximating a minimum Manhattan network. Zbl 0985.68092
Gudmundsson, Joachim; Levcopoulos, Christos; Narasimhan, Giri
9
2001
Recursion schemes from comonads. Zbl 0994.68018
Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto
8
2001
Guided synthesis of control programs using UPPAAL. Zbl 0978.68021
Hune, Thomas; Larsen, Kim G.; Pettersson, Paul
7
2001
Shape analysis for mobile ambients. Zbl 0985.68039
Nielson, Hanne Riis; Nielson, Flemming
3
2001
Enumerating extreme points in higher dimensions. Zbl 0985.68090
Ottmann, Thomas; Schuierer, Sven; Soundaralakshmi, Subbiah
2
2001
Simple general recursion in type theory. Zbl 0978.68041
Bove, Ana
2
2001
Linear hybrid action systems. Zbl 0978.68106
Rönkkö, Mauno; Li, Xuandong
2
2001
Time-series similarity problems and well-separated geometric sets. Zbl 1005.68059
Bollobás, Béla; Das, Gautam; Gunopulos, Dimitrios; Mannila, Heikki
1
2001
The competitive ratio for on-line dual bin packing with restricted input sequences. Zbl 1003.68200
Boyar, Joan; Favrholdt, Lene M.; Larsen, Kim S.; Nielsen, Morten N.
1
2001
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina
1
2001
Continuous action systems as a model for hybrid systems. Zbl 0978.68017
Back, Ralph-Johan; Petre, Luigia; Porres, Ivan
1
2001
Parametric real-time model checking using splitting trees. Zbl 0978.68098
Spelberg, R. F. Lutje; Toetenel, W. J.
1
2001
A randomized subexponential algorithm for parity games. Zbl 0994.68085
Petersson, Viktor; Vorobyov, Sergei
1
2001
A real-time process algebra with open intervals and maximal progress. Zbl 0995.68065
Fecher, Harald
1
2001
Modular development of interpreters from semantic building blocks. Zbl 0997.68020
Labra G., J. E.; Cueva, J. M.; Luengo, M. C.; Cernuda, A.
1
2001
On the complexity of the maximum cut problem. Zbl 0963.68224
Bodlaender, Hans L.; Jansen, Klaus
19
2000
Recognizing weakly triangulated graphs by edge separability. Zbl 0972.68126
Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar
14
2000
A \(d/2\) approximation for maximum weight independent set in \(d\)-claw free graphs. Zbl 0972.68127
Berman, Piotr
12
2000
Approximation algorithms for clustering to minimize the sum of diameters. Zbl 0972.68128
Doddi, Srinivas; Marathe, Madhav V.; Ravi, S. S.; Taylor, David Scot; Widmayer, Peter
8
2000
Linear time maximum induced matching algorithm for trees. Zbl 0957.68095
Zito, Michele
8
2000
Optimal roundings of sequences and matrices. Zbl 0973.68257
Asano, Tetsuo; Matsui, Tomomi; Tokuyama, Takeshi
7
2000
Penetration depth of two convex polytopes in 3D. Zbl 0977.68088
Agarwal, Pankaj K.; Guibas, Leonidas J.; Har-Peled, Sariel; Rabinovitch, Alexander; Sharir, Micha
6
2000
A type system for bounded space and functional in-place update. Zbl 0971.68023
Hofmann, Martin
4
2000
Scheduling jobs before shut-down. Zbl 0972.68186
Liberatore, Vincenzo
2
2000
An incremental unique representation for regular trees. Zbl 0971.68122
Mauborgne, Laurent
2
2000
First-class structures for standard ML. Zbl 0970.68025
Russo, Claudio V.
2
2000
Constraint-based inter-procedural analysis of parallel programs. Zbl 0970.68034
Seidl, Helmut; Steffen, Bernhard
2
2000
A versatile constraint-based type inference system. Zbl 0970.68017
Pottier, François
1
2000
Pattern-matching problems for two-dimensional images described by finite automata. Zbl 0958.68146
Karhumäki, Juhani; Plandowski, Wojciech; Rytter, Wojciech
1
2000
Output-sensitive cell enumeration in hyperplane arrangements. Zbl 0978.68791
Sleumer, Nora H.
9
1999
Improved upper bounds for time-space trade-offs for selection. Zbl 0946.68156
Raman, Venkatesh; Ramnath, Sarnath
9
1999
Clock difference diagrams. Zbl 0937.68086
Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang
8
1999
A fast approximation algorithm for TSP with neighborhoods. Zbl 0938.68876
Gudmundsson, Joachim; Levcopoulos, Christos
8
1999
Mendler-style inductive types, categorically. Zbl 0937.68029
Uustalu, Tarmo; Vene, Varmo
6
1999
Speed is more powerful than clairvoyance. Zbl 0946.68157
Berman, Piotr; Coulston, Chris
6
1999
Minimum spanning trees in \(d\) dimensions. Zbl 0942.68103
Krznaric, Drago; Levcopoulos, Christos; Nilsson, Bengt J.
3
1999
...and 55 more Documents
all top 5

Cited by 1,586 Authors

16 Navarro, Gonzalo
12 Larsen, Kim Guldstrand
12 Olarte, Carlos
11 Katoen, Joost-Pieter
11 Palamidessi, Catuscia
10 Brandstädt, Andreas
10 Valencia, Frank D.
9 Inenaga, Shunsuke
8 Fiala, Jiří
8 Kratochvíl, Jan
8 Reniers, Michel Adriaan
8 Rueda, Camilo
8 Takeda, Masayuki
7 Deng, Yuxin
7 Durocher, Stephane
7 Hermanns, Holger
7 Legay, Axel
7 Nielson, Flemming
7 Otachi, Yota
7 Raman, Venkatesh
7 Smyth, William F.
7 Zehavi, Meirav
6 Bonchi, Filippo
6 Cao, Yixin
6 Chan, Timothy Moon-Yew
6 Gagie, Travis
6 Gorla, Daniele
6 Henning, Michael Anthony
6 Hüttel, Hans
6 Kwiatkowska, Marta Z.
6 Li, Duan
6 Munro, J. Ian
6 Norman, Gethin
6 Pimentel, Elaine
6 Puglisi, Simon J.
6 Riis Nielson, Hanne
6 Saitoh, Toshiki
6 Saurabh, Saket
6 Silva, Alexandra
6 Tini, Simone
5 Bannai, Hideo
5 Bruni, Roberto
5 Crafa, Silvia
5 Fahrenberg, Uli
5 Fomin, Fedor V.
5 Gebler, Daniel E.
5 Gutin, Gregory Z.
5 Guzmán, Michell
5 Miculan, Marino
5 Nicosia, Gaia
5 Paschos, Vangelis Th.
5 Paulusma, Daniël
5 Rytter, Wojciech
5 Sobociński, Paweł
5 Sokolova, Ana
5 Spoerhase, Joachim
5 Sproston, Jeremy
5 Zhang, Lijun
4 Abate, Alessandro
4 Belmonte, Rémy
4 Berry, Anne
4 Delahaye, Benoît
4 Falaschi, Moreno
4 Fokkink, Willem Jan
4 Golumbic, Martin Charles
4 Halldórsson, Magnús Mar
4 He, Meng
4 Heggernes, Pinar
4 Hennessy, Matthew C. B.
4 Jonsson, Bengt
4 Lipshteyn, Marina
4 Lokshtanov, Daniel
4 Lüttgen, Gerald
4 Milanič, Martin
4 Niehren, Joachim
4 Pal, Madhumangal
4 Pelc, Andrzej
4 Ponse, Alban
4 Ranzato, Francesco
4 Segala, Roberto
4 Shinohara, Ayumi
4 Skala, Matthew
4 Sun, Xiaoling
4 Tesař, Marek
4 Turrini, Andrea
4 Uustalu, Tarmo
4 Wang, Jianxin
4 Yi, Wang
4 You, Jie
4 Zheng, Xiaojin
3 Abadi, Martín
3 Andova, Suzana
3 Arikawa, Setsuo
3 Bacci, Giorgio
3 Baeten, Jos C. M.
3 Baier, Christel
3 Baldan, Paolo
3 Bergstra, Jan A.
3 Berman, Piotr
3 Bhattacharya, Binay Kumar
...and 1,486 more Authors
all top 5

Cited in 109 Journals

167 Theoretical Computer Science
58 Information and Computation
54 Discrete Applied Mathematics
39 Algorithmica
33 Information Processing Letters
20 Journal of Computer and System Sciences
20 Journal of Discrete Algorithms
18 The Journal of Logic and Algebraic Programming
17 Formal Aspects of Computing
15 Discrete Mathematics
14 Theory of Computing Systems
12 Journal of Combinatorial Optimization
12 Journal of Logical and Algebraic Methods in Programming
11 Acta Informatica
11 Computational Geometry
8 Science of Computer Programming
8 European Journal of Operational Research
8 Formal Methods in System Design
7 Journal of Automated Reasoning
6 Annals of Operations Research
6 Discrete Optimization
6 Logical Methods in Computer Science
5 Networks
5 Discrete & Computational Geometry
5 Computers & Operations Research
5 Real-Time Systems
5 Journal of Global Optimization
5 Higher-Order and Symbolic Computation
5 Algorithms
5 Computer Science Review
4 SIAM Journal on Computing
4 European Journal of Combinatorics
4 SIAM Journal on Discrete Mathematics
4 Distributed Computing
4 Discussiones Mathematicae. Graph Theory
4 RAIRO. Theoretical Informatics and Applications
4 Optimization Letters
3 Graphs and Combinatorics
3 International Journal of Foundations of Computer Science
3 Journal of Functional Programming
2 Artificial Intelligence
2 Automatica
2 Fuzzy Sets and Systems
2 Operations Research Letters
2 ACM Transactions on Graphics
2 Journal of Parallel and Distributed Computing
2 Japan Journal of Industrial and Applied Mathematics
2 Designs, Codes and Cryptography
2 Linear Algebra and its Applications
2 Mathematical Programming. Series A. Series B
2 INFORMS Journal on Computing
2 European Journal of Control
2 Journal of Scheduling
2 RAIRO. Operations Research
2 Theory and Practice of Logic Programming
2 Journal of Applied Mathematics and Computing
2 Computer Languages, Systems & Structures
2 ACM Journal of Experimental Algorithmics
2 Mathematics in Computer Science
2 Discrete Mathematics, Algorithms and Applications
1 Journal of the Franklin Institute
1 Applied Mathematics and Computation
1 BIT
1 Computing
1 Information Sciences
1 Journal of Applied Probability
1 Journal of Graph Theory
1 Kybernetika
1 Mathematics of Operations Research
1 Notre Dame Journal of Formal Logic
1 Quaestiones Mathematicae
1 SIAM Journal on Control and Optimization
1 OR Spektrum
1 Combinatorica
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 Applied Mathematics Letters
1 Machine Learning
1 International Journal of Computational Geometry & Applications
1 MSCS. Mathematical Structures in Computer Science
1 Discrete Mathematics and Applications
1 Discrete Event Dynamic Systems
1 International Journal of Computer Mathematics
1 Pattern Recognition
1 RAIRO. Informatique Théorique et Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 International Transactions in Operational Research
1 Constraints
1 Mathematical Problems in Engineering
1 Soft Computing
1 Mathematical Methods of Operations Research
1 Journal of the ACM
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 Concurrency and Computation: Practice & Experience
1 Sādhanā
1 Quantum Information Processing
...and 9 more Journals

Citations by Year