Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 68Q85 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002-2009 (11)
Publication types (Num. hits)
article(10) inproceedings(1)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(5) Ann. Math. Artif. Intell.(2) 4OR(1) Arch. Math. Log.(1) Comb.(1) PARA(1)
Authors
Albert Visser(1) Alexander Bolotov(1) Artie Basukoski(1) Charles Rackoff(1) Erez Petrank(1) Giovanna D'Agostino(1) H. Peter Gumm(1) Jerzy Tomasik(1) Jerzy Weyman(1) Joe Kilian(1) John Ngubiri(1) Julia Padberg(1) Karim Labadi(1) Marco Grandis(1) Martin Raussen(1) Sanjeevi Krishnan(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 8 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
30Venansius Baryamureeba, John Ngubiri On Improvement of the Volcano Search and Optimization Strategy. Search on Bibsonomy PARA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Giovanna D'Agostino, Albert Visser Finality regained: A coalgebraic study of Scott-sets and multisets. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Sanjeevi Krishnan A Convenient Category of Locally Preordered Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 54E99, 18F99, 18D15, 68Q85, 54F05
26Julia Padberg Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42
26H. Peter Gumm On Minimal Coalgebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18B20, 68Q85, 16W30
26Karim Labadi A new stochastic Petri net model and its applications to logistics systems. Search on Bibsonomy 4OR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MSC classification (2000) 68Q85, 90B05, 90B06, 93E03
26Martin Raussen Invariants of Directed Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A32, 55Pxx, 55Q05, 55U40, 68Q85, 68N30
26Marco Grandis Directed Algebraic Topology, Categories and Higher Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 55Pxx, 68Q85, 18D05
26Jerzy Tomasik, Jerzy Weyman Category localization semantics for specification refinements. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85
26Alexander Bolotov, Artie Basukoski A clausal resolution method for branching-time logic ECTL+. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
26Joe Kilian, Charles Rackoff, Erez Petrank Lower Bounds For Concurrent Zero Knowledge*. Search on Bibsonomy Comb. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 68Q17, 68Q10, 68Q85
Displaying result #1 - #11 of 11 (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