Software. Practice & Experience Short Title: Softw., Pract. Exper. Publisher: John Wiley & Sons, Chichester ISSN: 0038-0644; 1097-024X/e Online: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X Comments: Journal; No longer indexed Documents Indexed: 652 Publications (1971–2005) References Indexed: 632 Publications with 10,706 References. all top 5 Latest Issues 35, No. 13 (2005) 33, No. 7 (2003) 33, No. 6 (2003) 33, No. 3 (2003) 33, No. 2 (2003) 33, No. 1 (2003) 32, No. 15 (2002) 32, No. 14 (2002) 32, No. 13 (2002) 32, No. 12 (2002) 32, No. 11 (2002) 32, No. 10 (2002) 32, No. 9 (2002) 32, No. 8 (2002) 32, No. 7 (2002) 32, No. 6 (2002) 32, No. 5 (2002) 32, No. 4 (2002) 32, No. 3 (2002) 32, No. 2 (2002) 32, No. 1 (2002) 31, No. 15 (2001) 31, No. 14 (2001) 31, No. 13 (2001) 31, No. 12 (2001) 31, No. 11 (2001) 31, No. 10 (2001) 31, No. 9 (2001) 31, No. 8 (2001) 31, No. 7 (2001) 31, No. 6 (2001) 31, No. 5 (2001) 31, No. 4 (2001) 31, No. 3 (2001) 31, No. 2 (2001) 31, No. 1 (2001) 30, No. 15 (2000) 30, No. 14 (2000) 30, No. 13 (2000) 30, No. 12 (2000) 30, No. 11 (2000) 30, No. 7 (2000) 30, No. 6 (2000) 30, No. 5 (2000) 30, No. 4 (2000) 28, No. 9 (1998) 26, No. 5, Suppl. (1997) 24, No. 10 (1994) 24, No. 4 (1994) 19, No. 7 (1989) 19, No. 6 (1989) 19, No. 1 (1989) 18, No. 12 (1988) 18, No. 11 (1988) 18, No. 10 (1988) 18, No. 7 (1988) 18, No. 4 (1988) 18, No. 1 (1988) 17 (1987) 16 (1986) 15 (1985) 14 (1984) 13 (1983) 12 (1982) 11 (1981) 10 (1980) 9 (1979) 8 (1978) 7 (1977) 6 (1976) 5 (1975) 4 (1974) 3 (1973) 2 (1972) 1 (1971) all top 5 Authors 12 Brinch Hansen, Per 7 Wirth, Niklaus 6 Hanson, David R. 4 Atkinson, Laurence V. 4 Frank, G. R. 4 Perrott, Ronald H. 4 Theaker, C. J. 4 Wichmann, Brian A. 3 Atkinson, Malcolm P. 3 Bae, Doo-Hwan 3 Buyya, Rajkumar 3 Crookes, Danny 3 de Lucena, Carlos José Pereira 3 Deorowicz, Sebastian 3 Dromey, R. Geoff 3 Fenwick, Peter 3 Gehani, Narain H. 3 Gentleman, W. Morven 3 Hutt, Andrew T. F. 3 Katzenelson, Jacob 3 Kernighan, Brian W. 3 Knuth, Donald Ervin 3 Larmouth, John 3 Pyle, I. C. 3 Rohl, Jeffrey S. 3 Sale, Arthur H. J. 3 Schach, Stephen Ronald 3 Schonfelder, J. L. 3 Waite, William M. 3 Wu, Pei-Chi 2 Ancilotti, Paolo 2 Ancona, Massimo 2 Andrews, Gregory R. 2 Anido, Luis 2 Bailes, Paul A. 2 Bell, Tim 2 Bishop, Judy M. 2 Bulmer, A. R. 2 Cargill, T. A. 2 Chae, Heung Seok 2 Chuang, Tyng-Ruey 2 Clint, Maurice 2 Cohen, Jacques 2 Comer, Douglas E. 2 Cowan, Donald D. 2 Cunningham, R. J. 2 Daley, Nigel 2 Dandamudi, Sivarama P. 2 Di Battista, Giuseppe 2 Dodero, Gabriella 2 Ellis, T. M. R. 2 Fayad, Mohamed E. 2 Fellows, David M. 2 Fernández-Iglesias, Manuel J. 2 Fraser, Christopher W. 2 Gannon, John D. 2 Gansner, Emden R. 2 Griswold, Ralph E. 2 Gujar, Uday G. 2 Hać, Anna 2 Hague, Stephen J. 2 Harland, David M. 2 Hennessy, John LeRoy 2 Hoare, Charles Antony Richard 2 Hoffman, Daniel 2 Horspool, R. Nigel 2 Hull, M. Elizabeth C. 2 Ince, Darrel C. 2 Kawai, Satoru 2 Kourie, Derrick G. 2 Kwon, Yong Rae 2 Lauesen, Soren 2 Lecarme, Olivier 2 Lister, Andrew M. 2 Liu, Mengchi 2 Llamas, Martín 2 Luk, Robert W. P. 2 Magnenat-Thalmann, Nadia 2 Mamrak, Sandra A. 2 McGregor, James J. 2 McKeag, R. M. 2 Neely, Peter M. 2 North, Stephen C. 2 Pagan, Frank G. 2 Palme, Jacob 2 Parsons, I. T. 2 Purser, W. F. C. 2 Rafal, Marshall 2 Ravn, Anders P. 2 Richards, Martin 2 Roome, William D. 2 Scowen, R. S. 2 Shave, M. J. R. 2 Sorenson, Paul G. 2 Tennent, Robert D. 2 Thalmann, Daniel 2 Van Wyk, Christopher J. 2 Vaucher, Jean G. 2 Wand, I. C. 2 Watt, David Anthony ...and 900 more Authors all top 5 Fields 651 Computer science (68-XX) 6 Numerical analysis (65-XX) 3 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Differential geometry (53-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 148 Publications have been cited 560 times in 507 Documents Cited by ▼ Year ▼ A new implementation technique for applicative languages. Zbl 0386.68009 Turner, D. A. 64 1979 An open graph visualization system and its applications to software engineering. Zbl 1147.68782 Gansner, Emden R.; North, Stephen C. 41 2000 The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization. Zbl 1147.90416 Jünger, Michael; Thienel, Stefan 30 2000 On the design of CGAL a computational geometry algorithms library. Zbl 1147.68781 Fabri, Andreas; Giezeman, Geert-Jan; Kettner, Lutz; Schirra, Stefan; Schönherr, Sven 25 2000 An empirical study of FORTRAN programs. Zbl 0243.68003 Knuth, Donald E. 19 1971 Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053 McGregor, James J. 18 1982 A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786 Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru 17 2002 DAG - a program that draws directed graphs. Zbl 0661.68067 Gansner, E. R.; North, S. C.; Vo, K. P. 10 1988 Pretty-printing of trees. Zbl 0431.68040 Vaucher, Jean G. 10 1980 Modula: a language for modular multiprogramming. Zbl 0346.68012 Wirth, N. 9 1977 NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028 Navarro, Gonzalo 9 2001 Breaking paragraphs into lines. Zbl 0471.68021 Knuth, Donald E.; Plass, Michael F. 9 1981 Exploiting partial order with Quicksort. Zbl 0537.68058 Dromey, R. Geoff 8 1984 D’Agents: Applications and performance of a mobile-agent system. Zbl 1009.68902 Gray, Robert S.; Cybenko, George; Kotz, David; Peterson, Ronald A.; Rus, Daniela 8 2002 Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668 Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni 8 2001 Alias burying: Unique variables without destructive reads. Zbl 1009.68878 Boyland, John 7 2001 Klava: a Java package for distributed and mobile applications. Zbl 1009.68933 Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario 7 2002 Approximate string matching using within-word parallelism. Zbl 0942.68787 Wright, Alden H. 7 1994 A comparison of three string matching algorithms. Zbl 0466.68050 de V. Smit, G. 7 1982 The programming language Oberon. Zbl 0646.68012 Wirth, N. 6 1988 Unrolling loops in FORTRAN. Zbl 0393.68011 Dongarra, J. J.; Hinds, A. R. 6 1979 Bytecode verification on Java smart cards. Zbl 1009.68891 Leroy, Xavier 6 2002 The production of special function routines for a multi-machine library. Zbl 0317.68024 Schonfelder, J. L. 6 1976 Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937 Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico 6 2002 A static analyzer for finding dynamic programming errors. Zbl 1009.68852 Bush, William R.; Pincus, Jonathan D.; Sielaff, David J. 6 2000 On the generation and use of space-filling curves. Zbl 0511.68085 Witten, Ian H.; Wyvill, Brian 6 1983 A new algorithm for generating Hilbert curves. Zbl 0593.65014 Fisher, A. J. 5 1986 DAVE - a validation error detection and documentation system for Fortran programs. Zbl 0329.68011 Osterweil, Leon J.; Fosdick, Lloyd D. 5 1976 Drawing database schemas. Zbl 1009.68921 Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio 5 2002 Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789 Deorowicz, Sebastian 5 2002 How to squeeze a lexicon. Zbl 0987.68782 Ciura, Marcin G.; Deorowicz, Sebastian 5 2001 Implementation of an interpreter for abstract equations. Zbl 0591.68010 Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I. 4 1985 Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595 Deorowicz, Sebastian 4 2000 Debugging tools for high level languages. Zbl 0236.68003 Satterthwaite, E. 4 1972 The design of a PASCAL compiler. Zbl 0232.68005 Wirth, N. 4 1971 The PFORT verifier. Zbl 0291.68008 Ryder, B. G. 4 1974 Semi-automatic grammar recovery. Zbl 1009.68889 Lämmel, R.; Verhoef, C. 4 2001 Graphlet: design and implementation of a graph editor. Zbl 1147.68784 Himsolt, Michael 4 2000 Specification methodology: An integrated relational approach. Zbl 0602.68015 Mili, Ali; Wang, Xiao-Yang; Yu, Qing 3 1986 An algorithm for displaying a class of space-filling curves. Zbl 0589.68071 Griffiths, J. G. 3 1986 Algorithms for pattern matching. Zbl 0592.68057 Davies, G.; Bowsher, S. 3 1986 A protocol for generalized occam. Zbl 0599.68032 Bornat, Richard 3 1986 A stable quicksort. Zbl 0457.68055 Motzkin, Dalia 3 1981 Ambiguities and insecurities in Pascal. Zbl 0366.68010 Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R. 3 1977 Make - a program for maintaining computer programs. Zbl 0393.68015 Feldman, Stuart I. 3 1979 Queueing network software for systems modelling. Zbl 0395.68088 Sauer, C. H.; Macnair, E. A. 3 1979 Logic programming and compiler writing. Zbl 0428.68015 Warren, David H. D. 3 1980 Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927 Fenwick, Peter 3 2002 A debugger for concurrent programs. Zbl 0559.68044 Gait, Jason 2 1985 Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006 Jones, Simon L. Peyton 2 1985 The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006 Clint, M.; Vicent, C. 2 1984 Design and implementation of modula. Zbl 0347.68007 Wirth, N. 2 1977 Converting a class of recursive procedures into non-recursive ones. Zbl 0348.68031 Rohl, J. S. 2 1977 An evaluation of the effectivences of symbolic testing. Zbl 0376.68024 Howden, William E. 2 1978 Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930 Fenwick, Peter 2 2001 Automatic parallel control structures in SequenceL. Zbl 1009.68864 Cooke, Daniel E.; Andersen, Per 2 2000 Confined types in Java. Zbl 1009.68879 Vitek, Jan; Bokowski, Boris 2 2001 The Lambda Library: Unnamed functions in C++. Zbl 1010.68973 Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew 2 2003 Quasiparallel programming. Zbl 0332.68010 Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R. 2 1976 MOLE: A mobile agent system. Zbl 1009.68903 Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W. 2 2002 A cohesion measure for object-oriented classes. Zbl 1009.68858 Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan 2 2000 ASAB: A Chinese screen reader. Zbl 1010.68972 Luk, R. W. P.; Yeung, D. S.; Lu, Q.; Leung, H. L.; Li, S. Y.; Leung, F. 2 2003 An extension of FORTRAN containing finite difference operators. Zbl 0245.65054 Gary, John; Helgason, Richard 2 1972 On evaluating Boolean expressions. Zbl 0272.68036 Gudes, E.; Reiter, A. 2 1973 Introspective sorting and selection revisited. Zbl 1147.68472 Valois, John D. 2 2000 Eliminating recursion from combinatoric procedures. Zbl 0459.68034 Rohl, J. S. 2 1981 Triplex: a system for interval arithmetic. Zbl 0479.68032 Cole, A. J.; Morrison, R. 2 1982 DTL: A language for the design and implementation of concurrent programs as structured networks. Zbl 0519.68030 Hughes, J. W.; Powell, M. S. 2 1983 Generalized non-recursive traversal of binary trees. Zbl 0466.68054 Kilgour, A. C. 2 1981 Parallel assignment revisited. Zbl 0519.68009 Welch, P. H. 2 1983 Joyce - A programming language for distributed systems. Zbl 0601.68011 Brinch Hansen, Per 1 1987 AIDA - a dynamic data flow anomaly detection system for Pascal programs. Zbl 0607.68008 Chan, Fun Ting; Chen, Tsong Yueh 1 1987 Generalizations of the Sethi-Ullman algorithm for register allocation. Zbl 0617.68031 Appel, Andrew W.; Supowit, Kenneth J. 1 1987 An experiment in language design for distributed systems. Zbl 0542.68019 Crookes, D.; Elder, J. W. G. 1 1984 Forced termination of loops. Zbl 0547.68016 Dromey, R. Geoff 1 1985 Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007 Partridge, Derek 1 1985 Executable semantic descriptions. Zbl 0575.68017 Watt, David A. 1 1986 Concurrent \(C++:\) Concurrent programming with class(es). Zbl 0661.68006 Gehani, N. H.; Roome, W. D. 1 1988 A multiprocessor implementation of Joyce. Zbl 0825.68280 Brinch Hansen, Per 1 1989 Concurrent programming in the Ada language: The polling bias. Zbl 0536.68014 Gehani, N. H.; Cargill, T. A. 1 1984 A method of program transformation between variable sharing and message passing. Zbl 0563.68009 Hikita, Teruo; Ishihata, Kiyoshi 1 1985 Concurrent C. Zbl 0599.68028 Gehani, N. H.; Roome, W. D. 1 1986 The use of modula. Zbl 0347.68006 Wirth, N. 1 1977 More on the re-creation of source code from reverse polish. Zbl 0357.68024 Brown, P. J. 1 1977 Implementing LISP in a high-level language. Zbl 0366.68012 Fitch, J. P.; Norman, A. C. 1 1977 Economic range checks in Pascal. Zbl 0368.68020 Welsh, J. 1 1978 Pascal-Plus - another language for modular multiprogramming. Zbl 0411.68025 Welsh, J.; Bustard, D. W. 1 1979 Axioms for user-defined operators. Zbl 0429.68017 Pyle, I. C. 1 1980 Infinite power series. Zbl 0441.68042 Harrington, Steven 1 1980 An overview of Ada. Zbl 0442.68004 Barnes, I. G. P. 1 1980 Syntax-directed correction of syntax errors. Zbl 0337.68018 Feyock, Stefan 1 1976 Compaction of diagnostic messages for compilers. Zbl 0341.68020 Heaps, H. S.; Radharkrishnan, T. 1 1977 A language for inquiring about the run-time behaviour of programs. Zbl 0361.68017 Cohen, Jacques; Carpenter, Neal 1 1977 On code generation in a PASCAL compiler. Zbl 0359.68036 Ammann, Urs 1 1977 Self-compiling compilers: An appraisal of their implementation and portability. Zbl 0371.68001 Lecarme, Olivier; Peyrolle-Thomas, Marie-Claude 1 1978 Guidelines for software portability. Zbl 0385.68034 Tanenbaum, Andrew S.; Klint, Paul; Bohm, Wim 1 1978 Awk - A pattern scanning and processing language. Zbl 0393.68012 Aho, Alfred V.; Kernighan, Brian W.; Weinberger, Peter J. 1 1979 Arbitrary precision arithmetic in Algol 68. Zbl 0394.68027 Schonfelder, J. L.; Thomason, J. T. 1 1979 A draft description of Pascal. Zbl 0399.68007 Addyman, A. M.; Brewer, R.; Burnett-Hall, D. G.; De Morgan, R. M.; Findlay, W.; Jackson, M. I.; Joslin, D. A.; Rees, M. J.; Watt, D. A.; Welsh, J.; Wichmann, B. A. 1 1979 An analysis of Pascal programs in compiler writing. Zbl 0428.68016 Shimasaki, Masaaki; Fukaya, Shigeru; Ikeda, Katsuo; Kiyono, Takeshi 1 1980 The Lambda Library: Unnamed functions in C++. Zbl 1010.68973 Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew 2 2003 ASAB: A Chinese screen reader. Zbl 1010.68972 Luk, R. W. P.; Yeung, D. S.; Lu, Q.; Leung, H. L.; Li, S. Y.; Leung, F. 2 2003 \(\text{P}\sup{3}\): a code and design conventions preprocessor for Java. Zbl 1005.68746 Depradine, Colin; Chaudhuri, Pranay 1 2003 Quantifying and evaluating the space overhead for alternative C++ memory layouts. Zbl 1037.68024 Sweeney, Peter F.; Burke, Michael 1 2003 A music notation construction engine for optical music recognition. Zbl 1010.68968 Bainbridge, David; Bell, Tim 1 2003 A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786 Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru 17 2002 D’Agents: Applications and performance of a mobile-agent system. Zbl 1009.68902 Gray, Robert S.; Cybenko, George; Kotz, David; Peterson, Ronald A.; Rus, Daniela 8 2002 Klava: a Java package for distributed and mobile applications. Zbl 1009.68933 Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario 7 2002 Bytecode verification on Java smart cards. Zbl 1009.68891 Leroy, Xavier 6 2002 Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937 Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico 6 2002 Drawing database schemas. Zbl 1009.68921 Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio 5 2002 Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789 Deorowicz, Sebastian 5 2002 Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927 Fenwick, Peter 3 2002 MOLE: A mobile agent system. Zbl 1009.68903 Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W. 2 2002 Java 3D, 3D graphical environments and behaviour. Zbl 1009.68892 Burrows, Anthony L.; England, David 1 2002 Virtual-machine-based heterogeneous checkpointing. Zbl 1009.68926 Agbaria, Adnan; Friedman, Roy 1 2002 J3DV: A Java-based 3D database visualization tool. Zbl 1009.68898 Fang, Xiang; Miller, John A.; Arnold, Jonathan 1 2002 Application and programming experience with the Ara mobile agent system. Zbl 1009.68901 Peine, Holger 1 2002 NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028 Navarro, Gonzalo 9 2001 Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668 Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni 8 2001 Alias burying: Unique variables without destructive reads. Zbl 1009.68878 Boyland, John 7 2001 How to squeeze a lexicon. Zbl 0987.68782 Ciura, Marcin G.; Deorowicz, Sebastian 5 2001 Semi-automatic grammar recovery. Zbl 1009.68889 Lämmel, R.; Verhoef, C. 4 2001 Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930 Fenwick, Peter 2 2001 Confined types in Java. Zbl 1009.68879 Vitek, Jan; Bokowski, Boris 2 2001 Self-adjusting trees in preactice for large text collections. Zbl 0990.68562 Williams, Hugh E.; Zobel, Justin; Heinz, Steffen 1 2001 Fast string matching for multiple searches. Zbl 0986.68925 Fenwick, Peter 1 2001 Developing WWW-based highly interactive and collaborative applications using software components. Zbl 0987.68932 Anido, Luis; Llamas, Martin; Fernández, Manuel J. 1 2001 Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870 Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A. 1 2001 Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880 Zendra, Olivier; Colnet, Dominique 1 2001 Vertex-labeling algorithms for the Hilbert spacefilling curve. Zbl 1009.68877 Bartholdi, John J. III; Goldsman, Paul 1 2001 Numeric ActiveX components. Zbl 0963.68670 Levy, G. F. 1 2001 A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks. Zbl 0963.68666 González-Castaño, F. J.; Anido-Rifón, L.; Pousada-Carballo, J. M.; Rodríguez-Hernández, P. S.; López-Gómez, R. 1 2001 Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664 Bosi, F.; Milano, M. 1 2001 An open graph visualization system and its applications to software engineering. Zbl 1147.68782 Gansner, Emden R.; North, Stephen C. 41 2000 The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization. Zbl 1147.90416 Jünger, Michael; Thienel, Stefan 30 2000 On the design of CGAL a computational geometry algorithms library. Zbl 1147.68781 Fabri, Andreas; Giezeman, Geert-Jan; Kettner, Lutz; Schirra, Stefan; Schönherr, Sven 25 2000 A static analyzer for finding dynamic programming errors. Zbl 1009.68852 Bush, William R.; Pincus, Jonathan D.; Sielaff, David J. 6 2000 Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595 Deorowicz, Sebastian 4 2000 Graphlet: design and implementation of a graph editor. Zbl 1147.68784 Himsolt, Michael 4 2000 Automatic parallel control structures in SequenceL. Zbl 1009.68864 Cooke, Daniel E.; Andersen, Per 2 2000 A cohesion measure for object-oriented classes. Zbl 1009.68858 Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan 2 2000 Introspective sorting and selection revisited. Zbl 1147.68472 Valois, John D. 2 2000 BRISK: a portable and flexible distributed instrumentation system. Zbl 1009.68860 Bakić, Aleksandar; Mutka, Matt W.; Rover, Diane T. 1 2000 Transition from national standards to unicode: multilingual support in operating systems and programming languages. Zbl 1009.68857 Wu, Pei-Chi 1 2000 Software product lines: a case study. Zbl 1009.68856 Ardis, Mark; Daley, Nigel; Hoffman, Daniel; Siy, Harvey; Weiss, David 1 2000 Implementation of automated fine-granularity locking in a persistent programming language. Zbl 1008.68783 Daynès, L. 1 2000 Java threads and SugarCubes. Zbl 1147.68451 Boussinot, Frédéric; Susini, Jean-Ferdy 1 2000 Experimental studies on graph drawing algorithms. Zbl 1147.68785 Vismara, Luca; Di Battista, Giuseppe; Garg, Ashim; Liotta, Giuseppe; Tamassia, Roberto; Vargiu, Francesco 1 2000 Java Native Interface idioms for C++ class hierarchies. Zbl 0971.68661 Parson, Dale; Zhu, Zhenyu 1 2000 BOX: Browsing objects in XML. Zbl 0971.68660 Nentwich, Christian; Emmerich, Wolfgang; Finkelstein, Anthony; Zisman, Andrea 1 2000 Approximate string matching using within-word parallelism. Zbl 0942.68787 Wright, Alden H. 7 1994 A multiprocessor implementation of Joyce. Zbl 0825.68280 Brinch Hansen, Per 1 1989 DAG - a program that draws directed graphs. Zbl 0661.68067 Gansner, E. R.; North, S. C.; Vo, K. P. 10 1988 The programming language Oberon. Zbl 0646.68012 Wirth, N. 6 1988 Concurrent \(C++:\) Concurrent programming with class(es). Zbl 0661.68006 Gehani, N. H.; Roome, W. D. 1 1988 Joyce - A programming language for distributed systems. Zbl 0601.68011 Brinch Hansen, Per 1 1987 AIDA - a dynamic data flow anomaly detection system for Pascal programs. Zbl 0607.68008 Chan, Fun Ting; Chen, Tsong Yueh 1 1987 Generalizations of the Sethi-Ullman algorithm for register allocation. Zbl 0617.68031 Appel, Andrew W.; Supowit, Kenneth J. 1 1987 A new algorithm for generating Hilbert curves. Zbl 0593.65014 Fisher, A. J. 5 1986 Specification methodology: An integrated relational approach. Zbl 0602.68015 Mili, Ali; Wang, Xiao-Yang; Yu, Qing 3 1986 An algorithm for displaying a class of space-filling curves. Zbl 0589.68071 Griffiths, J. G. 3 1986 Algorithms for pattern matching. Zbl 0592.68057 Davies, G.; Bowsher, S. 3 1986 A protocol for generalized occam. Zbl 0599.68032 Bornat, Richard 3 1986 Executable semantic descriptions. Zbl 0575.68017 Watt, David A. 1 1986 Concurrent C. Zbl 0599.68028 Gehani, N. H.; Roome, W. D. 1 1986 Implementation of an interpreter for abstract equations. Zbl 0591.68010 Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I. 4 1985 A debugger for concurrent programs. Zbl 0559.68044 Gait, Jason 2 1985 Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006 Jones, Simon L. Peyton 2 1985 Forced termination of loops. Zbl 0547.68016 Dromey, R. Geoff 1 1985 Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007 Partridge, Derek 1 1985 A method of program transformation between variable sharing and message passing. Zbl 0563.68009 Hikita, Teruo; Ishihata, Kiyoshi 1 1985 Exploiting partial order with Quicksort. Zbl 0537.68058 Dromey, R. Geoff 8 1984 The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006 Clint, M.; Vicent, C. 2 1984 An experiment in language design for distributed systems. Zbl 0542.68019 Crookes, D.; Elder, J. W. G. 1 1984 Concurrent programming in the Ada language: The polling bias. Zbl 0536.68014 Gehani, N. H.; Cargill, T. A. 1 1984 Mixed language programming. Zbl 0532.68015 Einarsson, Bo; Gentleman, W. Morven 1 1984 On the generation and use of space-filling curves. Zbl 0511.68085 Witten, Ian H.; Wyvill, Brian 6 1983 DTL: A language for the design and implementation of concurrent programs as structured networks. Zbl 0519.68030 Hughes, J. W.; Powell, M. S. 2 1983 Parallel assignment revisited. Zbl 0519.68009 Welch, P. H. 2 1983 An execution profiler for modular programs. Zbl 0515.68007 Graham, Susan L.; Kessler, Peter B.; Mckusick, Marshall K. 1 1983 Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053 McGregor, James J. 18 1982 A comparison of three string matching algorithms. Zbl 0466.68050 de V. Smit, G. 7 1982 Triplex: a system for interval arithmetic. Zbl 0479.68032 Cole, A. J.; Morrison, R. 2 1982 Compilation of the Pascal case statement. Zbl 0488.68012 Hennessy, John L.; Mendelsohn, Noah 1 1982 A robust distributed solution to the dining philosophers problem. Zbl 0489.68020 Cargill, T. A. 1 1982 Optimizing two-state case statements in Pascal. Zbl 0481.68006 Atkinson, L. V. 1 1982 Breaking paragraphs into lines. Zbl 0471.68021 Knuth, Donald E.; Plass, Michael F. 9 1981 A stable quicksort. Zbl 0457.68055 Motzkin, Dalia 3 1981 Eliminating recursion from combinatoric procedures. Zbl 0459.68034 Rohl, J. S. 2 1981 Generalized non-recursive traversal of binary trees. Zbl 0466.68054 Kilgour, A. C. 2 1981 Edison - a multiprocessor language. Zbl 0452.68028 Brinch Hansen, Per 1 1981 The design of Edison. Zbl 0452.68029 Brinch Hansen, Per 1 1981 Message passing between sequential processes: the reply primitive and the administrator concept. Zbl 0467.68027 Gentleman, W. Morven 1 1981 A portable LISP compiler. Zbl 0467.68024 Griss, Martin L.; Hearn, Anthony C. 1 1981 Modular programming with Pascal. Zbl 0471.68004 Steensgaard-Madsen, J. 1 1981 Compiling short-circuit boolean expressions in one pass. Zbl 0471.68015 Logothetis, George; Mishra, Prateek 1 1981 Pretty-printing of trees. Zbl 0431.68040 Vaucher, Jean G. 10 1980 Logic programming and compiler writing. Zbl 0428.68015 Warren, David H. D. 3 1980 Axioms for user-defined operators. Zbl 0429.68017 Pyle, I. C. 1 1980 ...and 48 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 960 Authors 7 Jünger, Michael 6 Shibata, Masahiro 5 Halperin, Dan 5 Liotta, Giuseppe 4 Daciuk, Jan 4 Di Battista, Giuseppe 4 Eades, Peter 4 Kakugawa, Hirotsugu 4 Kettner, Lutz 4 Masuzawa, Toshimitsu 4 Navarro, Gonzalo 4 Petersson, Ola 4 Sudo, Yuichi 4 Tamassia, Roberto 3 Baeza-Yates, Ricardo A. 3 Chimani, Markus 3 Crainic, Teodor Gabriel 3 Didimo, Walter 3 Fenwick, Peter 3 Fogel, Efi 3 Gutwenger, Carsten 3 Kaut, Michal 3 Klop, Jan Willem 3 Martini, Luca 3 Mehlhorn, Kurt 3 Mutzel, Petra 3 Nielson, Flemming 3 Ooshita, Fukuhito 3 Peyton Jones, Simon L. 3 Pugliese, Rosario 3 Riis Nielson, Hanne 3 Tarhio, Jorma 3 Tennent, Robert D. 3 Thapalia, Biju K. 3 Tollis, Ioannis G. 3 Wallace, Stein W. 3 Yaman, Hande 2 Barendregt, Hendrik Pieter 2 Berberich, Eric 2 Bernardini, Giulia 2 Bille, Philip 2 Bird, Richard S. 2 Bolshakov, Igor A. 2 Borzemski, Leszek 2 Boudriga, Noureddine A. 2 Brand, Sebastian 2 Buchheim, Christoph 2 Bunke, Horst 2 Carlsson, Svante 2 Carrasco, Rafael C. 2 Chen, Fati 2 Chen, Jingsen 2 Cole, A. J. 2 De Francesco, Nicoletta 2 de Moor, Oege 2 De Nicola, Rocco 2 Deorowicz, Sebastian 2 Dos Reis, Gabriel 2 Einarsson, Bo 2 Estivill-Castro, Vladimir 2 Garg, Ashim 2 Gawrychowski, Paweł 2 Giannini, Paola 2 Gorla, Daniele 2 Hamlet, Richard G. 2 Hanniel, Iddo 2 Hikita, Teruo 2 Hofmann, Heike 2 Hu, Yifan 2 Hu, Zhenjiang 2 Järvi, Jaakko 2 Jones, Cliff B. 2 Kallehauge, Brian 2 Kawata, Norikazu 2 Kennaway, J. R. 2 Kennedy, Ken 2 Kim, Deok-Soo 2 Kim, Yonghwan 2 Kluge, Werner E. 2 Knuth, Donald Ervin 2 Labbé, Martine V. 2 Laguna, Manuel 2 Lanza, Michele 2 Lee, Mokwon 2 Leroy, Xavier 2 Lettieri, Giuseppe 2 Levcopoulos, Christos 2 Liers, Frauke 2 Lins, Rafael Dueire 2 Liu, Xian 2 Lluch Lafuente, Alberto 2 MacLeod, Allan J. 2 Mankowski, Michal 2 Marenco, Javier L. 2 Margaritis, Konstantinos G. 2 Martí, Rafael 2 Méndez-Díaz, Isabel 2 Michailidis, Panagiotis D. 2 Milano, Michela 2 Mili, Ali ...and 860 more Authors all top 5 Cited in 138 Journals 45 Theoretical Computer Science 37 Information Processing Letters 24 Acta Informatica 16 Software. Practice & Experience 12 Journal of Functional Programming 11 Discrete Applied Mathematics 10 Science of Computer Programming 9 Computational Geometry 8 BIT. Nordisk Tidskrift for Informationsbehandling 7 New Generation Computing 7 Information and Computation 7 International Journal of Computer Mathematics 6 Applied Mathematics and Computation 6 Information Sciences 6 Journal of Computational and Applied Mathematics 6 Journal of Computer and System Sciences 6 Journal of Soviet Mathematics 6 Computers & Operations Research 6 European Journal of Operational Research 5 Annals of Operations Research 5 Computer Languages, Systems & Structures 4 Computers & Mathematics with Applications 4 Computer Physics Communications 4 BIT 4 Journal of Symbolic Computation 4 Algorithmica 4 Formal Aspects of Computing 4 Mathematical Programming. Series A. Series B 4 Journal of Discrete Algorithms 3 International Journal of Computer & Information Sciences 3 International Journal for Numerical Methods in Engineering 3 The Journal of Symbolic Logic 3 Mathematics and Computers in Simulation 3 Applied Numerical Mathematics 3 Mathematical and Computer Modelling 3 Mathematical Structures in Computer Science 3 Computational Statistics 3 Cybernetics and Systems Analysis 3 Higher-Order and Symbolic Computation 3 Discrete Optimization 3 Mathematics in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Artificial Intelligence 2 Mathematics of Computation 2 Computing 2 Cybernetics 2 Cybernetics and Systems 2 International Journal of Production Research 2 International Journal of Parallel Programming 2 Journal of Automated Reasoning 2 Random Structures & Algorithms 2 International Journal of Computational Geometry & Applications 2 International Journal of Foundations of Computer Science 2 Pattern Recognition 2 Formal Methods in System Design 2 Journal of Graph Algorithms and Applications 2 RAIRO. Theoretical Informatics and Applications 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Science China. Information Sciences 1 The Canadian Journal of Statistics 1 Computer Methods in Applied Mechanics and Engineering 1 Discrete Mathematics 1 General Relativity and Gravitation 1 International Journal of General Systems 1 Physics Letters. A 1 ACM Transactions on Mathematical Software 1 Automatica 1 Biometrics 1 Calcolo 1 INFOR 1 Journal of Algebra 1 Kybernetika 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 SIAM Journal on Computing 1 Statistica 1 OR Spektrum 1 Operations Research Letters 1 Computer Aided Geometric Design 1 RAIRO. Modélisation Mathématique et Analyse Numérique 1 Applied Mathematics Letters 1 Journal of Scientific Computing 1 Real-Time Systems 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Applied Intelligence 1 Numerical Algorithms 1 RAIRO. Informatique Théorique et Applications 1 Archives of Control Sciences 1 Computational Optimization and Applications 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 SIAM Journal on Scientific Computing 1 Applied Mathematics. Series B (English Edition) 1 Combinatorics, Probability and Computing 1 International Journal of Computer Vision 1 Top 1 The Bulletin of Symbolic Logic ...and 38 more Journals all top 5 Cited in 39 Fields 401 Computer science (68-XX) 65 Operations research, mathematical programming (90-XX) 42 Combinatorics (05-XX) 41 Numerical analysis (65-XX) 37 Mathematical logic and foundations (03-XX) 11 Information and communication theory, circuits (94-XX) 10 Biology and other natural sciences (92-XX) 9 Statistics (62-XX) 8 Quantum theory (81-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Special functions (33-XX) 4 Category theory; homological algebra (18-XX) 4 Probability theory and stochastic processes (60-XX) 4 Mechanics of deformable solids (74-XX) 4 Systems theory; control (93-XX) 3 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Algebraic geometry (14-XX) 3 Partial differential equations (35-XX) 3 Approximations and expansions (41-XX) 2 History and biography (01-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Real functions (26-XX) 2 Functions of a complex variable (30-XX) 2 Convex and discrete geometry (52-XX) 2 Fluid mechanics (76-XX) 1 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) 1 Mathematics education (97-XX) Citations by Year