The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1954-1962 (16) 1964-1968 (18) 1969-1970 (22) 1971 (17) 1972 (15) 1973 (26) 1974 (23) 1975 (26) 1976 (58) 1977 (45) 1978 (114) 1979 (77) 1980 (93) 1981 (113) 1982 (92) 1983 (149) 1984 (137) 1985 (227) 1986 (306) 1987 (340) 1988 (287) 1989 (273) 1990 (408) 1991 (426) 1992 (500) 1993 (445) 1994 (561) 1995 (551) 1996 (637) 1997 (516) 1998 (538) 1999 (543) 2000 (682) 2001 (473) 2002 (689) 2003 (777) 2004 (1016) 2005 (1172) 2006 (1159) 2007 (1226) 2008 (1334) 2009 (1103) 2010 (616) 2011 (855) 2012 (735) 2013 (708) 2014 (784) 2015 (728) 2016 (1002) 2017 (845) 2018 (994) 2019 (735) 2020 (939) 2021 (790) 2022 (919) 2023 (1001) 2024 (312)
Publication types (Num. hits)
article(4905) book(35) incollection(121) inproceedings(23865) mastersthesis(1) phdthesis(206) proceedings(60)
Venues (Conferences, Journals, ...)
SIGCSE(1142) CoRR(863) AAAI(683) VMCAI(594) ACM Conference on Computer Sci...(500) IPSN(366) FPGA(361) IJCAI(343) GI-Jahrestagung(327) STOC(311) FOCS(291) SenSys(252) ICDE(244) ICALP(214) SAS(203) ADT(198) More (+10 of total 3879)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13870 occurrences of 5470 keywords

Results
Found 29193 publication records. Showing 29193 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
58Matthew Might, Benjamin Chambers, Olin Shivers Model Checking Via GammaCFA. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
58Roberto Giacobazzi, Isabella Mastroeni Domain Compression for Complete Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
58Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract domains condensing. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
51Matthew Might, Olin Shivers Improving flow analyses via GammaCFA: abstract garbage collection and counting. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
51Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han Goal-directed weakening of abstract interpretation results. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
50Tommaso Bolognesi, Egon Börger Abstract State Processes. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Antoine Miné The octagon abstract domain. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
48Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst Dynamic inference of abstract types. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units
45Jean-Francois Girard, Rainer Koschke, Georg Schied A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF metric-based approach, state encapsulations, abstract objects, C systems, software engineers, abstract data types, abstract data types, source code
45Roberto Giacobazzi, Isabella Mastroeni Adjoining Declassification and Attack Models by Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
45Sebastian Hunt, Isabella Mastroeni The PER Model of Abstract Non-interference. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract interpretation, Information flow, language-based security, non-interference
45Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
42Marc Aiguier, Diane Bahrami Structures for Abstract Rewriting. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
42Roberto Giacobazzi, Isabella Mastroeni Proving Abstract Non-interference. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract non-interference, verification, Abstract interpretation, language-based security
42Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato Complementation in Abstract Interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
42Roberto Giacobazzi, Isabella Mastroeni Abstract non-interference: parameterizing non-interference by abstract interpretation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract interpretation, language-based security, non-interference, abstract domains
42Andrew Gacek Relating nominal and higher-order abstract syntax specifications. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order abstract syntax, proof search, nominal logic
42Soonho Kong, Wontae Choi, Kwangkeun Yi Abstract parsing for two-staged languages with concatenation. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-staged languages, program analysis, abstract interpretation, parsing
42Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf Extending the compatibility notion for abstract WS-BPEL processes. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract profile, petri nets, compliance, WS-BPEL
42Konstantin Läufer, Martin Odersky Polymorphic Type Inference and Abstract Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
42Kevin Donnelly, Hongwei Xi Combining higher-order abstract syntax with first-order abstract syntax in ATS. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
42Junaid Ansari, Xi Zhang 0001, Andreas Achtzehn, Marina Petrova, Petri Mähönen A flexible MAC development framework for cognitive radio systems. Search on Bibsonomy WCNC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
42Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract interpretations complete. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Stanislas Nanchen, Robert F. Stärk A Security Logic for Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Dean Rosenzweig, Davor Runje, Neva Slani Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Erich Grädel, Antje Nowack Quantum Computing and Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001 On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40H. Gerstmann, Alexander Ollongren Abstract Objects as Abstract Data Types. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
39Yang Liu, Li Li Money Policy in Dynamic Stochastic General Equilibrium Models. Search on Bibsonomy CAR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Money Policy, Dynamic Stochastic General Equilibrium Model, MIU Citation: Yang Liu, Li Li, Money Policy in Dynamic Stochastic General Equilibrium Models, pp.406-409, 2009 International Asia Conference on Informatics in Control, Automation and Robotics, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(Money Policy in Dynamic Stochastic General Equilibrium Models), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1564), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Asia Conference on Informatics in Control, Automation and Robotics), var productTitle = escape(Informatics in Control, Automation and Robotics, International Asia Conference on), var acronymTemp = escape(CAR), var bcPageName = escape(C), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1564), var linkToIssue=escape(/plugins/dl/years/1564?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6544), var linkToAbstract = escape(/plugins/dl/doi/10.1109/CAR.2009.103), var journalPage = escape(cc), var abbrevTitle = escape(car), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(Money Policy in Dynamic Stochastic General Equilibrium Models), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=29" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), car, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
39Feifei Feng, Yongjun Wu, Chu Zhang, Yiming Wu Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer. Search on Bibsonomy ICNC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tumor marker, bronchofibroscope, lung cancer Citation: Feifei Feng, Yongjun Wu, Chu Zhang, Yiming Wu, Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer, icnc, vol. 2, pp.118-125, 2009 Fifth International Conference on Natural Computation, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(916), var pubYear = escape(2009), var volume = escape(2), var issueNo = escape(2), var packageTitle = escape(2009 Fifth International Conference on Natural Computation), var productTitle = escape(International Conference on Natural Computation), var acronymTemp = escape(ICNC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/916), var linkToIssue=escape(/plugins/dl/years/916?year=2009&vol=2), var linkToTOC=escape(/plugins/dl/toc/7230), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICNC.2009.635), var journalPage = escape(i), var abbrevTitle = escape(icnc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=30" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), Artificial neural networks, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
39Sushama P. Patil, Amol C. Goje The Effect of Developments in Student Attributes on Success in Programming of Management Students. Search on Bibsonomy ICETC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mathematical aptitude, performance consistence in mathematics etc Citation: Sushama P. Patil, Amol C. Goje, The Effect of Developments in Student Attributes on Success in Programming of Management Students, icetc, pp.191-193, 2009 International Conference on Education Technology and Computer, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1629), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Conference on Education Technology and Computer), var productTitle = escape(Education Technology and Computer, International Conference on), var acronymTemp = escape(ICETC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1629), var linkToIssue=escape(/plugins/dl/years/1629?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6836), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICETC.2009.35), var journalPage = escape(i), var abbrevTitle = escape(icetc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=31" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), spatial ability, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
39Francesco Logozzo, Manuel Fähndrich Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
39Antoine Miné The Octagon Abstract Domain. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
38Mingtian Zhao, Song Chun Zhu Sisley the abstract painter. Search on Bibsonomy NPAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF abstract art, hierarchical image parsing, perceptual ambiguity, painterly rendering
38Jan Midtgaard, Thomas P. Jensen Control-flow analysis of function calls and returns by abstract interpretation. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
38Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu A model for abstract process specification, verification and composition. Search on Bibsonomy ICSOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF BPEL abstract process, web services
38João Paulo A. Almeida, Remco M. Dijkman, Marten van Sinderen, Luís Ferreira Pires On the Notion of Abstract Platform in MDA Development. Search on Bibsonomy EDOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract platform, distributed application design, Model-Driven Architecture (MDA), platform-independence
38Roberto Giacobazzi, Elisa Quintarelli Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
38Alessandro Fantechi, Stefania Gnesi, Diego Latella Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Francesco Ranzato, Francesco Tapparo Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Bor-Yuh Evan Chang, K. Rustan M. Leino Abstract Interpretation with Alien Expressions and Heap Structures. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Lunjin Lu, Peter Greenfield Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37Elvinia Riccobene, Patrizia Scandurra Towards an Interchange Language for ASMs. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Antje Nowack Slicing Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Dean Rosenzweig, Davor Runje The Cryptographic Abstract Machine. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Marianna Nicolosi Asmundo, Elvinia Riccobene Consistent Integration for Sequential Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Wolf Zimmermann, Axel Dold A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Nicu G. Fruja, Robert F. Stärk The Hidden Computation Stepsof Turbo Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Yuri Gurevich, Wolfram Schulte, Charles Wallace 0001 Investigating Java Concurrency Using Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Angelo Gargantini, Elvinia Riccobene Encoding Abstract State Machines in PVS. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes Using Abstract State Machines at Microsoft: A Case Study. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Andreas Blass, Yuri Gurevich, Jan Van den Bussche Abstract State Machines and Computationally Complete Query Languages. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Sergio Antoy, John D. Gannon Using Term Rewriting to Verify Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
35Francesco Banterle, Roberto Giacobazzi A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Octagon Abstract Domain, General Processing on GPU, Parallel Computing, Abstract Interpretation, Static Program Analysis
35Derek Dreyer Recursive type generativity. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generativity, type systems, recursion, abstract data types, effect systems, recursive modules
35Michael F. Korns Mutation and crossover with abstract expression grammars. Search on Bibsonomy GECCO (Companion) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abstract expression grammars, genetic programming, differential evolution, symbolic regression, particle swarm
35Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A framework for abstract interpretation of timed concurrent constraint programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
35Patricia M. Hill, Fausto Spoto Deriving escape analysis by abstract interpretation. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Garbage collection, Abstract interpretation, Denotational semantics
35Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard A functional correspondence between evaluators and abstract machines. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
35Frank Huch Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed system, model checking, verification, abstract interpretation, Erlang
35Phillip M. Yelland Producing Abstract Models for Object-Oriented Languages. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Denotational Semantics, Object-Oriented Programming Languages, Abstract Models
35Yingxu Wang On abstract intelligence and its denotational mathematics foundations. Search on Bibsonomy IEEE ICCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm Algorithm visualization using concrete and abstract shape graphs. Search on Bibsonomy SOFTVIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithm visualisation, shape graphs, invariants, shape analysis, algorithm animation
35Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Abstract Interpretation with Specialized Definitions. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Francesco Ranzato, Francesco Tapparo Strong Preservation as Completeness in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. Search on Bibsonomy SCAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Egon Börger, Tommaso Bolognesi Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34András A. Benczúr, Uwe Glässer, Tamás Lukovszki Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter Interfacing ASM with the MDG Tool. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Ringo Baumann, Hannes Strass Open Problems in Abstract Argumentation. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
34Richard Booth 0001 Judgment Aggregation in Abstract Dialectical Frameworks. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
34Pietro Baroni, Massimiliano Giacomin, Bei Shui Liao I don't care, I don't know ... I know too much! On Incompleteness and Undecidedness in Abstract Argumentation. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
34Michael J. Butler, Michael Leuschel, Colin F. Snook Tools for System Validation with B Abstract Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
34Calvin Kai Fan Tang, Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
34Seshadhri Comandur, Anil Seth, Somenath Biswas RAM Simulation of BGS Model of Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
34Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene A Concrete Syntax Derived From the Abstract State Machine Metamodel. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
34Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
34Egon Börger Design Pattern Abstractions and Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
34Wolfram Schulte Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Christoph Beierle, Gabriele Kern-Isberner Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Antje Nowack Deciding the Verification Problem for Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Andreas Blass Abstract State Machines and Pure Mathematics. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Marc Spielmann Model Checking Abstract State Machines and Beyond. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Egon Börger Abstract State Machines at the Cusp of the Millenium. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Giuseppe Del Castillo The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
34Wolfgang Schönfeld Interacting Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
34Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha Interacting Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
34Alexandre V. Zamulin Object-Oriented Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
34Hans Tonino A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
34Heinz Zemanek Abstract Architecture. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
32Olivier Danvy Defunctionalized interpreters for programming languages. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
32Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Widening operators for powerset domains. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra
32Isabella Mastroeni, Damiano Zanardini Data dependencies and program slicing: from syntax to abstract semantics. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract non-interference, abstract interpretation, program slicing, dependency analysis
32Kang Zhang From Abstract Painting to Information Visualization. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aesthetic computing, abstract art, abstract painting, information visualization, non-photorealistic rendering
32Arun Lakhotia, Eric Uday Kumar, Michael Venable A Method for Detecting Obfuscated Calls in Malicious Binaries. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Invasive software (viruses, worms), abstract stack, validation, program analysis, obfuscation
32Cameron Maxwell, John Leaney, Tim O'Neill Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract matching, architectural optimisation, architecture, heuristics, design optimisation
32Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001 Lifting abstract interpreters to quantified logical domains. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
32José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo Comparing tag scheme variations using an abstract machine generator. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
32Sumit Gulwani, Ashish Tiwari 0001 Combining abstract interpreters. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Nelson-Oppen combination, logical product, reduced product, abstract interpreter
32Mila Dalla Preda, Roberto Giacobazzi Semantic-Based Code Obfuscation by Abstract Interpretation. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
Displaying result #1 - #100 of 29193 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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