Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "APLAS"( http://dblp.L3S.de/Venues/APLAS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aplas

Publication years (Num. hits)
2000 (23) 2001 (30) 2002 (32) 2003 (28) 2004 (30) 2005 (28) 2006 (26) 2007 (29) 2008 (24) 2009 (25) 2010 (31) 2011 (28) 2012 (28) 2013 (27) 2014 (26) 2015 (27) 2016 (24) 2017 (27) 2018 (23) 2019 (25) 2020 (20) 2021 (18) 2022-2023 (27)
Publication types (Num. hits)
inproceedings(582) proceedings(24)
Venues (Conferences, Journals, ...)
APLAS(606)
Authors
Naoki Kobayashi 0001(22) Zhenjiang Hu(16) Kwangkeun Yi(14) Atsushi Igarashi(12) Wei-Ngan Chin(11) Masato Takeichi(10) Siau-Cheng Khoo(9) Martin Sulzmann(8) Atsushi Ohori(7) Kohei Suenaga(7) Peter Thiemann 0001(7) Shin-Cheng Mu(7) Aquinas Hobor(6) Beniamino Accattoli(6) Daisuke Kimura(6) Hongseok Yang(6) More (+10 of total 1053)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 44 keywords
Results
Found 606 publication records. Showing 606 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Yasuhiko Minamide A New Criterion for Safe Program Transformations. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Yasuhiro Ajiro, Kazunori Ueda Kima - An Automated Error Correction System for Concurrent Logic Programs. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Haiyan Zhao, Zhenjiang Hu, Masato Takeichi Mining Optimized Ranges. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Koichi Takahashi, Masami Hagiya Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Rafael Ramírez 0001, Andrew E. Santosa A Declarative Approach to Concurrency in Java. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Oukseh Lee, Kwangkeun Yi A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #601 - #606 of 606 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7]
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