Software and its engineering

Nothing Special » Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

skip to main content

Advanced Search
Browse
About
- Sign in
- Register

Advanced Search
Journals
Magazines
Proceedings
Books
SIGs
Conferences
People
More

Search ACM Digital Library

Software and its engineering Results

Search

Advanced Search

Applied Filters

Software and its engineering
Information and ControlRemove filter

People

Names

Andrzej Ehrenfeucht (2)
Eljas Soisalon-Soininen (2)
Grzegorz Rozenberg (2)
Nissim Francez (2)
Peter Widmayer (2)
Rüdiger Reischuk (2)
William C Rounds (2)
Antonio Restivo (1)
Arto K Salomaa (1)
David Harel (1)
Georg Lausen (1)
Heikki Mannila (1)
Johann A Makowsky (1)
John Grant (1)
Matthew C B Hennessy (1)
Michał Grabowski (1)
Mitch Wand (1)
Scott Weinstein (1)
Willem Paul de Roever (1)
Zvi Galil* (1)

Institutions

University of Warsaw (3)
Bielefeld University (2)
IBM Research - Almaden (2)
The University of Edinburgh (2)
The University of Texas at Austin (2)
University of Michigan, Ann Arbor (2)
CNRS National Centre for Scientific Research (1)
Kyoto University (1)
Purdue University (1)
Tel Aviv University (1)
Towson University (1)
University of Colorado Boulder (1)
University of Helsinki (1)
University of Houston (1)
University of Kansas (1)
University of Kiel (1)
University of Turku (1)
University of Waterloo (1)
Utrecht University (1)
Weizmann Institute of Science Israel (1)

Authors

Andrzej Ehrenfeucht (2)
Eljas Soisalon-Soininen (2)
Grzegorz Rozenberg (2)
Nissim Francez (2)
Peter Widmayer (2)
Rüdiger Reischuk (2)
William C Rounds (2)
Antonio Restivo (1)
Arto K Salomaa (1)
David Harel (1)
Georg Lausen (1)
Heikki Mannila (1)
Johann A Makowsky (1)
John Grant (1)
Matthew C B Hennessy (1)
Michał Grabowski (1)
Mitch Wand (1)
Scott Weinstein (1)
Willem Paul de Roever (1)
Zvi Galil* (1)

Reviewers

John D. McLean (2)
Daniel M. Berry (1)
David B. Benson (1)
Elizabeth Ann Buschlen Unger (1)
John A. Campbell (1)
Andranik Mirzaian (1)
Martin Rem (1)
Arthur G. Werschulz (1)
Cristian Calude (1)
Harold P. Edmundson (1)
Juris Hartmanis (1)
J. C. Lagarias (1)
Alexei P. Stolboushkin (1)
Mordechai Ben-Menachem (1)
David Harel (1)
Michael A. Harrison (1)
Brian A. Coan (1)
Francois Aribaud (1)
Robert D. Tennent (1)
Paul Cull (1)

Publications

All Publications

Other periodicals (46)

Publisher

Academic Press Professional, Inc. (46)

Publication Date

Upon changing this filter the page will automatically refresh

Export Citations

Selected
All Results

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

46 ResultsEdit SearchSave SearchFailed to save your search, try again laterSearch has been saved (My Saved Searches)RSS

Save this search

Please login to be able to save your searches and receive alerts for new content matching your search criteria.

Searched The ACM Guide to Computing Literature (3,796,861 records)|Limit your search to The ACM Full-Text Collection (767,717 records)

Results
People

Showing 1 - 20of46 Results

Select All

Export Citations Save to Binder

Save to Binder

Create a New Binder

Name

per page:

10
20
50

Sort by: Recency

Earliest
Latest
Downloaded
Cited

article
December 1986
An easy proof of Greibach normal form
- Andrzej Ehrenfeucht,
- Grzegorz Rozenberg
Information and Control (ICON), Volume 63, Issue 3Pages 190–199https://doi.org/10.1016/S0019-9958(84)80013-3
3
Metrics
Total Citations3
article
November 1986
Can message buffers be axiomatized in linear temporal logic?
Information and Control (ICON), Volume 63, Issue 1-2Pages 88–112https://doi.org/10.1016/S0019-9958(84)80043-1
6
Metrics
Total Citations6
article
October 1986
On the power of two-way random generators and the impossibility of deterministic poly-space simulations
- Marek Karpinski,
- Rutger Verbeek
Information and Control (ICON), Volume 71, Issue 1-2Pages 131–142https://doi.org/10.1016/S0019-9958(86)80020-1
2
Metrics
Total Citations2
article
October 1986
An ideal model for recursive polymorphic types
Information and Control (ICON), Volume 71, Issue 1-2Pages 95–130https://doi.org/10.1016/S0019-9958(86)80019-5
60
Metrics
Total Citations60
article
October 1986
AVL-trees for localized search
- Athanasios K Tsakalidis
Information and Control (ICON), Volume 67, Issue 1-3Pages 173–194https://doi.org/10.1016/S0019-9958(85)80034-6
14
Metrics
Total Citations14
article
August 1986
Definability by constant-depth polynomial-size circuits
- Larry Denenberg,
- Yuri Gurevich
Information and Control (ICON), Volume 70, Issue 2-3Pages 216–240https://doi.org/10.1016/S0019-9958(86)80006-7
13
Metrics
Total Citations13
article
August 1986
Pre-analysis locking
Information and Control (ICON), Volume 70, Issue 2-3Pages 193–215https://doi.org/10.1016/S0019-9958(86)80005-5
2
Metrics
Total Citations2
article
August 1986
Every sequence is reducible to a random one
- Péter Gács
Information and Control (ICON), Volume 70, Issue 2-3Pages 186–192https://doi.org/10.1016/S0019-9958(86)80004-3
10
Metrics
Total Citations10
article
July 1986
Aggregating inductive expertise
Information and Control (ICON), Volume 70, Issue 1Pages 69–95https://doi.org/10.1016/S0019-9958(86)80025-0
10
Metrics
Total Citations10
article
July 1986
Functional dependencies and constraints on Null values in database relations
- Paolo Atzeni,
- Nicola M Morfuni
Information and Control (ICON), Volume 70, Issue 1Pages 1–31https://doi.org/10.1016/S0019-9958(86)80022-5
42
Metrics
Total Citations42
article
March 1986
Syntax directed analysis of liveness properties of while programs
- Krzysztof R Apt,
- Carole Delporte-Gallet
Information and Control (ICON), Volume 68, Issue 1-3Pages 223–253https://doi.org/10.1016/S0019-9958(86)80037-7
0
Metrics
Total Citations0
article
March 1986
A modal characterization of observational congruence on finite terms of CCS
- S Graf,
- J Sifakis
Information and Control (ICON), Volume 68, Issue 1-3Pages 125–145https://doi.org/10.1016/S0019-9958(86)80031-6
16
Metrics
Total Citations16
article
July 1985
A proof rule for fair termination of guarded commands
Information and Control (ICON), Volume 66, Issue 1-2Pages 83–102https://doi.org/10.1016/S0019-9958(85)80014-0
11
Metrics
Total Citations11
article
July 1985
Implicit data structures for weighted elements
- Greg N. Frederickson
Information and Control (ICON), Volume 66, Issue 1-2Pages 61–82https://doi.org/10.1016/S0019-9958(85)80013-9
3
Metrics
Total Citations3
article
July 1985
On relative completeness of Hoare logics
- Michal Grabowski
Information and Control (ICON), Volume 66, Issue 1-2Pages 29–44https://doi.org/10.1016/S0019-9958(85)80010-3
2
Metrics
Total Citations2
article
July 1985
On the relationships between Scott domains, synchronization trees, and metric spaces
- William C. Rounds
Information and Control (ICON), Volume 66, Issue 1-2Pages 6–28https://doi.org/10.1016/S0019-9958(85)80009-7
2
Metrics
Total Citations2
article
April 1985
The equivalence problem and correctness formulas for a simple class of programs
- Oscar H. Ibarra,
- Louis E. Rosier
Information and Control (ICON), Volume 65, Issue 1Pages 18–41https://doi.org/10.1016/S0019-9958(85)80018-8
0
Metrics
Total Citations0
article
April 1985
Normalization and axiomatization for numerical dependencies
- John Grant,
- Jack Minker
Information and Control (ICON), Volume 65, Issue 1Pages 1–17https://doi.org/10.1016/S0019-9958(85)80017-6
6
Metrics
Total Citations6
article
March 1985
Two complete axiom systems for a theory of communicating sequential processes
- Rocco De Nicola
Information and Control (ICON), Volume 64, Issue 1-3Pages 136–172https://doi.org/10.1016/S0019-9958(85)80048-6
0
Metrics
Total Citations0
article
March 1985
Propositional dynamic logic of flowcharts
- D. Harel,
- R. Sherman
Information and Control (ICON), Volume 64, Issue 1-3Pages 119–135https://doi.org/10.1016/S0019-9958(85)80047-4
2
Metrics
Total Citations2

1
2
3

Footer

Categories

Journals
Magazines
Books
Proceedings
SIGs
Conferences
Collections
People

About

About ACM Digital Library
ACM Digital Library Board
Subscription Information
Author Guidelines
Using ACM Digital Library
All Holdings within the ACM Digital Library
ACM Computing Classification System
Accessibility Statement

Join

Join ACM
Join SIGs
Subscribe to Publications
Institutions and Libraries

Connect

Contact us via email
ACM on Facebook
ACM DL on X
ACM on Linkedin
Send Feedback
Submit a Bug Report

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2024 ACM, Inc.

Terms of Usage
Privacy Policy
Code of Ethics

ACM Digital Library home

Your Search Results Download Request

We are preparing your search results for download ...

We will inform you here when the file is ready.

Your Search Results Download Request

Your file of search results citations is now ready.

Your Search Results Download Request

Your search export query has expired. Please try again.