Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Alcor with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-2017 (13)
Publication types (Num. hits)
article(9) book(1) inproceedings(3)
Venues (Conferences, Journals, ...)
Commun. ACM(4) Elektron. Rechenanlagen(3) Computing(1) ICCCS(1) International Conference on Co...(1) J. Autom. Reason.(1) PARA(1)
Authors
Richard Baumann(4) Alcor Lab(2) Beniamino Di Martino(2) David Gries(2) Hans-Rüdiger Wiehle(2) Manfred Paul 0001(2) Anna Bonifacio(1) E. Theissen(1) Jeremy Gow(1) Mario Gianni(1) Mohammad Salah Uddin(1) P. J. Taylor(1) Paul A. Cairns(1) Paul A. Samet(1) Rudolf Bayer(1) S. R. Clark(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 4 keywords
Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
109Paul A. Cairns, Jeremy Gow Integrating Searching and Authoring in Mizar. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Alcor, Mizar, Information retrieval, Mathematics, LSI
60Beniamino Di Martino, Anna Bonifacio Specification and Automated Recognition of Algorithmic Concepts with ALCOR. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Beniamino Di Martino ALCOR - An Algorithmic Concept Recognition Tool to Support High Level Parallel Program Development. Search on Bibsonomy PARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60David Gries, Manfred Paul 0001, Hans-Rüdiger Wiehle Some techniques used in the ALCOR ILLINOIS 7090. Search on Bibsonomy Commun. ACM The full citation details ... 1965 DBLP  DOI  BibTeX  RDF ALGOL
51Mohammad Salah Uddin, Mario Gianni, Alcor Lab Long range robot teleoperation system based on internet of things. Search on Bibsonomy ICCCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
34Rudolf Bayer, David Gries, Manfred Paul 0001, Hans-Rüdiger Wiehle The ALCOR Illinois 7090/7094 post mortem dump. Search on Bibsonomy Commun. ACM The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
34Richard Baumann ALGOL-Manual der ALCOR-Gruppe - Einführung in die algorithmische Formelsprache ALGOL (2. verb. Aufl.). Search on Bibsonomy 1967   RDF
34Paul A. Samet, P. J. Taylor Comments on the ALCOR group represenatation of of ALGOL symbols. Search on Bibsonomy Commun. ACM The full citation details ... 1964 DBLP  DOI  BibTeX  RDF ALGOL
34Richard Baumann ALGOL-Manual der ALCOR-Gruppe, Teil III. Search on Bibsonomy Elektron. Rechenanlagen The full citation details ... 1962 DBLP  DOI  BibTeX  RDF
34Richard Baumann ALGOL-Manual der ALCOR-Gruppe, Teil II. Search on Bibsonomy Elektron. Rechenanlagen The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
34Richard Baumann ALGOL-Manual der ALCOR-Gruppe (Teil 1). Search on Bibsonomy Elektron. Rechenanlagen The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
33S. R. Clark Letters to the editor: Endorsing the Illinois post mortem dump. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF ALCOR post mortem dump
25E. Theissen Automatische Umwandlung von BELL-Programmen in ALGOL-Programme. Search on Bibsonomy Computing The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license