Validation of EXPRESS Models Using Prolog
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
LibreCat: /record/39583

Approximation of convex polygons
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
LibreCat: /record/3050
DOI: 10.1007/bfb0032068

Formal Semantics of an Entity-Relationship Query Language
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
LibreCat: /record/7824

Elementary Actions on an Extended Entity-Relationship Database
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
LibreCat: /record/8259
DOI: http://dx.doi.org/10.1007/BFb0017372

A new universal class of hash functions and dynamic hashing in real time
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat: /record/16738
DOI: 10.1007/bfb0032018

Dynamic hashing strategies
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat: /record/16739
DOI: 10.1007/bfb0029597

On the complexity of genuinely polynomial computation
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat: /record/16740
DOI: 10.1007/bfb0029630

How to distribute a dictionary in a complete network
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.
LibreCat: /record/16741
DOI: 10.1145/100216.100229

Not all keys can be hashed in constant time
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.
LibreCat: /record/16742
DOI: 10.1145/100216.100247

Das Heinz Nixdorf-Institut der Universität-GH Paderborn
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
LibreCat: /record/16824

IRAS On-Line Catalogs at CASA
G. Domik, E.W. Brugel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
LibreCat: /record/16913

Applications of IRAS Preprocessing at the Workstation
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat: /record/15393

Workstation-based preprocessing of IRAS sky-flux images
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
LibreCat: /record/15394

A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
LibreCat: /record/15395

Star-a scientific toolkit for astrophysical research
K. Mickus, G. Domik, E. Brugel, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat: /record/15051

Projections of vector addition system reachability sets are semilinear
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

Konzepte einer Software-Architektur-Beschreibungssprache
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.
LibreCat: /record/7821

CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata
G. Engels, in: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 1989, pp. 1–16.
LibreCat: /record/7822

CADDY: Computer-Aided Design of Non-Standard Databases
G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, H.-D. Ehrich, in: Proceedings of the International Conference on System Development Environments &; Factories, Berlin, Germany, Pitman Publishing, Berlin, 1989.
LibreCat: /record/7823

Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung)
G. Engels, Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung), TU Braunschweig, 1989.
LibreCat: /record/8187

Programmentwicklungsumgebungen: Konzepte und Realisierung
G. Engels, W. Schäfer, Programmentwicklungsumgebungen: Konzepte Und Realisierung, Teubner, Stuttgart, 1989.
LibreCat: /record/7511

On computations with integer division
B. Just, F. Meyer auf der Heide, A. Wigderson, RAIRO - Theoretical Informatics and Applications (1989) 101–111.
LibreCat: /record/16743
DOI: 10.1051/ita/1989230101011

An optimal parallel dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89, 1989.
LibreCat: /record/16744
DOI: 10.1145/72935.72974

On genuinely time bounded computations
F. Meyer auf der Heide, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat: /record/16745
DOI: 10.1007/bfb0028969

Time-optimal simulations of networks by universal parallel computers
F. Meyer auf der Heide, R. Wanka, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat: /record/16746
DOI: 10.1007/bfb0028978

Computing minimum spanning forests on 1- and 2-dimensional processor arrays
F. Meyer auf der Heide, in: STACS 89, Berlin, Heidelberg, 1989.
LibreCat: /record/16789
DOI: 10.1007/bfb0028983

ODICE: Object-Oriented Hardware Description in CAD Environment
F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, Washington DC, 1989.
LibreCat: /record/39585

Perspektiven für die Logikprogrammierung
H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.
LibreCat: /record/19820

A Highly Integrated Tool Set for Program Development Support
G. Engels, T. Janning, W. Schäfer, in: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), ACM Press, New York, NY, USA, 1988, pp. 1–10.
LibreCat: /record/7818
DOI: http://dx.doi.org/10.1145/62453.62454

Konzeption einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, H.-D. Ehrich, in: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988, pp. 151–157.
LibreCat: /record/7819

Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich, in: G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich (Eds.), Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” G. Snelting, Darmstadt (Germany), 1988, pp. 38–51.
LibreCat: /record/7820

Ein Konzept zur Beschreibung von Software-Architekturen
J. Ebert, G. Engels, Ein Konzept Zur Beschreibung von Software-Architekturen, EWH Koblenz, 1988.
LibreCat: /record/8186

Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung
G. Engels, T. Janning, W. Schäfer, in: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat: /record/8258

On the limits of computations with the floor function
L. Babai, B. Just, F. Meyer auf der Heide, Information and Computation (1988) 99–107.
LibreCat: /record/16763
DOI: 10.1016/0890-5401(88)90031-4

Fast algorithms for N-dimensional restrictions of hard problems
F. Meyer auf der Heide, Journal of the ACM (JACM) (1988) 740–747.
LibreCat: /record/16764
DOI: 10.1145/44483.44490

A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.
LibreCat: /record/16765
DOI: 10.1016/0304-3975(88)90018-7

Dynamic perfect hashing: upper and lower bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, in: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
LibreCat: /record/16766
DOI: 10.1109/sfcs.1988.21968

On computations with integer division
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.
LibreCat: /record/16767
DOI: 10.1007/bfb0035829

Upper and lower bounds for the dictionary problem
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
LibreCat: /record/16768
DOI: 10.1007/3-540-19487-8_24

Enhancement Techniques in Digital Image Processing
G. Domik, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
LibreCat: /record/16915

A multi-spectral analysis system using large databases.
E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.
LibreCat: /record/15320

Dependence of image grey values on topography in SIR-B images
G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 1013–1022.
LibreCat: /record/15321

SIR-B stereo-radargrammetry of Australia
F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.
LibreCat: /record/15322

Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

Image based SAR product simulation for analysis
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
LibreCat: /record/21791

A Hybrid Interpreter in a Software Development Environment
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
LibreCat: /record/7816

On the Structure of Structure-Oriented Editors for Different Applications
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
LibreCat: /record/7817

Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat: /record/16772
DOI: 10.1137/0216007

The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat: /record/16773
DOI: 10.1137/0216008

Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat: /record/16916

Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat: /record/15038

Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat: /record/15050

Classes of first order formulas under various satisfiability definitions
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119

Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 492–497.
LibreCat: /record/21792
DOI: 10.1109/TGRS.1986.289663

Digital terrain mapping with STAR-1 SAR data
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.
LibreCat: /record/21793

Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, in: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, 1986, pp. 117–119.
LibreCat: /record/21794

On the Structure of an Incremental and Integrated Software Development Environment
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.
LibreCat: /record/7815

Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques
G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften der DDR, Bautzen, 1986, pp. 172–184.
LibreCat: /record/8256

Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat: /record/7588

Efficient Simulations among Several Models of Parallel Computers
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
LibreCat: /record/16771
DOI: 10.1137/0215008

A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat: /record/16774
DOI: 10.1007/3-540-16761-7_54

Speeding up random access machines by few processors
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat: /record/16775
DOI: 10.1007/3-540-16078-7_72

A time-space tradeoff for element distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat: /record/16776
DOI: 10.1007/3-540-16078-7_89

Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta
F. Leberl, G. Domik, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
LibreCat: /record/16917
DOI: 10.1109/TGRS.1986.289661

Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
LibreCat: /record/16918

Using secondary image products to aid in understanding and interpretation of radar imagery
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, European Space Agency, ESA SP, 1986, pp. 467–468.
LibreCat: /record/15318

Radargrammetric Experiments with Space Shuttle SIR-B Imagery
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm\rquote etrie et de T\rquote el\rquote ed\rquote etection= Internationales Archiv Der Photogrammetrie Und Fernerkundung (1986) 333–344.
LibreCat: /record/15254

Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery
G. Domik, in: Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods, 1985, pp. 248–253.
LibreCat: /record/21606

Radargrammetric aspects of SAR data evaluation
J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, F. Leberl, Thematic Applications of SAR Data (1985) 57.
LibreCat: /record/21607

Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), Springer, Berlin/Heidelberg, 1985, pp. 179–193.
LibreCat: /record/7813

The Design of an Adaptive and Portable Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), Florenz, 1985.
LibreCat: /record/7814

Lower time bounds for integer programming with two variables
C. Lautemann, F. Meyer auf der Heide, Information Processing Letters (1985) 101–105.
LibreCat: /record/16779
DOI: 10.1016/0020-0190(85)90042-0

Lower bounds for solving linear diophantine equations on random access machines
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
LibreCat: /record/16780
DOI: 10.1145/4221.4250

Simulating probabilistic by deterministic algebraic computation trees
F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
LibreCat: /record/16781
DOI: 10.1016/0304-3975(85)90079-9

The complexity of parallel sorting
F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat: /record/16782
DOI: 10.1109/sfcs.1985.58

One, two, three . . . infinity: lower bounds for parallel computation
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat: /record/16783
DOI: 10.1145/22145.22151

Fast algorithms for n-dimensional restrictions of hard problems
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat: /record/16784
DOI: 10.1145/22145.22191

Nondeterministic versus probabilistic linear search algorithms
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat: /record/16788
DOI: 10.1109/sfcs.1985.38

Lower time bounds for solving linear diophantine equations on several parallel computational models
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
LibreCat: /record/16823
DOI: 10.1016/S0019-9958(85)80035-8

Mapping with aircraft and satellite radar images
F. Leberl, M. Kobrick, G. Domik, The Photogrammetric Record 11 (1985) 647–665.
LibreCat: /record/15314
DOI: 10.1111/j.1477-9730.1985.tb01315.x

Towards a SAR system for snow and land ice applications
H. Rott, G. Domik, C. Mätzler, H. Miller, ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42) (1985) 29–39.
LibreCat: /record/15316

Radar Image Simulation and its Application in Image Analysis
G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.
LibreCat: /record/21603

Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik, F. Leberl, J. Raggam, in: XVth Congress of the International Society for Photogrammetry and Remote Sensing, Rio de Janeiro, 1984, pp. 109–116.
LibreCat: /record/21604

Evaluation of radar stereo viewability by means of a simulation technique
G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 1984.
LibreCat: /record/21605

A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
LibreCat: /record/16785
DOI: 10.1145/828.322450

On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
LibreCat: /record/16786
DOI: 10.1109/sfcs.1984.715901

Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat: /record/16787
DOI: 10.1007/3-540-12920-0_20

Method to Relate Digital SAR Images and Map Information in Mountainous Areas 
G. Domik, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat: /record/16922

The SAR-580 experiment on snow and glaciers at the Austrian test site
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
LibreCat: /record/15598

Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., Graz Research Center, 1984.
LibreCat: /record/15600

Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat: /record/15124

Software Specification by Graph Grammars
M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

Software Specification Using Graph Grammars
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
LibreCat: /record/16806
DOI: 10.1007/bf00265559

A lower time bound for the knapsack problem on random access machines
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
LibreCat: /record/16807
DOI: 10.1007/bf00290735

Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat: /record/16808
DOI: 10.1016/0020-0190(83)90001-7

A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.
LibreCat: /record/16809
DOI: 10.1145/800061.808734

Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat: /record/16810
DOI: 10.1007/bfb0036483