|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 109 occurrences of 69 keywords
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
144 | Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg |
Inference of User-Defined Type Qualifiers and Qualifier Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 264-278, 2006, Springer, 3-540-33095-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
106 | David Greenfieldboyce, Jeffrey S. Foster |
Type qualifier inference for java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 321-336, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability |
57 | Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken |
Flow-insensitive type qualifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(6), pp. 1035-1087, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
const, taint, security, static analysis, constraints, types, Type qualifiers |
49 | David Greenfieldboyce, Jeffrey S. Foster |
Visualizing type qualifier inference with Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, ETX 2004, Vancouver, British Columbia, Canada, October 24, 2004, pp. 57-61, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst |
Practical pluggable types for java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 201-212, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac |
44 | Matthew M. Papi, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 809-810, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac |
44 | Matthew M. Papi, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 809-810, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac |
44 | Karl Chen, David A. Wagner 0001 |
Large-scale analysis of format string vulnerabilities in Debian Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007, pp. 75-84, 2007, ACM, 978-1-59593-711-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
format string vulnerability, large-scale analysis, type-qualifier inference |
44 | Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks |
Transparent proxies for java futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 206-223, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, type inference, proxy, future, type qualifier |
38 | Eric Eide, John Regehr |
Volatiles are miscompiled, and what to do about it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 255-264, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
compiler defect, compiler testing, random program generation, random testing, automated testing, volatile |
38 | John Regehr, Nathan Cooprider, David Gay |
Atomicity and visibility in tiny embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 2, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Kübra Duran, Mehmet Özdem, Trang Hoang, Trung Q. Duong, Berk Canberk |
Age of Twin (AoT): A New Digital Twin Qualifier for 6G Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things Mag. ![In: IEEE Internet Things Mag. 6(4), pp. 138-143, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Andrei Mihai Ducu, Michael Cochez |
Qualifier Recommendation for Wikidata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wikidata@ISWC ![In: Proceedings of the Wikidata Workshop 2023 co-located with 22nd International Semantic Web Conference (ISWC 2023), Athens, Greece, November 13, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
30 | Muchao Ye, Quanzeng You, Fenglong Ma |
QUALIFIER: Question-Guided Self-Attentive Multimodal Fusion Network for Audio Visual Scene-Aware Dialog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022, Waikoloa, HI, USA, January 3-8, 2022, pp. 2503-2511, 2022, IEEE, 978-1-6654-0915-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Audrey Lehmann |
Comment qualifier les défauts d'adhésion médicamenteuse : nouvelle taxonomie francophone et construction d'un outil de screening. (How to qualify medication adherence difficulties : new taxonomy in french and construction of a screening tool). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
30 | Rui Wang, Sei-ichiro Kamata |
Nuclei Segmentation of Cervical Cell Images Based on Intermediate Segment Qualifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 24th International Conference on Pattern Recognition, ICPR 2018, Beijing, China, August 20-24, 2018, pp. 3941-3946, 2018, IEEE Computer Society, 978-1-5386-3788-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Paula Lakomicki |
Démarche incrémentale pour qualifier la fiabilité du système de perception et de décision du véhicule autonome. (Ip ncremental framework to qualify the reliability of the autonomous vehicle's perception and decision system). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
30 | Bernaridho I. Hutabarat |
New Theory for Code-translation; Punctuator and Qualifier as Two Token Categories and Supplementary Concepts of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSE ![In: Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, SCSE'15, Berkeley, CA, USA, March 5-6, 2015, pp. 282-286, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Juan Carlos Nieves, Saeed Partonia, Esteban Guerrero, Helena Lindgren |
A Probabilistic Non-monotonic Activity Qualifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015, pp. 420-427, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson |
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, pp. 234-245, 2015, IEEE Computer Society, 978-1-4799-1934-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Nelson I. González, Leonardo Garrido |
Comparison of a New Qualifier Method for Multiple Object Tracking in RoboCup 2D Simulation League. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings, pp. 722-733, 2014, Springer, 978-3-319-12026-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Patrice Bouvier, Karim Sehaba, Élise Lavoué, Sébastien George |
Approche qualitative pour identifier et qualifier l'engagement des joueurs à partir de leurs traces d'interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC ![In: IC 2013 : 24es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 24th French Knowledge Engineering Conference), Lille, France, July 1-5, 2013., pp. 17-32, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
30 | Greg Finak, Wenxin Jiang 0002, Jorge Pardo, Adam Asare, Raphael Gottardo |
QUAliFiER: An automated pipeline for quality assessment of gated flow cytometry data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 13, pp. 252, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Haitao Yu 0006, Fuji Ren, Song Liu |
Qualifier Mining for NTCIR-INTENT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 9th NTCIR Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, Question Answering and Cross-Lingual Information Access, NTCIR-9, National Center of Sciences, Tokyo, Japan, December 6-9, 2011, 2011, National Institute of Informatics (NII), 978-4-86049-056-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
30 | Kaleem Iqbal Siddiqui, Raja Iqbal, Tauseef Ahmad Rana |
Qualifier-based Access to Web-Services for Portal-to-Portal Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria, pp. 138-144, 2005, IEEE Computer Society, 0-7695-2504-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Hui Yang 0001, Hang Cui, Mstislav Maslennikov, Long Qiu, Min-Yen Kan, Tat-Seng Chua |
QUALIFIER In TREC-12 QA Main Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Twelfth Text REtrieval Conference, TREC 2003, Gaithersburg, Maryland, USA, November 18-21, 2003, pp. 480-488, 2003, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
30 | Hui Yang 0001, Tat-Seng Chua |
QUALIFIER: Question Answering by Lexical Fabric and External Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: EACL 2003, 10th Conference of the European Chapter of the Association for Computational Linguistics, April 12-17, 2003, Agro Hotel, Budapest, Hungary, pp. 363-370, 2003, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
30 | Magnus Bergquist, Jan Ljungberg, Ulrika Lundh Snis |
Practising peer review in organizations: a qualifier for knowledge dissemination and legitimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Technol. ![In: J. Inf. Technol. 16(2), pp. 99-112, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Matthew M. Papi, Mahmood Ali, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 759-760, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, verification, compiler, annotation, type system, type qualifier, nonnull, javac |
25 | Matthew M. Papi, Mahmood Ali, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 723-724, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, verification, compiler, annotation, type system, type qualifier, nonnull, javac |
25 | Sven De Labey, Eric Steegmans |
A type system extension for middleware interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAI ![In: Proceedings of the 1st Workshop on Middleware-Application Interaction, MAI 2007, in conjunction with Euro-Sys 2007, Lisbon, Portugal, March 20, 2007, pp. 37-42, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
group method invocation, fault tolerance, type system, type qualifier |
25 | George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(3), pp. 477-526, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pointer qualifier, libraries, subtyping, Memory safety |
25 | Henry J. Borron |
Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 297-324, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multidimensional objects, qualifier, standard method combination. monotonicity, pure declarativeness, invocation sequence diagram, regularity condition, prevalence rule, stability, efficiency, role, linearization, combination, congruency, multiple inheritance, multiple dispatch |
19 | Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
Mixing type checking and symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 436-447, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms |
19 | Nobutaka Suzuki, Yuji Fukushima |
Satisfiability of simple xpath fragments in the presence of dtds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIDM ![In: 11th ACM International Workshop on Web Information and Data Management (WIDM 2009), Hong Kong, China, November 2, 2008, pp. 15-22, 2009, ACM, 978-1-60558-808-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
satisfiability, xpath, xml, dtd |
19 | Christian Haack, Erik Poll |
Type-Based Object Immutability with Flexible Initialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
SharC: checking data sharing strategies for multithreaded C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 149-158, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data-race |
19 | Parminder Chhabra, Clayton D. Scott, Eric D. Kolaczyk, Mark Crovella |
Distributed Spatial Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 1705-1713, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Christine Voiron-Canicio |
A Spatio-morphological Modelling for Spread Predicting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 210-220, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
built-up area spread, simulations, image analysis, Mathematical Morphology, spatial modelling |
19 | Amine Aït Younes, Isis Truck, Herman Akdag |
Image Retrieval using Fuzzy Representation of Colors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(3), pp. 287-298, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dominant colors, Human computer interaction, Image classification, Color spaces, Fuzzy membership functions |
19 | Fumiko Satoh, Yuichi Nakamura 0003, Koichi Ono |
Adding Authentication to Model Driven Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 585-594, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Lori A. Flynn, Hans-Peter Dommel |
The QuORRUM Protocol: Efficient Tree Repair for Qualification-Based Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2005), 22-24 August 2005, Lake Buena Vista, FL, USA, pp. 34, 2005, IEEE Computer Society, 0-7695-2423-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multicast tree formation and repair, sparsemode protocols, QoS routing |
19 | Newton Lee |
Samsung Electronics brings the world cyber games finals to the U.S. for the first time in 2004. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 2(3), pp. 4, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Ibrahim Cingil |
Supporting Global User Profiles Through Trusted Authorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 31(1), pp. 11-17, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Eiter, Yuri Gurevich, Georg Gottlob |
Existential second-order logic over strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(1), pp. 77-131, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic |
19 | Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken |
A Theory of Type Qualifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, pp. 192-203, 1999, ACM, 1-58113-094-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Irvin M. Miller |
Data Bases and Structures for a Gamut of Graphical Application Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base Techniques for Pictorial Applications ![In: Data Base Techniques for Pictorial Applications, Florence, Italy, June 20-22, 1979, Proceedings, pp. 443-457, 1979, Springer, 3-540-09763-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|