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 Documents Indexed: 247 Publications (since 1994) 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 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 351 more Authors all top 5 Fields 245 Computer science (68-XX) 12 General and overarching topics; collections (00-XX) 9 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 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 155 Publications have been cited 964 times in 934 Documents Cited by ▼ Year ▼ Probabilistic simulations for probabilistic processes. Zbl 0839.68067Segala, Roberto; Lynch, Nancy 119 1995 Linear-time certifying recognition algorithms and forbidden induced subgraphs. Zbl 1169.68653Heggernes, Pinar; Kratsch, Dieter 34 2007 A congruence theorem for structured operational semantics with predicates and negative premises. Zbl 0839.68060Verhoef, Chris 32 1995 A new algorithm for the maximum-weight clique problem. Zbl 1003.68117Östergård, Patric R. J. 29 2001 On the expressive power of polyadic synchronisation in \(\pi\)-calculus. Zbl 1062.68077Carbone, Marco; Maffeis, Sergio 26 2003 Reducing to independent set structure – the case of \(k\)-internal spanning tree. Zbl 1087.68075Prieto, Elena; Sloper, Christian 26 2005 Partitioning graphs into generalized dominating sets. Zbl 0905.68100Heggernes, Pinar; Telle, Jan Arne 23 1998 A bisimulation method for cryptographic protocols. Zbl 0913.68062Abadi, Martín; Gordon, Andrew D. 23 1998 An efficient pattern-matching algorithm for strings with short descriptions. Zbl 0874.68087Karpinski, Marek; Rytter, Wojciech; Shinohara, Ayumi 22 1997 Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D. 22 2002 On the complexity of the maximum cut problem. Zbl 0963.68224Bodlaender, Hans L.; Jansen, Klaus 20 2000 Polynomially bounded minimization problems that are hard to approximate. Zbl 0817.68082Kann, Viggo 18 1994 Succinct suffix arrays based on run-length encoding. Zbl 1085.68031Mäkinen, Veli; Navarro, Gonzalo 18 2005 Range mode and range median queries on lists and trees. Zbl 1083.68028Krizanc, Danny; Morin, Pat; Smid, Michiel 17 2005 Complexity of graph covering problems. Zbl 0911.68076Kratochvíl, Jan; Proskurowski, Andrzej; Telle, Jan Arne 17 1998 Recognizing weakly triangulated graphs by edge separability. Zbl 0972.68126Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar 14 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. 13 2003 A \(d/2\) approximation for maximum weight independent set in \(d\)-claw free graphs. Zbl 0972.68127Berman, Piotr 13 2000 Deriving bisimulation congruences using 2-categories. Zbl 1062.68082Sassone, Vladimiro; Sobociński, Paweł 12 2003 Composition, decomposition and model checking of pushdown processes. Zbl 0839.68028Burkart, Olaf; Steffen, Bernhard 12 1995 Approximating a minimum Manhattan network. Zbl 0985.68092Gudmundsson, Joachim; Levcopoulos, Christos; Narasimhan, Giri 12 2001 Improved approximations of independent sets in bounded-degree graphs via subgraph removal. Zbl 0817.68088Halldórsson, Magnús M.; Radhakrishnan, Jaikumar 10 1994 Improved upper bounds for time-space trade-offs for selection. Zbl 0946.68156Raman, Venkatesh; Ramnath, Sarnath 10 1999 A lambda calculus of objects and method specialization. Zbl 0886.03010Fisher, Kathleen; Honsell, Furio; Mitchell, John C. 10 1994 Generalized domination in chordal graphs. Zbl 0849.68037Kratochvíl, Jan; Manuel, Paul D.; Miller, Mirka 9 1995 Output-sensitive cell enumeration in hyperplane arrangements. Zbl 0978.68791Sleumer, Nora H. 9 1999 Using sparsification for parametric minimum spanning tree problems. Zbl 0873.68169Fernández-Baca, David; Slutzki, Giora; Eppstein, David 9 1996 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 Independence-friendly modal logic and true concurrency. Zbl 1020.68061Bradfield, Julian C.; Fröschle, Sibylle B. 9 2002 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 A fast approximation algorithm for TSP with neighborhoods. Zbl 0938.68876Gudmundsson, Joachim; Levcopoulos, Christos 8 1999 Linear time maximum induced matching algorithm for trees. Zbl 0957.68095Zito, Michele 8 2000 On finding minimum-diameter clique trees. Zbl 0819.68085Blair, Jean R. S.; Peyton, Barry W. 8 1994 Recursion schemes from comonads. Zbl 0994.68018Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto 8 2001 A logical view of concurrent constraint programming. Zbl 0839.68020Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G. 7 1995 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 Guided synthesis of control programs using UPPAAL. Zbl 0978.68021Hune, Thomas; Larsen, Kim G.; Pettersson, Paul 7 2001 Optimal roundings of sequences and matrices. Zbl 0973.68257Asano, Tetsuo; Matsui, Tomomi; Tokuyama, Takeshi 7 2000 On decidability of the control reachability problem in the asynchronous \(\pi\)-calculus. Zbl 1021.68062Amadio, Roberto M.; Meysonnier, Charles 7 2002 Uncountable limits and the lambda calculus. Zbl 0839.68059Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon 6 1995 A self-stabilizing algorithm for maximal 2-packing. Zbl 1096.68013Gairing, Martin; Geist, Robert M.; Hedetniemi, Stephen T.; Kristiansen, Petter 6 2004 Speed is more powerful than clairvoyance. Zbl 0946.68157Berman, Piotr; Coulston, Chris 6 1999 Trade-offs in non-reversing diameter. Zbl 0939.68880Bodlaender, Hans L.; Tel, Gerard; Santoro, Nicola 6 1994 On the complexity of variations of equal sum subsets. Zbl 1187.68248Cieliebak, Mark; Eidenbenz, Stephan; Pagourtzis, Aris T.; Schlude, Konrad 6 2008 Structured formal development in Isabelle. Zbl 1114.68063Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph 6 2006 Recursive object types in a logic of object-oriented programs. Zbl 0913.68025Leino, K. Rustan M. 6 1998 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 Approximation algorithms for the shortest common supersequence. Zbl 0838.68046Fraser, Campbell B.; Irving, Robert W. 5 1995 Finding all weakly-visible chords of a polygon in linear time. Zbl 0817.68127Das, Gautam; Heffernan, Paul J.; Narasimhan, Giri 5 1994 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Lower bounds for dynamic transitive closure, planar point location, and parentheses matching. Zbl 0873.68096Husfeldt, Thore; Rauhe, Theis; Skyum, Søren 5 1996 Axiomatizing binding bigraphs. Zbl 1119.68132Damgaard, Troels C.; Birkedal, Lars 5 2006 Range-aggregate query problems involving geometric aggregation operations. Zbl 1123.68030Gupta, Prosenjit 5 2006 Streaming maximum-minimum filter using no more than three comparisons per element. Zbl 1123.68138Lemire, Daniel 5 2006 Bidirectional construction of suffix trees. Zbl 1065.68044Inenaga, Shunsuke 4 2003 Games and logics for a noninterleaving bisimulation. Zbl 0839.68112Nielsen, Mogens; Clausen, Christian 4 1995 Binary queries for document trees. Zbl 1090.68537Berlea, Alexandru; Seidl, Helmut 4 2004 Code synthesis for timed automata. Zbl 1088.68625Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan 4 2002 Succinct suffix arrays based on run-length encoding. Zbl 1161.68402Mäkinen, Veli; Navarro, Gonzalo 4 2005 Coloring 2-colorable hypergraphs with a sublinear number of colors. Zbl 0870.68112Alon, Noga; Kelsen, Pierre; Mahajan, Sanjeev; Ramesh, Hariharan 4 1996 String-matching with automata. Zbl 0878.68056Mohri, Mehryar 4 1997 On the expressive power of the loop language. Zbl 1161.68378Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre 4 2006 An optimal parallel algorithm for all-pairs shortest paths on unweighted interval graphs. Zbl 0893.68079Pal, Madhumangal; Bhattacharjee, G. P. 4 1997 Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems. Zbl 0918.68009Fecht, Christian; Seidl, Helmut 4 1998 A generic approach to schedulability analysis of real-time tasks. Zbl 1088.68525Fersman, Elena; Yi, Wang 4 2004 A type system for bounded space and functional in-place update. Zbl 0971.68023Hofmann, Martin 4 2000 Improved exploration of rectilinear polygons. Zbl 1037.68148Hammar, Mikael; Nilsson, Bengt J.; Schuierer, Sven 4 2002 Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665Ouaknine, Joël; Worrell, James 3 2003 Placing an obnoxious facility in geometric networks. Zbl 1094.90049Segal, Michael 3 2003 Minimum spanning trees in \(d\) dimensions. Zbl 0942.68103Krznaric, Drago; Levcopoulos, Christos; Nilsson, Bengt J. 3 1999 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 Deterministic jumplists. Zbl 1083.68026Elmasry, Amr 3 2005 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 Shape analysis for mobile ambients. Zbl 0985.68039Nielson, Hanne Riis; Nielson, Flemming 3 2001 Programming languages capturing complexity classes. Zbl 1087.68035Kristiansen, Lars; Voda, Paul J. 3 2005 Online evaluation of regular tree queries. Zbl 1123.68323Berlea, Alexandru 3 2006 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 ordered \(q\)-grams. Zbl 1102.68725Sutinen, Erkki; Tarhio, Jorma 3 2004 Approximate string matching with gaps. Zbl 1037.68047Crochemore, Maxime; Iliopoulos, Costas; Makris, Christos; Rytter, Wojciech; Tsakalidis, Athanasios; Tsichlas, Kostas 3 2002 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 Transposition invariant pattern matching for multi-track strings. Zbl 1094.68563Lemström, Kjell; Tarhio, Jorma 2 2003 Generalized \(H\)-coloring and \(H\)-covering of trees. Zbl 1094.68609Fiala, Jiří; Heggernes, Pinar; Kristiansen, Petter; Telle, Jan Arne 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 Reliability assessment through probabilistic refinement. Zbl 0937.68087Troubitsyna, Elena A. 2 1999 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 A new flexible algorithm for the longest common subsequence problem. Zbl 0841.68051Rick, Claus 2 1995 A family of bipartite cardinality matching problems solvable in \(O(n^ 2)\) time. Zbl 0841.68103Clausen, Jens; Krarup, Jakob 2 1995 Operational semantics of termination types. Zbl 0856.68095Nielson, Flemming; Nielson, Hanne Riis 2 1996 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 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 On the complexity of variations of equal sum subsets. Zbl 1187.68248Cieliebak, Mark; Eidenbenz, Stephan; Pagourtzis, Aris T.; Schlude, Konrad 6 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 34 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 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 5 2006 Range-aggregate query problems involving geometric aggregation operations. Zbl 1123.68030Gupta, Prosenjit 5 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 26 2005 Succinct suffix arrays based on run-length encoding. Zbl 1085.68031Mäkinen, Veli; Navarro, Gonzalo 18 2005 Range mode and range median queries on lists and trees. Zbl 1083.68028Krizanc, Danny; Morin, Pat; Smid, Michiel 17 2005 Succinct suffix arrays based on run-length encoding. Zbl 1161.68402Mäkinen, Veli; Navarro, Gonzalo 4 2005 Deterministic jumplists. Zbl 1083.68026Elmasry, Amr 3 2005 Programming languages capturing complexity classes. Zbl 1087.68035Kristiansen, Lars; Voda, Paul J. 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 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 3 2004 Cost-based analysis of probabilistic programs mechanised in HOL. Zbl 1088.68536Celiku, Orieta; McIver, Annabelle 2 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. 13 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 Bidirectional construction of suffix trees. Zbl 1065.68044Inenaga, Shunsuke 4 2003 Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665Ouaknine, Joël; Worrell, James 3 2003 Placing an obnoxious facility in geometric networks. Zbl 1094.90049Segal, Michael 3 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 Transposition invariant pattern matching for multi-track strings. Zbl 1094.68563Lemström, Kjell; Tarhio, Jorma 2 2003 Generalized \(H\)-coloring and \(H\)-covering of trees. Zbl 1094.68609Fiala, Jiří; Heggernes, Pinar; Kristiansen, Petter; Telle, Jan Arne 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 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. 22 2002 Independence-friendly modal logic and true concurrency. Zbl 1020.68061Bradfield, Julian C.; Fröschle, Sibylle B. 9 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 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Code synthesis for timed automata. Zbl 1088.68625Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan 4 2002 Improved exploration of rectilinear polygons. Zbl 1037.68148Hammar, Mikael; Nilsson, Bengt J.; Schuierer, Sven 4 2002 Approximate string matching with gaps. Zbl 1037.68047Crochemore, Maxime; Iliopoulos, Costas; Makris, Christos; Rytter, Wojciech; Tsakalidis, Athanasios; Tsichlas, Kostas 3 2002 Safe dynamic multiple inheritance. Zbl 1022.68022Ernst, Erik 1 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 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 12 2001 Recursion schemes from comonads. Zbl 0994.68018Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto 8 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 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 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 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 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 Modular development of interpreters from semantic building blocks. Zbl 0997.68020Labra G., J. E.; Cueva, J. M.; Luengo, M. C.; Cernuda, A. 1 2001 Time-series similarity problems and well-separated geometric sets. Zbl 1005.68059Bollobá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.68200Boyar, Joan; Favrholdt, Lene M.; Larsen, Kim S.; Nielsen, Morten N. 1 2001 On the complexity of the maximum cut problem. Zbl 0963.68224Bodlaender, Hans L.; Jansen, Klaus 20 2000 Recognizing weakly triangulated graphs by edge separability. Zbl 0972.68126Berry, Anne; Bordat, Jean-Paul; Heggernes, Pinar 14 2000 A \(d/2\) approximation for maximum weight independent set in \(d\)-claw free graphs. Zbl 0972.68127Berman, Piotr 13 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 Linear time maximum induced matching algorithm for trees. Zbl 0957.68095Zito, Michele 8 2000 Optimal roundings of sequences and matrices. Zbl 0973.68257Asano, Tetsuo; Matsui, Tomomi; Tokuyama, Takeshi 7 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 A type system for bounded space and functional in-place update. Zbl 0971.68023Hofmann, Martin 4 2000 Scheduling jobs before shut-down. Zbl 0972.68186Liberatore, Vincenzo 2 2000 An incremental unique representation for regular trees. Zbl 0971.68122Mauborgne, Laurent 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 Pattern-matching problems for two-dimensional images described by finite automata. Zbl 0958.68146Karhumäki, Juhani; Plandowski, Wojciech; Rytter, Wojciech 1 2000 A versatile constraint-based type inference system. Zbl 0970.68017Pottier, François 1 2000 Improved upper bounds for time-space trade-offs for selection. Zbl 0946.68156Raman, Venkatesh; Ramnath, Sarnath 10 1999 Output-sensitive cell enumeration in hyperplane arrangements. Zbl 0978.68791Sleumer, Nora H. 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 A fast approximation algorithm for TSP with neighborhoods. Zbl 0938.68876Gudmundsson, Joachim; Levcopoulos, Christos 8 1999 Speed is more powerful than clairvoyance. Zbl 0946.68157Berman, Piotr; Coulston, Chris 6 1999 Minimum spanning trees in \(d\) dimensions. Zbl 0942.68103Krznaric, Drago; Levcopoulos, Christos; Nilsson, Bengt J. 3 1999 ...and 55 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,648 Authors 16 Navarro, Gonzalo 12 Larsen, Kim Guldstrand 12 Olarte, Carlos 11 Katoen, Joost-Pieter 11 Palamidessi, Catuscia 11 Valencia, Frank D. 10 Brandstädt, Andreas 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 Paulusma, Daniël 6 Pimentel, Elaine 6 Puglisi, Simon J. 6 Riis Nielson, Hanne 6 Saitoh, Toshiki 6 Saurabh, Saket 6 Silva, Alexandra 6 Spoerhase, Joachim 6 Tini, Simone 5 Bannai, Hideo 5 Bille, Philip 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 Milanič, Martin 5 Nicosia, Gaia 5 Paschos, Vangelis Th. 5 Rytter, Wojciech 5 Sobociński, Paweł 5 Sokolova, Ana 5 Sproston, Jeremy 5 Zhang, Lijun 4 Abate, Alessandro 4 Belmonte, Rémy 4 Berry, Anne 4 Delahaye, Benoît 4 Ekim, Tınaz 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 He, Meng 4 Heggernes, Pinar 4 Hennessy, Matthew C. B. 4 Jonsson, Bengt 4 Lipshteyn, Marina 4 Lokshtanov, Daniel 4 Lüttgen, Gerald 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 Arroyuelo, Diego 3 Bacci, Giorgio 3 Baeten, Jos C. M. ...and 1,548 more Authors all top 5 Cited in 114 Journals 172 Theoretical Computer Science 58 Information and Computation 54 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 Formal Aspects of Computing 15 Discrete Mathematics 14 Theory of Computing Systems 13 Computational Geometry 12 Journal of Combinatorial Optimization 12 Journal of Logical and Algebraic Methods in Programming 11 Acta Informatica 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 SIAM Journal on Computing 5 Discrete & Computational Geometry 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 Graphs and Combinatorics 3 International Journal of Foundations of Computer Science 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 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 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 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 1 Mathematical Methods of Operations Research 1 Journal of the ACM 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Journal of Discrete Mathematical Sciences & Cryptography ...and 14 more Journals all top 5 Cited in 24 Fields 778 Computer science (68-XX) 199 Combinatorics (05-XX) 124 Operations research, mathematical programming (90-XX) 85 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) 13 Probability theory and stochastic processes (60-XX) 13 Numerical analysis (65-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 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 Ordinary differential equations (34-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-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