×

zbMATH — the first resource for mathematics

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: No longer indexed
Documents Indexed: 652 Publications (1971–2005)
References Indexed: 632 Publications with 10,706 References.
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 Butler, Greg
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 Fernandez, Manuel Jose
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, C. A. R. Tony
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.
...and 903 more Authors

Publications by Year

Citations contained in zbMATH Open

146 Publications have been cited 478 times in 526 Documents Cited by Year
A new implementation technique for applicative languages. Zbl 0386.68009
Turner, D. A.
56
1979
An open graph visualization system and its applications to software engineering. Zbl 1147.68782
Gansner, Emden R.; North, Stephen C.
27
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
27
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
18
2000
An empirical study of FORTRAN programs. Zbl 0243.68003
Knuth, Donald E.
18
1971
A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786
Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru
14
2002
Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053
McGregor, James J.
14
1982
DAG - a program that draws directed graphs. Zbl 0661.68067
Gansner, E. R.; North, S. C.; Vo, K. P.
10
1988
Breaking paragraphs into lines. Zbl 0471.68021
Knuth, Donald E.; Plass, Michael F.
9
1981
Modula: a language for modular multiprogramming. Zbl 0346.68012
Wirth, N.
9
1977
Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668
Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni
8
2001
Pretty-printing of trees. Zbl 0431.68040
Vaucher, Jean G.
8
1980
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
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
Bytecode verification on Java smart cards. Zbl 1009.68891
Leroy, Xavier
6
2002
NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028
Navarro, Gonzalo
6
2001
Exploiting partial order with Quicksort. Zbl 0537.68058
Dromey, R. Geoff
6
1984
On the generation and use of space-filling curves. Zbl 0511.68085
Witten, Ian H.; Wyvill, Brian
6
1983
Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937
Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico
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
The production of special function routines for a multi-machine library. Zbl 0317.68024
Schonfelder, J. L.
5
1976
Approximate string matching using within-word parallelism. Zbl 0942.68787
Wright, Alden H.
5
1994
A new algorithm for generating Hilbert curves. Zbl 0593.65014
Fisher, A. J.
5
1986
Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595
Deorowicz, Sebastian
4
2000
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
4
2002
Unrolling loops in FORTRAN. Zbl 0393.68011
Dongarra, J. J.; Hinds, A. R.
4
1979
The design of a PASCAL compiler. Zbl 0232.68005
Wirth, N.
4
1971
Debugging tools for high level languages. Zbl 0236.68003
Satterthwaite, E.
4
1972
The PFORT verifier. Zbl 0291.68008
Ryder, B. G.
4
1974
Implementation of an interpreter for abstract equations. Zbl 0591.68010
Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I.
4
1985
Graphlet: design and implementation of a graph editor. Zbl 1147.68784
Himsolt, Michael
3
2000
Drawing database schemas. Zbl 1009.68921
Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio
3
2002
Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927
Fenwick, Peter
3
2002
Alias burying: Unique variables without destructive reads. Zbl 1009.68878
Boyland, John
3
2001
Semi-automatic grammar recovery. Zbl 1009.68889
Lämmel, R.; Verhoef, C.
3
2001
Queueing network software for systems modelling. Zbl 0395.68088
Sauer, C. H.; Macnair, E. A.
3
1979
A stable quicksort. Zbl 0457.68055
Motzkin, Dalia
3
1981
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
Specification methodology: An integrated relational approach. Zbl 0602.68015
Mili, Ali; Wang, Xiao-Yang; Yu, Qing
3
1986
Introspective sorting and selection revisited. Zbl 1147.68472
Valois, John D.
2
2000
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
A cohesion measure for object-oriented classes. Zbl 1009.68858
Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan
2
2000
A static analyzer for finding dynamic programming errors. Zbl 1009.68852
Bush, William R.; Pincus, Jonathan D.; Sielaff, David J.
2
2000
An evaluation of the effectivences of symbolic testing. Zbl 0376.68024
Howden, William E.
2
1978
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
The Lambda Library: Unnamed functions in C++. Zbl 1010.68973
Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew
2
2003
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.
2
2001
Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930
Fenwick, Peter
2
2001
Make - a program for maintaining computer programs. Zbl 0393.68015
Feldman, Stuart I.
2
1979
Logic programming and compiler writing. Zbl 0428.68015
Warren, David H. D.
2
1980
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
Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006
Jones, Simon L. Peyton
2
1985
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
DAVE - a validation error detection and documentation system for Fortran programs. Zbl 0329.68011
Osterweil, Leon J.; Fosdick, Lloyd D.
2
1976
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
The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006
Clint, M.; Vicent, C.
2
1984
A debugger for concurrent programs. Zbl 0559.68044
Gait, Jason
2
1985
Parallel assignment revisited. Zbl 0519.68009
Welch, P. H.
2
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
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
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 threads and SugarCubes. Zbl 1147.68451
Boussinot, Frédéric; Susini, Jean-Ferdy
1
2000
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
Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880
Zendra, Olivier; Colnet, Dominique
1
2001
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
MOLE: A mobile agent system. Zbl 1009.68903
Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W.
1
2002
Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870
Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A.
1
2001
Shimba – an environment for reverse engineering Java software systems. Zbl 1009.68872
Systä, Tarja; Koskimies, Kai; Müller, Hausi
1
2001
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
More on the re-creation of source code from reverse polish. Zbl 0357.68024
Brown, P. J.
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
A music notation construction engine for optical music recognition. Zbl 1010.68968
Bainbridge, David; Bell, Tim
1
2003
A multiprocessor implementation of Joyce. Zbl 0825.68280
Brinch Hansen, Per
1
1989
Numeric ActiveX components. Zbl 0963.68670
Levy, G. F.
1
2001
Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664
Bosi, F.; Milano, M.
1
2001
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
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
\(\text{P}\sup{3}\): a code and design conventions preprocessor for Java. Zbl 1005.68746
Depradine, Colin; Chaudhuri, Pranay
1
2003
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
Pascal-Plus - another language for modular multiprogramming. Zbl 0411.68025
Welsh, J.; Bustard, D. W.
1
1979
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
The Lambda Library: Unnamed functions in C++. Zbl 1010.68973
Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew
2
2003
A music notation construction engine for optical music recognition. Zbl 1010.68968
Bainbridge, David; Bell, Tim
1
2003
\(\text{P}\sup{3}\): a code and design conventions preprocessor for Java. Zbl 1005.68746
Depradine, Colin; Chaudhuri, Pranay
1
2003
A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786
Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru
14
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
5
2002
Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789
Deorowicz, Sebastian
5
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
4
2002
Drawing database schemas. Zbl 1009.68921
Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio
3
2002
Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927
Fenwick, Peter
3
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
MOLE: A mobile agent system. Zbl 1009.68903
Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W.
1
2002
Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668
Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni
8
2001
NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028
Navarro, Gonzalo
6
2001
How to squeeze a lexicon. Zbl 0987.68782
Ciura, Marcin G.; Deorowicz, Sebastian
5
2001
Alias burying: Unique variables without destructive reads. Zbl 1009.68878
Boyland, John
3
2001
Semi-automatic grammar recovery. Zbl 1009.68889
Lämmel, R.; Verhoef, C.
3
2001
Confined types in Java. Zbl 1009.68879
Vitek, Jan; Bokowski, Boris
2
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.
2
2001
Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930
Fenwick, Peter
2
2001
Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880
Zendra, Olivier; Colnet, Dominique
1
2001
Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870
Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A.
1
2001
Shimba – an environment for reverse engineering Java software systems. Zbl 1009.68872
Systä, Tarja; Koskimies, Kai; Müller, Hausi
1
2001
Numeric ActiveX components. Zbl 0963.68670
Levy, G. F.
1
2001
Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664
Bosi, F.; Milano, M.
1
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
An open graph visualization system and its applications to software engineering. Zbl 1147.68782
Gansner, Emden R.; North, Stephen C.
27
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
27
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
18
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
3
2000
Introspective sorting and selection revisited. Zbl 1147.68472
Valois, John D.
2
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
A static analyzer for finding dynamic programming errors. Zbl 1009.68852
Bush, William R.; Pincus, Jonathan D.; Sielaff, David J.
2
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 threads and SugarCubes. Zbl 1147.68451
Boussinot, Frédéric; Susini, Jean-Ferdy
1
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 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.
5
1994
A multiprocessor implementation of Joyce. Zbl 0825.68280
Brinch Hansen, Per
1
1989
The errors of TEX. Zbl 0677.68003
Knuth, Donald E.
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
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
Specification methodology: An integrated relational approach. Zbl 0602.68015
Mili, Ali; Wang, Xiao-Yang; Yu, Qing
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
Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006
Jones, Simon L. Peyton
2
1985
A debugger for concurrent programs. Zbl 0559.68044
Gait, Jason
2
1985
Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007
Partridge, Derek
1
1985
Forced termination of loops. Zbl 0547.68016
Dromey, R. Geoff
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
6
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
Concurrent programming in the Ada language: The polling bias. Zbl 0536.68014
Gehani, N. H.; Cargill, T. A.
1
1984
An experiment in language design for distributed systems. Zbl 0542.68019
Crookes, D.; Elder, J. W. G.
1
1984
On the generation and use of space-filling curves. Zbl 0511.68085
Witten, Ian H.; Wyvill, Brian
6
1983
Parallel assignment revisited. Zbl 0519.68009
Welch, P. H.
2
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
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.
14
1982
A comparison of three string matching algorithms. Zbl 0466.68050
de V. Smit, G.
7
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
Triplex: a system for interval arithmetic. Zbl 0479.68032
Cole, A. J.; Morrison, R.
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
A portable LISP compiler. Zbl 0467.68024
Griss, Martin L.; Hearn, Anthony C.
1
1981
Message passing between sequential processes: the reply primitive and the administrator concept. Zbl 0467.68027
Gentleman, W. Morven
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.
8
1980
Logic programming and compiler writing. Zbl 0428.68015
Warren, David H. D.
2
1980
An analysis of Pascal programs in compiler writing. Zbl 0428.68016
Shimasaki, Masaaki; Fukaya, Shigeru; Ikeda, Katsuo; Kiyono, Takeshi
1
1980
Axioms for user-defined operators. Zbl 0429.68017
Pyle, I. C.
1
1980
Infinite power series. Zbl 0441.68042
Harrington, Steven
1
1980
...and 46 more Documents
all top 5

Cited by 1,064 Authors

6 Jünger, Michael
5 Halperin, Dan
4 Daciuk, Jan
4 Di Battista, Giuseppe
4 Eades, Peter
4 Kettner, Lutz
4 Liotta, Giuseppe
4 Navarro, Gonzalo
4 Tamassia, Roberto
3 de Moor, Oege
3 Di Gaspero, Luca
3 Didimo, Walter
3 Fenwick, Peter
3 Fogel, Efi
3 Klop, Jan Willem
3 Martini, Luca
3 Mehlhorn, Kurt
3 Nielson, Flemming
3 Pugliese, Rosario
3 Riis Nielson, Hanne
3 Schaerf, Andrea
3 Tennent, Robert D.
3 Yaman, Hande
2 Agrawal, Gagan
2 Barendregt, Hendrik Pieter
2 Barthe, Gilles
2 Berberich, Eric
2 Bille, Philip
2 Bird, Richard S.
2 Bolshakov, Igor A.
2 Borzemski, Leszek
2 Boudriga, Noureddine A.
2 Buchheim, Christoph
2 Bunke, Horst
2 Carlsson, Svante
2 Carrasco, Rafael C.
2 Chen, Jingsen
2 Chimani, Markus
2 Cole, A. J.
2 Crainic, Teodor Gabriel
2 Damas, Luís
2 De Francesco, Nicoletta
2 De Nicola, Rocco
2 Deorowicz, Sebastian
2 Douence, Rémi
2 Estivill-Castro, Vladimir
2 Fluet, Matthew T.
2 Gagie, Travis
2 Garg, Ashim
2 Giachino, Elena
2 Gorla, Daniele
2 Grossi, Roberto
2 Hamlet, Richard G.
2 Hanniel, Iddo
2 Hikita, Teruo
2 Hofmann, Heike
2 Hu, Yefa
2 Järvi, Jaakko
2 Kakugawa, Hirotsugu
2 Kallehauge, Brian
2 Kaut, Michal
2 Kennaway, J. R.
2 Kennedy, Ken
2 Kim, Deok-Soo
2 Kluge, Werner E.
2 Knuth, Donald Ervin
2 Labbé, Martine V.
2 Laguna, Manuel
2 Lämmel, Ralf
2 Lanza, Michele
2 Lee, Mokwon
2 Lettieri, Giuseppe
2 Liers, Frauke
2 Lins, Rafael Dueire
2 Liu, Xian
2 Lluch Lafuente, Alberto
2 MacLeod, Allan J.
2 Mankowski, Michal
2 Manzini, Giovanni
2 Marenco, Javier L.
2 Margaritis, Konstantinos G.
2 Martí, Rafael
2 Masuzawa, Toshimitsu
2 Méndez-Díaz, Isabel
2 Michailidis, Panagiotis D.
2 Milano, Michela
2 Mili, Ali
2 Moffat, Alistair
2 Moshkov, Mikhail Ju.
2 Noshita, Kohei
2 Paredes, Rodrigo
2 Peltola, Hannu
2 Petersson, Ola
2 Pion, Sylvain
2 Piperno, Adolfo
2 Poizat, Pascal
2 Qiu, Zongyan
2 Rainey, Mike
2 Reinelt, Gerhard
2 Reppy, John H.
...and 964 more Authors
all top 5

Cited in 142 Journals

45 Theoretical Computer Science
36 Information Processing Letters
24 Acta Informatica
17 Software. Practice & Experience
17 Journal of Functional Programming
11 Discrete Applied Mathematics
10 Science of Computer Programming
9 Computational Geometry
9 Theory and Practice of Logic Programming
8 New Generation Computing
8 Algorithmica
8 Real-Time Systems
8 BIT. Nordisk Tidskrift for Informationsbehandling
7 Annals of Operations Research
7 International Journal of Computer Mathematics
6 Applied Mathematics and Computation
6 Journal of Soviet Mathematics
6 Information and Computation
6 Computers & Operations Research
6 Formal Aspects of Computing
6 European Journal of Operational Research
5 Information Sciences
5 Journal of Computational and Applied Mathematics
5 Journal of Computer and System Sciences
5 MSCS. Mathematical Structures in Computer Science
5 Formal Methods in System Design
5 Higher-Order and Symbolic Computation
5 Computer Languages, Systems & Structures
5 Mathematics in Computer Science
4 Computers & Mathematics with Applications
4 BIT
4 Computing
4 Journal of Symbolic Computation
4 International Journal of Parallel Programming
4 Journal of Automated Reasoning
4 International Journal of Foundations of Computer Science
4 Mathematical Programming. Series A. Series B
4 Journal of Scheduling
4 Journal of Discrete Algorithms
3 International Journal of Computer & Information Sciences
3 The Journal of Symbolic Logic
3 Mathematics and Computers in Simulation
3 International Journal of Production Research
3 Applied Numerical Mathematics
3 Journal of Computer Science and Technology
3 Mathematical and Computer Modelling
3 Computational Statistics
3 Cybernetics and Systems Analysis
3 Constraints
3 ACM Journal of Experimental Algorithmics
3 Discrete Optimization
3
3 Journal of Logical and Algebraic Methods in Programming
2 Mathematics of Computation
2 Programming and Computer Software
2
2 Cybernetics
2 Cybernetics and Systems
2 Random Structures & Algorithms
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 International Journal of Computational Geometry & Applications
2 Pattern Recognition
2 Annals of Mathematics and Artificial Intelligence
2 Journal of Graph Algorithms and Applications
2 RAIRO. Theoretical Informatics and Applications
2 The Journal of Logic and Algebraic Programming
2 JMMA. Journal of Mathematical Modelling and Algorithms
2 4OR
2 Science China. Information Sciences
1 ACM Computing Surveys
1 Artificial Intelligence
1 The Canadian Journal of Statistics
1 Computer Physics Communications
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 International Journal for Numerical Methods in Engineering
1 Kybernetika
1 Notre Dame Journal of Formal Logic
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 Concurrency: Practice and Experience
1 Journal of Global Optimization
1 Applied Intelligence
1 RAIRO. Informatique Théorique et Applications
1 Computational Optimization and Applications
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Combinatorics, Probability and Computing
1 Top
...and 42 more Journals
all top 5

Cited in 36 Fields

420 Computer science (68-XX)
75 Operations research, mathematical programming (90-XX)
41 Numerical analysis (65-XX)
36 Combinatorics (05-XX)
34 Mathematical logic and foundations (03-XX)
13 Information and communication theory, circuits (94-XX)
11 Biology and other natural sciences (92-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 Statistics (62-XX)
5 Probability theory and stochastic processes (60-XX)
4 Category theory; homological algebra (18-XX)
4 Special functions (33-XX)
4 Quantum theory (81-XX)
4 Systems theory; control (93-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Algebraic geometry (14-XX)
3 Approximations and expansions (41-XX)
2 General and overarching topics; collections (00-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Convex and discrete geometry (52-XX)
2 Fluid mechanics (76-XX)
1 History and biography (01-XX)
1 General algebraic systems (08-XX)
1 Number theory (11-XX)
1 Group theory and generalizations (20-XX)
1 Measure and integration (28-XX)
1 Functions of a complex variable (30-XX)
1 Partial differential equations (35-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Astronomy and astrophysics (85-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year