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.htmlftp://ftp.math.utah.edu/pub/tex/bib/toc/nordic-j-computing.htmlhttps://dl.acm.org/loi/njoc Comments: No longer indexed Documents Indexed: 247 Publications (1994–2015) all top 5 Latest Issues 15, No. 2 (2015) 15, No. 1 (2013) 14, No. 4 (2008) 14, No. 3 (2008) 14, No. 1-2 (2007) 13, No. 4 (2006) 13, No. 3 (2006) 13, No. 1-2 (2006) 12, No. 4 (2005) 12, No. 3 (2005) 12, No. 2 (2005) 12, No. 1 (2005) 11, No. 4 (2004) 11, No. 2 (2004) 11, No. 1 (2004) 10, No. 4 (2003) 10, No. 3 (2003) 10, No. 2 (2003) 10, No. 1 (2003) 9, No. 4 (2002) 9, No. 3 (2002) 9, No. 2 (2002) 9, No. 1 (2002) 8, No. 4 (2001) 8, No. 3 (2001) 8, No. 2 (2001) 8, No. 1 (2001) 7, No. 4 (2000) 7, No. 3 (2000) 7, No. 1 (2000) 6, No. 4 (1999) 6, No. 3 (1999) 6, No. 2 (1999) 5, No. 4 (1998) 5, No. 3 (1998) 5, No. 2 (1998) 5, No. 1 (1998) 4, No. 4 (1997) 4, No. 3 (1997) 4, No. 2 (1997) 4, No. 1 (1997) 3, No. 4 (1996) 3, No. 2 (1996) 2, No. 4 (1995) 2, No. 3 (1995) 2, No. 2 (1995) 2, No. 1 (1995) 1, No. 4 (1994) 1, No. 3 (1994) 1, No. 2 (1994) 1, No. 1 (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 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 350 more Authors all top 5 Fields 245 Computer science (68-XX) 12 General and overarching topics; collections (00-XX) 10 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Category theory; homological algebra (18-XX) 1 Approximations and expansions (41-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 156 Publications have been cited 1,049 times in 997 Documents Cited by ▼ Year ▼ Probabilistic simulations for probabilistic processes. Zbl 0839.68067Segala, Roberto; Lynch, Nancy 126 1995 Linear-time certifying recognition algorithms and forbidden induced subgraphs. Zbl 1169.68653Heggernes, Pinar; Kratsch, Dieter 41 2007 A congruence theorem for structured operational semantics with predicates and negative premises. Zbl 0839.68060Verhoef, Chris 34 1995 A new algorithm for the maximum-weight clique problem. Zbl 1003.68117Östergård, Patric R. J. 29 2001 Reducing to independent set structure – the case of \(k\)-internal spanning tree. Zbl 1087.68075Prieto, Elena; Sloper, Christian 28 2005 Partitioning graphs into generalized dominating sets. Zbl 0905.68100Heggernes, Pinar; Telle, Jan Arne 28 1998 On the expressive power of polyadic synchronisation in \(\pi\)-calculus. Zbl 1062.68077Carbone, Marco; Maffeis, Sergio 26 2003 Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D. 24 2002 A bisimulation method for cryptographic protocols. Zbl 0913.68062Abadi, Martín; Gordon, Andrew D. 23 1998 On the complexity of the maximum cut problem. Zbl 0963.68224Bodlaender, Hans L.; Jansen, Klaus 23 2000 An efficient pattern-matching algorithm for strings with short descriptions. Zbl 0874.68087Karpinski, Marek; Rytter, Wojciech; Shinohara, Ayumi 22 1997 Succinct suffix arrays based on run-length encoding. Zbl 1085.68031Mäkinen, Veli; Navarro, Gonzalo 22 2005 Polynomially bounded minimization problems that are hard to approximate. Zbl 0817.68082Kann, Viggo 21 1994 Complexity of graph covering problems. Zbl 0911.68076Kratochvíl, Jan; Proskurowski, Andrzej; Telle, Jan Arne 18 1998 Range mode and range median queries on lists and trees. Zbl 1083.68028Krizanc, Danny; Morin, Pat; Smid, Michiel 18 2005 A \(d/2\) approximation for maximum weight independent set in \(d\)-claw free graphs. Zbl 0972.68127Berman, Piotr 16 2000 String regularities with don’t cares. Zbl 1061.68188Iliopoulos, Costas S.; Mohamed, Manal; Mouchard, Laurent; Smyth, W. F.; Perdikuri, Katerina G.; Tsakalidis, Athanasios K. 14 2003 Recognizing weakly triangulated graphs by edge separability. Zbl 0972.68126Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar 14 2000 Approximating a minimum Manhattan network. Zbl 0985.68092Gudmundsson, Joachim; Levcopoulos, Christos; Narasimhan, Giri 13 2001 Composition, decomposition and model checking of pushdown processes. Zbl 0839.68028Burkart, Olaf; Steffen, Bernhard 12 1995 Deriving bisimulation congruences using 2-categories. Zbl 1062.68082Sassone, Vladimiro; Sobociński, Paweł 12 2003 Improved approximations of independent sets in bounded-degree graphs via subgraph removal. Zbl 0817.68088Halldórsson, Magnús M.; Radhakrishnan, Jaikumar 11 1994 A lambda calculus of objects and method specialization. Zbl 0886.03010Fisher, Kathleen; Honsell, Furio; Mitchell, John C. 11 1994 Using sparsification for parametric minimum spanning tree problems. Zbl 0873.68169Fernández-Baca, David; Slutzki, Giora; Eppstein, David 11 1996 Independence-friendly modal logic and true concurrency. Zbl 1020.68061Bradfield, Julian C.; Fröschle, Sibylle B. 11 2002 Output-sensitive cell enumeration in hyperplane arrangements. Zbl 0978.68791Sleumer, Nora H. 11 1999 Linear time maximum induced matching algorithm for trees. Zbl 0957.68095Zito, Michele 11 2000 Improved upper bounds for time-space trade-offs for selection. Zbl 0946.68156Raman, Venkatesh; Ramnath, Sarnath 10 1999 A fast approximation algorithm for TSP with neighborhoods. Zbl 0938.68876Gudmundsson, Joachim; Levcopoulos, Christos 9 1999 Generalized domination in chordal graphs. Zbl 0849.68037Kratochvíl, Jan; Manuel, Paul D.; Miller, Mirka 9 1995 On finding minimum-diameter clique trees. Zbl 0819.68085Blair, Jean R. S.; Peyton, Barry W. 9 1994 Recursion schemes from comonads. Zbl 0994.68018Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto 9 2001 Approximation algorithms for clustering to minimize the sum of diameters. Zbl 0972.68128Doddi, Srinivas; Marathe, Madhav V.; Ravi, S. S.; Taylor, David Scot; Widmayer, Peter 9 2000 On the complexity of variations of equal sum subsets. Zbl 1187.68248Cieliebak, Mark; Eidenbenz, Stephan; Pagourtzis, Aris T.; Schlude, Konrad 9 2008 A logical view of concurrent constraint programming. Zbl 0839.68020Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G. 8 1995 Clock difference diagrams. Zbl 0937.68086Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang 8 1999 Mendler-style inductive types, categorically. Zbl 0937.68029Uustalu, Tarmo; Vene, Varmo 8 1999 Universes for generic programs and proofs in dependent type theory. Zbl 1094.68012Benke, Marcin; Dybjer, Peter; Jansson, Patrik 7 2003 A succinct solver for ALFP. Zbl 1088.68774Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut 7 2002 On decidability of the control reachability problem in the asynchronous \(\pi\)-calculus. Zbl 1021.68062Amadio, Roberto M.; Meysonnier, Charles 7 2002 Optimal roundings of sequences and matrices. Zbl 0973.68257Asano, Tetsuo; Matsui, Tomomi; Tokuyama, Takeshi 7 2000 Range-aggregate query problems involving geometric aggregation operations. Zbl 1123.68030Gupta, Prosenjit 7 2006 Guided synthesis of control programs using UPPAAL. Zbl 0978.68021Hune, Thomas; Larsen, Kim G.; Pettersson, Paul 7 2001 A self-stabilizing algorithm for maximal 2-packing. Zbl 1096.68013Gairing, Martin; Geist, Robert M.; Hedetniemi, Stephen T.; Kristiansen, Petter 6 2004 Structured formal development in Isabelle. Zbl 1114.68063Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph 6 2006 Axiomatizing binding bigraphs. Zbl 1119.68132Damgaard, Troels C.; Birkedal, Lars 6 2006 Uncountable limits and the lambda calculus. Zbl 0839.68059Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon 6 1995 Finding all weakly-visible chords of a polygon in linear time. Zbl 0817.68127Das, Gautam; Heffernan, Paul J.; Narasimhan, Giri 6 1994 Trade-offs in non-reversing diameter. Zbl 0939.68880Bodlaender, Hans L.; Tel, Gerard; Santoro, Nicola 6 1994 Recursive object types in a logic of object-oriented programs. Zbl 0913.68025Leino, K. Rustan M. 6 1998 Approximation algorithms for the shortest common supersequence. Zbl 0838.68046Fraser, Campbell B.; Irving, Robert W. 6 1995 Speed is more powerful than clairvoyance. Zbl 0946.68157Berman, Piotr; Coulston, Chris 6 1999 A type system for bounded space and functional in-place update. Zbl 0971.68023Hofmann, Martin 6 2000 Penetration depth of two convex polytopes in 3D. Zbl 0977.68088Agarwal, Pankaj K.; Guibas, Leonidas J.; Har-Peled, Sariel; Rabinovitch, Alexander; Sharir, Micha 6 2000 Code synthesis for timed automata. Zbl 1088.68625Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan 5 2002 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Games and logics for a noninterleaving bisimulation. Zbl 0839.68112Nielsen, Mogens; Clausen, Christian 5 1995 Lower bounds for dynamic transitive closure, planar point location, and parentheses matching. Zbl 0873.68096Husfeldt, Thore; Rauhe, Theis; Skyum, Søren 5 1996 Coloring 2-colorable hypergraphs with a sublinear number of colors. Zbl 0870.68112Alon, Noga; Kelsen, Pierre; Mahajan, Sanjeev; Ramesh, Hariharan 5 1996 Improved exploration of rectilinear polygons. Zbl 1037.68148Hammar, Mikael; Nilsson, Bengt J.; Schuierer, Sven 5 2002 Streaming maximum-minimum filter using no more than three comparisons per element. Zbl 1123.68138Lemire, Daniel 5 2006 Placing an obnoxious facility in geometric networks. Zbl 1094.90049Segal, Michael 4 2003 Binary queries for document trees. Zbl 1090.68537Berlea, Alexandru; Seidl, Helmut 4 2004 A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525Fersman, Elena; Yi, Wang 4 2004 Approximate string matching with ordered \(q\)-grams. Zbl 1102.68725Sutinen, Erkki; Tarhio, Jorma 4 2004 On the expressive power of the loop language. Zbl 1161.68378Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre 4 2006 Minimum spanning trees in \(d\) dimensions. Zbl 0942.68103Krznaric, Drago; Levcopoulos, Christos; Nilsson, Bengt J. 4 1999 String-matching with automata. Zbl 0878.68056Mohri, Mehryar 4 1997 Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems. Zbl 0918.68009Fecht, Christian; Seidl, Helmut 4 1998 An optimal parallel algorithm for all-pairs shortest paths on unweighted interval graphs. Zbl 0893.68079Pal, Madhumangal; Bhattacharjee, G. P. 4 1997 Succinct suffix arrays based on run-length encoding. Zbl 1161.68402Mäkinen, Veli; Navarro, Gonzalo 4 2005 Reliability assessment through probabilistic refinement. Zbl 0937.68087Troubitsyna, Elena A. 4 1999 Bidirectional construction of suffix trees. Zbl 1065.68044Inenaga, Shunsuke 4 2003 Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665Ouaknine, Joël; Worrell, James 4 2003 Programming languages capturing complexity classes. Zbl 1087.68035Kristiansen, Lars; Voda, Paul J. 3 2005 Generalized \(H\)-coloring and \(H\)-covering of trees. Zbl 1094.68609Fiala, Jiří; Heggernes, Pinar; Kristiansen, Petter; Telle, Jan Arne 3 2003 Cost-based analysis of probabilistic programs mechanised in HOL. Zbl 1088.68536Celiku, Orieta; McIver, Annabelle 3 2004 The complexity of approximating PSPACE-complete problems for hierarchical specifications. Zbl 0817.68092Marathe, Madhav V.; Hunt, Harry B. III; Ravi, S. S. 3 1994 Sparse networks supporting efficient reliable broadcasting. Zbl 0817.68019Chlebus, Bogdan S.; Diks, Krzysztof; Pelc, Andrzej 3 1994 The randomized complexity of maintaining the minimum. Zbl 0870.68086Brodal, Gerth Stølting; Chaudhuri, Shiva; Radhakrishnan, Jaikumar 3 1996 Service-constrained network design problems. Zbl 0876.68084Marathe, Madhav V.; Ravi, R.; Sundaram, Ravi 3 1996 New upper bounds on Voronoi diagrams of moving points. Zbl 0874.68297Roos, Thomas 3 1997 Time-message trade-offs for the weak unison problem. Zbl 0893.68004Israeli, Amos; Kranakis, Evangelos; Krizanc, Danny; Santoro, Nicola 3 1997 Approximate string matching with gaps. Zbl 1037.68047Crochemore, Maxime; Iliopoulos, Costas; Makris, Christos; Rytter, Wojciech; Tsakalidis, Athanasios; Tsichlas, Kostas 3 2002 Deterministic jumplists. Zbl 1083.68026Elmasry, Amr 3 2005 Shape analysis for mobile ambients. Zbl 0985.68039Nielson, Hanne Riis; Nielson, Flemming 3 2001 Online evaluation of regular tree queries. Zbl 1123.68323Berlea, Alexandru 3 2006 Refining UML interactions with underspecification and nondeterminism. Zbl 1087.68023Runde, Ragnhild Kobro; Haugen, Øysten; Stølen, Ketil 2 2005 Transposition invariant pattern matching for multi-track strings. Zbl 1094.68563Lemström, Kjell; Tarhio, Jorma 2 2003 Navigation piles with applications to sorting, priority queues, and priority deques. Zbl 1094.68552Katajainen, Jyrki; Vitale, Fabio 2 2003 Rewriting via coinserters. Zbl 1094.68043Ghani, Neil; Lüth, Christoph 2 2003 Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092Schneider, Gerardo 2 2004 Space-efficient construction variants of dynamic programming. Zbl 1102.68720Bodlaender, Hans L.; Telle, Jan Arne 2 2004 The fork calculus. Zbl 0817.68101Havelund, Klaus; Larsen, Kim Guldstrand 2 1994 Local model checking for context-free processes. Zbl 0817.68102Hungar, Hardi; Steffen, Bernhard 2 1994 Randomized approximations of the constraint satisfaction problem. Zbl 0870.68107Lau, Hoong Chuin; Watanabe, Osamu 2 1996 Type inference with simple selftypes is \(NP\)-complete. Zbl 1034.68528Palsberg, Jens; Jim, Trevor 2 1997 Parametric permutation routing via matchings. Zbl 0905.68098Høyer, Peter; Larsen, Kim S. 2 1998 On the Euclidean 3-matching problem. Zbl 0905.68066Johnsson, Mika; Magyar, Gábor; Nevalainen, Olli 2 1998 A new flexible algorithm for the longest common subsequence problem. Zbl 0841.68051Rick, Claus 2 1995 On the complexity of variations of equal sum subsets. Zbl 1187.68248Cieliebak, Mark; Eidenbenz, Stephan; Pagourtzis, Aris T.; Schlude, Konrad 9 2008 Formalising scheduling theories in duration calculus. Zbl 1187.68102Xu, Qiwen; Zhan, Naijun 1 2008 Approximation-based tree regular model-checking. Zbl 1187.68312Boichut, Y.; Héam, P.-C.; Kouchnarenko, O. 1 2008 Linear-time certifying recognition algorithms and forbidden induced subgraphs. Zbl 1169.68653Heggernes, Pinar; Kratsch, Dieter 41 2007 Using forward reachability analysis for verification of timed Petri nets. Zbl 1168.68434Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 1 2007 Block sorting: a characterization and some heuristics. Zbl 1169.68384Mahajan, Meena; Rama, Raghavan; Vijayakumar, S. 1 2007 Range-aggregate query problems involving geometric aggregation operations. Zbl 1123.68030Gupta, Prosenjit 7 2006 Structured formal development in Isabelle. Zbl 1114.68063Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph 6 2006 Axiomatizing binding bigraphs. Zbl 1119.68132Damgaard, Troels C.; Birkedal, Lars 6 2006 Streaming maximum-minimum filter using no more than three comparisons per element. Zbl 1123.68138Lemire, Daniel 5 2006 On the expressive power of the loop language. Zbl 1161.68378Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre 4 2006 Online evaluation of regular tree queries. Zbl 1123.68323Berlea, Alexandru 3 2006 Optimizing slicing of formal specifications by deductive verification. Zbl 1114.68051Brückner, Ingo; Metzler, Björn; Wehrheim, Heike 1 2006 Higher-order beta matching with solutions in long beta-eta normal form. Zbl 1122.03009Støvring, Kristian 1 2006 PRO: a model for the design and analysis of efficient and scalable parallel algorithms. Zbl 1123.68140Gebremedhin, 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.68075Prieto, Elena; Sloper, Christian 28 2005 Succinct suffix arrays based on run-length encoding. Zbl 1085.68031Mäkinen, Veli; Navarro, Gonzalo 22 2005 Range mode and range median queries on lists and trees. Zbl 1083.68028Krizanc, Danny; Morin, Pat; Smid, Michiel 18 2005 Succinct suffix arrays based on run-length encoding. Zbl 1161.68402Mäkinen, Veli; Navarro, Gonzalo 4 2005 Programming languages capturing complexity classes. Zbl 1087.68035Kristiansen, Lars; Voda, Paul J. 3 2005 Deterministic jumplists. Zbl 1083.68026Elmasry, Amr 3 2005 Refining UML interactions with underspecification and nondeterminism. Zbl 1087.68023Runde, Ragnhild Kobro; Haugen, Øysten; Stølen, Ketil 2 2005 Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN. Zbl 1087.68033Al-Azzoni, Issam; Down, Douglas G. 1 2005 FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets. Zbl 1087.68012Billington, Jonathan; Gallasch, Guy Edward; Petrucci, Laure 1 2005 Memory arbiter synthesis and verification for a radar memory interface card. Zbl 1087.68520Ernits, Juhan 1 2005 A compositional trace logic for behavioural interface specifications. Zbl 1087.68056Kyas, Michael; de Boer, Frank S.; de Roever, Willem-Paul 1 2005 Transfinite corecursion. Zbl 1087.68018Nestra, Härmel 1 2005 A note on \(K\)-state self-stabilization in a ring with \(K=N\). Zbl 1083.68003Fokkink, Wan; Hoepman, Jaap-Henk; Pang, Jun 1 2005 A self-stabilizing algorithm for maximal 2-packing. Zbl 1096.68013Gairing, Martin; Geist, Robert M.; Hedetniemi, Stephen T.; Kristiansen, Petter 6 2004 Binary queries for document trees. Zbl 1090.68537Berlea, Alexandru; Seidl, Helmut 4 2004 A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525Fersman, Elena; Yi, Wang 4 2004 Approximate string matching with ordered \(q\)-grams. Zbl 1102.68725Sutinen, Erkki; Tarhio, Jorma 4 2004 Cost-based analysis of probabilistic programs mechanised in HOL. Zbl 1088.68536Celiku, Orieta; McIver, Annabelle 3 2004 Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092Schneider, Gerardo 2 2004 Space-efficient construction variants of dynamic programming. Zbl 1102.68720Bodlaender, Hans L.; Telle, Jan Arne 2 2004 Approximate regular expression searching with arbitrary integer weights. Zbl 1102.68732Navarro, Gonzalo 1 2004 On the expressive power of polyadic synchronisation in \(\pi\)-calculus. Zbl 1062.68077Carbone, Marco; Maffeis, Sergio 26 2003 String regularities with don’t cares. Zbl 1061.68188Iliopoulos, Costas S.; Mohamed, Manal; Mouchard, Laurent; Smyth, W. F.; Perdikuri, Katerina G.; Tsakalidis, Athanasios K. 14 2003 Deriving bisimulation congruences using 2-categories. Zbl 1062.68082Sassone, Vladimiro; Sobociński, Paweł 12 2003 Universes for generic programs and proofs in dependent type theory. Zbl 1094.68012Benke, Marcin; Dybjer, Peter; Jansson, Patrik 7 2003 Placing an obnoxious facility in geometric networks. Zbl 1094.90049Segal, Michael 4 2003 Bidirectional construction of suffix trees. Zbl 1065.68044Inenaga, Shunsuke 4 2003 Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665Ouaknine, Joël; Worrell, James 4 2003 Generalized \(H\)-coloring and \(H\)-covering of trees. Zbl 1094.68609Fiala, Jiří; Heggernes, Pinar; Kristiansen, Petter; Telle, Jan Arne 3 2003 Transposition invariant pattern matching for multi-track strings. Zbl 1094.68563Lemström, Kjell; Tarhio, Jorma 2 2003 Navigation piles with applications to sorting, priority queues, and priority deques. Zbl 1094.68552Katajainen, Jyrki; Vitale, Fabio 2 2003 Rewriting via coinserters. Zbl 1094.68043Ghani, Neil; Lüth, Christoph 2 2003 A note on randomized algorithm for string matching with mismatches. Zbl 1065.68113Baba, Kensuke; Shinohara, Ayumi; Takeda, Masayuki; Inenaga, Shunsuke; Arikawa, Setsuo 2 2003 Interaction nets with McCarthy’s amb: Properties and applications. Zbl 1062.68067Fernández, Maribel; Khalil, Lionel 2 2003 A work-optimal parallel implementation of lossless image compression by block matching. Zbl 1065.68112Cinque, Luigi; Liberati, Franco; de Agostino, Sergio 1 2003 A note on Crochemore’s repetitions algorithm – a fast space-efficient approach. Zbl 1065.68111Franek, Frantisek; Smyth, W. F.; Xiao, Xiangdong 1 2003 A bit-vector algorithm for computing Levenshtein and Damerau edit distances. Zbl 1065.68057Hyyrö, Heikki 1 2003 Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D. 24 2002 Independence-friendly modal logic and true concurrency. Zbl 1020.68061Bradfield, Julian C.; Fröschle, Sibylle B. 11 2002 A succinct solver for ALFP. Zbl 1088.68774Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut 7 2002 On decidability of the control reachability problem in the asynchronous \(\pi\)-calculus. Zbl 1021.68062Amadio, Roberto M.; Meysonnier, Charles 7 2002 Code synthesis for timed automata. Zbl 1088.68625Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan 5 2002 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Improved exploration of rectilinear polygons. Zbl 1037.68148Hammar, Mikael; Nilsson, Bengt J.; Schuierer, Sven 5 2002 Approximate string matching with gaps. Zbl 1037.68047Crochemore, Maxime; Iliopoulos, Costas; Makris, Christos; Rytter, Wojciech; Tsakalidis, Athanasios; Tsichlas, Kostas 3 2002 Algebraic specifications: some old history and new thoughts. Zbl 1088.68648Wagner, Eric G. 1 2002 Approximation algorithms for the bottleneck stretch factor problem. Zbl 1037.68149Narasimhan, Giri; Smid, Michiel 1 2002 An automata-theoretic approach to the reachability analysis of RPPS systems. Zbl 1021.68064Labroue, Anne; Schnoebelen, Philippe 1 2002 Safe dynamic multiple inheritance. Zbl 1022.68022Ernst, Erik 1 2002 A new algorithm for the maximum-weight clique problem. Zbl 1003.68117Östergård, Patric R. J. 29 2001 Approximating a minimum Manhattan network. Zbl 0985.68092Gudmundsson, Joachim; Levcopoulos, Christos; Narasimhan, Giri 13 2001 Recursion schemes from comonads. Zbl 0994.68018Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto 9 2001 Guided synthesis of control programs using UPPAAL. Zbl 0978.68021Hune, Thomas; Larsen, Kim G.; Pettersson, Paul 7 2001 Shape analysis for mobile ambients. Zbl 0985.68039Nielson, Hanne Riis; Nielson, Flemming 3 2001 The competitive ratio for on-line dual bin packing with restricted input sequences. Zbl 1003.68200Boyar, Joan; Favrholdt, Lene M.; Larsen, Kim S.; Nielsen, Morten N. 2 2001 Enumerating extreme points in higher dimensions. Zbl 0985.68090Ottmann, Thomas; Schuierer, Sven; Soundaralakshmi, Subbiah 2 2001 A randomized subexponential algorithm for parity games. Zbl 0994.68085Petersson, Viktor; Vorobyov, Sergei 2 2001 Modular development of interpreters from semantic building blocks. Zbl 0997.68020Labra G., J. E.; Cueva, J. M.; Luengo, M. C.; Cernuda, A. 2 2001 Simple general recursion in type theory. Zbl 0978.68041Bove, Ana 2 2001 Linear hybrid action systems. Zbl 0978.68106Rönkkö, Mauno; Li, Xuandong 2 2001 Time-series similarity problems and well-separated geometric sets. Zbl 1005.68059Bollobás, Béla; Das, Gautam; Gunopulos, Dimitrios; Mannila, Heikki 1 2001 Structuring and verifying distributed algorithms. Zbl 0985.68091Sere, Kaisa; Waldén, Marina 1 2001 A real-time process algebra with open intervals and maximal progress. Zbl 0995.68065Fecher, Harald 1 2001 Continuous action systems as a model for hybrid systems. Zbl 0978.68017Back, Ralph-Johan; Petre, Luigia; Porres, Ivan 1 2001 Parametric real-time model checking using splitting trees. Zbl 0978.68098Spelberg, R. F. Lutje; Toetenel, W. J. 1 2001 On the complexity of the maximum cut problem. Zbl 0963.68224Bodlaender, Hans L.; Jansen, Klaus 23 2000 A \(d/2\) approximation for maximum weight independent set in \(d\)-claw free graphs. Zbl 0972.68127Berman, Piotr 16 2000 Recognizing weakly triangulated graphs by edge separability. Zbl 0972.68126Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar 14 2000 Linear time maximum induced matching algorithm for trees. Zbl 0957.68095Zito, Michele 11 2000 Approximation algorithms for clustering to minimize the sum of diameters. Zbl 0972.68128Doddi, Srinivas; Marathe, Madhav V.; Ravi, S. S.; Taylor, David Scot; Widmayer, Peter 9 2000 Optimal roundings of sequences and matrices. Zbl 0973.68257Asano, Tetsuo; Matsui, Tomomi; Tokuyama, Takeshi 7 2000 A type system for bounded space and functional in-place update. Zbl 0971.68023Hofmann, Martin 6 2000 Penetration depth of two convex polytopes in 3D. Zbl 0977.68088Agarwal, Pankaj K.; Guibas, Leonidas J.; Har-Peled, Sariel; Rabinovitch, Alexander; Sharir, Micha 6 2000 An incremental unique representation for regular trees. Zbl 0971.68122Mauborgne, Laurent 2 2000 A versatile constraint-based type inference system. Zbl 0970.68017Pottier, François 2 2000 First-class structures for standard ML. Zbl 0970.68025Russo, Claudio V. 2 2000 Constraint-based inter-procedural analysis of parallel programs. Zbl 0970.68034Seidl, Helmut; Steffen, Bernhard 2 2000 Scheduling jobs before shut-down. Zbl 0972.68186Liberatore, Vincenzo 2 2000 Pattern-matching problems for two-dimensional images described by finite automata. Zbl 0958.68146Karhumäki, Juhani; Plandowski, Wojciech; Rytter, Wojciech 1 2000 Output-sensitive cell enumeration in hyperplane arrangements. Zbl 0978.68791Sleumer, Nora H. 11 1999 Improved upper bounds for time-space trade-offs for selection. Zbl 0946.68156Raman, Venkatesh; Ramnath, Sarnath 10 1999 A fast approximation algorithm for TSP with neighborhoods. Zbl 0938.68876Gudmundsson, Joachim; Levcopoulos, Christos 9 1999 Clock difference diagrams. Zbl 0937.68086Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang 8 1999 Mendler-style inductive types, categorically. Zbl 0937.68029Uustalu, Tarmo; Vene, Varmo 8 1999 Speed is more powerful than clairvoyance. Zbl 0946.68157Berman, Piotr; Coulston, Chris 6 1999 ...and 56 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,751 Authors 19 Navarro, Gonzalo 12 Larsen, Kim Guldstrand 12 Olarte, Carlos 12 Valencia, Frank D. 11 Katoen, Joost-Pieter 11 Palamidessi, Catuscia 10 Brandstädt, Andreas 9 Fiala, Jiří 9 Inenaga, Shunsuke 9 Kratochvíl, Jan 8 Gagie, Travis 8 Reniers, Michel Adriaan 8 Rueda, Camilo 8 Takeda, Masayuki 7 Bonchi, Filippo 7 Deng, Yuxin 7 Durocher, Stephane 7 Gorla, Daniele 7 Hermanns, Holger 7 Legay, Axel 7 Nielson, Flemming 7 Otachi, Yota 7 Raman, Venkatesh 7 Smyth, William F. 7 Zehavi, Meirav 6 Bannai, Hideo 6 Bruni, Roberto 6 Cao, Yixin 6 Chan, Timothy Moon-Yew 6 Henning, Michael Anthony 6 Hüttel, Hans 6 Kwiatkowska, Marta Z. 6 Li, Duan 6 Munro, J. Ian 6 Norman, Gethin 6 Paulusma, Daniël 6 Pimentel, Elaine 6 Puglisi, Simon J. 6 Riis Nielson, Hanne 6 Rytter, Wojciech 6 Saitoh, Toshiki 6 Saurabh, Saket 6 Silva, Alexandra 6 Sokolova, Ana 6 Spoerhase, Joachim 6 Tini, Simone 5 Abate, Alessandro 5 Bille, Philip 5 Crafa, Silvia 5 Fahrenberg, Uli 5 Fomin, Fedor V. 5 Gebler, Daniel E. 5 Gutin, Gregory Z. 5 Guzmán, Michell 5 He, Meng 5 Miculan, Marino 5 Milanič, Martin 5 Nicosia, Gaia 5 Paschos, Vangelis Th. 5 Rawitz, Dror 5 Sobociński, Paweł 5 Sproston, Jeremy 5 Telle, Jan Arne 5 Thielen, Clemens 5 Zhang, Lijun 4 Abadi, Martín 4 Baeten, Jos C. M. 4 Baldan, Paolo 4 Belmonte, Rémy 4 Berry, Anne 4 Delahaye, Benoît 4 Ekim, Tınaz 4 Epstein, Leah 4 Falaschi, Moreno 4 Fokkink, Willem Jan 4 Golumbic, Martin Charles 4 Gorrieri, Roberto 4 Gørtz, Inge Li 4 Halldórsson, Magnús Mar 4 Heggernes, Pinar 4 Hennessy, Matthew C. B. 4 Jonsson, Bengt 4 Kärkkäinen, Juha 4 Lavaei, Abolfazl 4 Lipshteyn, Marina 4 Lokshtanov, Daniel 4 Lüttgen, Gerald 4 Niehren, Joachim 4 Pal, Madhumangal 4 Pelc, Andrzej 4 Ponse, Alban 4 Pous, Damien 4 Ranzato, Francesco 4 Ruzika, Stefan 4 Segala, Roberto 4 Shinohara, Ayumi 4 Skala, Matthew 4 Soudjani, Sadegh 4 Souza, Uéverton S. 4 Subramani, Krishnan ...and 1,651 more Authors all top 5 Cited in 120 Journals 181 Theoretical Computer Science 59 Information and Computation 56 Discrete Applied Mathematics 42 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 Discrete Mathematics 17 Formal Aspects of Computing 15 Journal of Combinatorial Optimization 14 Theory of Computing Systems 13 Computational Geometry 12 Journal of Logical and Algebraic Methods in Programming 11 Acta Informatica 9 European Journal of Operational Research 8 Science of Computer Programming 8 Journal of Automated Reasoning 8 Formal Methods in System Design 7 Discrete Optimization 7 Logical Methods in Computer Science 6 Discrete & Computational Geometry 6 Annals of Operations Research 5 Networks 5 SIAM Journal on Computing 5 Computers & Operations Research 5 SIAM Journal on Discrete Mathematics 5 Real-Time Systems 5 Journal of Global Optimization 5 Higher-Order and Symbolic Computation 5 Algorithms 5 Computer Science Review 4 European Journal of Combinatorics 4 Distributed Computing 4 Journal of Functional Programming 4 Discussiones Mathematicae. Graph Theory 4 RAIRO. Theoretical Informatics and Applications 4 Optimization Letters 3 Automatica 3 Graphs and Combinatorics 3 MSCS. Mathematical Structures in Computer Science 3 International Journal of Foundations of Computer Science 3 ACM Journal of Experimental Algorithmics 2 Artificial Intelligence 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 Mathematics in Computer Science 2 Nonlinear Analysis. Hybrid Systems 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 Operations Research 1 Pacific Journal of Mathematics 1 Quaestiones Mathematicae 1 SIAM Journal on Control and Optimization 1 Synthese 1 OR Spektrum 1 Combinatorica 1 Optimization 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 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 Computational Optimization and Applications 1 Journal of Logic, Language and Information 1 Annals of Mathematics and Artificial Intelligence 1 International Transactions in Operational Research 1 Constraints 1 Mathematical Problems in Engineering 1 Journal of Automata, Languages and Combinatorics 1 Soft Computing ...and 20 more Journals all top 5 Cited in 26 Fields 828 Computer science (68-XX) 214 Combinatorics (05-XX) 134 Operations research, mathematical programming (90-XX) 92 Mathematical logic and foundations (03-XX) 23 Information and communication theory, circuits (94-XX) 18 Biology and other natural sciences (92-XX) 15 Category theory; homological algebra (18-XX) 14 Probability theory and stochastic processes (60-XX) 13 Numerical analysis (65-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Systems theory; control (93-XX) 5 Convex and discrete geometry (52-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 History and biography (01-XX) 3 General algebraic systems (08-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) Citations by Year