The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1960-1983 (20) 1984-1985 (21) 1986-1987 (33) 1988 (41) 1989 (29) 1990 (24) 1991 (29) 1992 (29) 1993 (24) 1994 (38) 1995 (37) 1996 (31) 1997 (30) 1998 (38) 1999 (37) 2000 (34) 2001 (41) 2002 (44) 2003 (47) 2004 (57) 2005 (73) 2006 (81) 2007 (68) 2008 (74) 2009 (73) 2010 (52) 2011 (40) 2012 (26) 2013 (37) 2014 (36) 2015 (23) 2016 (39) 2017 (31) 2018 (48) 2019 (40) 2020 (37) 2021 (44) 2022 (30) 2023 (43) 2024 (9)
Publication types (Num. hits)
article(443) book(1) incollection(5) inproceedings(1106) phdthesis(33)
Venues (Conferences, Journals, ...)
CoRR(68) POPL(67) ICFP(37) ACM Trans. Program. Lang. Syst...(26) ESOP(26) LICS(24) Nucleic Acids Res.(23) PLDI(18) APLAS(16) LISP and Functional Programmin...(13) Theor. Comput. Sci.(13) TLCA(13) CSL(12) ECOOP(11) SAS(11) ICALP(10) More (+10 of total 700)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 811 occurrences of 481 keywords

Results
Found 1588 publication records. Showing 1588 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Koji Kagawa Polymorphic variants in Haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic variants, Haskell, extensibility, type classes
93Atsushi Ohori A Compilation Method for ML-Style Polymorphic Record Calculi. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
85Jean-Pierre Jouannaud, Albert Rubio Polymorphic higher-order recursive path orderings. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
78Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida Genericity and the pi-calculus. Search on Bibsonomy Acta Informatica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
76Houjun Liang, Wenjian Luo, Xufa Wang Designing Polymorphic Circuits with Evolutionary Algorithm Based on Weighted Sum Method. Search on Bibsonomy ICES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Polymorphic Circuit, Weighted Sum, Evolutionary Algorithm
75Martin Elsman Polymorphic Equality - No Tags Required. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
67Lanjia Wang, Hai-Xin Duan, Xing Li 0001 Dynamic emulation based modeling and detection of polymorphic shellcode at the network level. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polymorphic shellcode, CPU emulation, intrusion detection
67Lorenzo Cavallaro, Andrea Lanzi, Luca Mayer, Mattia Monga LISABETH: automated content-based signature generator for zero-day polymorphic worms. Search on Bibsonomy SESS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic content-based signature generation, intrusion detection, network security, polymorphic worms
67Michal Bidlo, Lukás Sekanina Providing information from the environment for growing electronic circuits through polymorphic gates. Search on Bibsonomy GECCO Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphic circuit, genetic algorithm, development, digital circuits design
66Siros Supavita, Taratip Suwannasart Testing Polymorphic Interactions in UML Sequence Diagrams. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram
66James Newsome, Brad Karp, Dawn Xiaodong Song Polygraph: Automatically Generating Signatures for Polymorphic Worms. Search on Bibsonomy S&P The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Yong Tang 0004, Shigang Chen An Automated Signature-Based Approach against Polymorphic Internet Worms. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Internet security, worm detection, polymorphic worms
59José Carlos Brustoloni, Ricardo Villamarín-Salomón Improving security decisions with polymorphic and audited dialogs. Search on Bibsonomy SOUPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF audited dialogs, context-sensitive guidance, e-mail client, polymorphic dialogs, virus propagation, attachment
59Hsiang-Lun Huang, Tzong-Jye Liu, Kuong-Ho Chen, Chyi-Ren Dow, Lih-Chyau Wuu A polymorphic shellcode detection mechanism in the network. Search on Bibsonomy Infoscale The full citation details ... 2007 DBLP  DOI  BibTeX  RDF polymorphic shellcode, intrusion detection system, buffer overflow
59Songqing Chen, Xinyuan Wang 0005, Lei Liu 0021, Xinwen Zhang WormTerminator: an effective containment of unknown and polymorphic fast spreading worms. Search on Bibsonomy ANCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF wormterminator, zero-day worms, virtual machine, worm containment, polymorphic worms
58Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos Network-level polymorphic shellcode detection using emulation. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
58Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo On the infeasibility of modeling polymorphic shellcode. Search on Bibsonomy CCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF shellcode, polymorphism, statistical models, signature generation
58Yong Tang, Xicheng Lu, Bin Xiao 0001 Generating Simplified Regular Expression Signatures for Polymorphic Worms. Search on Bibsonomy ATC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
58Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich PolyAML: a polymorphic aspect-oriented functional programming language. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
58Jakob Rehof, Manuel Fähndrich Type-base flow analysis: from polymorphic subtyping to CFL-reachability. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
58Daniel Leivant Structural Semantics for Polymorphic Data Types. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
51A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn Type Reconstruction in the Presence of Polymorphic Recursion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification
50Leonardo de Mello Honório, Michael Vidigal, Luiz E. Souza Dynamic Polymorphic Agents Scheduling and Execution Using Artificial Immune Systems. Search on Bibsonomy ICARIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Polymorphic Agent, IA Planning, multi-agent systems, Aspect-Oriented Program (AOP), Artificial Immune Systems (AIS)
50Adel Ben Mnaouer, Lei Chen 0015, Chuan Heng Foh, Juki Wirawan Tantra OPHMR: An Optimized Polymorphic Hybrid Multicast Routing Protocol for MANET. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Polymorphic protocols, hybrid behavior, MANET, adaptive routing, multicast routing
50Tom Schrijvers, Maurice Bruynooghe Polymorphic algebraic data type reconstruction. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
50Jill L. Drury, Holly A. Yanco, Whitney Howell, Brian W. Minten, Jennifer Casper Changing shape: improving situation awareness for a polymorphic robot. Search on Bibsonomy HRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic robots, shape-shifting robots, evaluation, interaction design, human-robot interaction, situation awareness
50Udo Payer, Stefan Kraxberger Polymorphic Code Detection with GA Optimized Markov Models. Search on Bibsonomy Communications and Multimedia Security The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphic shellcode detection, genetic algorithms, optimization, intrusion detection, markov models
50Udo Payer, Peter Teufl, Mario Lamberger Hybrid Engine for Polymorphic Shellcode Detection. Search on Bibsonomy DIMVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphic shellcode detection, neural networks, Intrusion Detection
50Samson Abramsky, Marina Lenisa A Fully Complete PER Model for ML Polymorphic Types. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF ML-polymorphic types, PER models, full completeness, linear logic, Geometry of Interaction
50Massimo Maresca Polymorphic Processor Arrays. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF polymorphic processor arrays, mesh-connected arrays, PPA, low complexity algorithms, PPA programming model, computational complexity, parallel processing, parallel computers, parallel architectures, multiprocessor interconnection networks
50Hungwen Li, Massimo Maresca Polymorphic-Torus Architecture for Computer Vision. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF dynamically reconfigurable network, polymorphic-torus network, VLSI efficiency, computer vision, computer vision, parallel algorithms, VLSI, parallel architectures, parallel architectures, hypercube, tree, mesh, SIMD, machine vision, circuit switching, pyramid
49Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich AspectML: A polymorphic aspect-oriented functional programming language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
49Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca Polymorphic bytecode: compositional compilation for Java-like languages. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type systems, compositional analysis
49Atsushi Ohori, Keishi Tajima A Polymorphic Calculus for Views and Object Sharing. Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
49Atsushi Ohori, Kazuhiko Kato Semantics for Communication Primitives in an Polymorphic Language. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ML
49Paris C. Kanellakis, John C. Mitchell Polymorphic Unification and ML Typing. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ML
49Daniel Leivant Polymorphic Type Inference. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
44Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer Analyzing network traffic to detect self-decrypting exploit code. Search on Bibsonomy AsiaCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF exploit code, static analysis, emulation, detection, polymorphic, decryption
44Zhichun Li, Manan Sanghi, Yan Chen 0004, Ming-Yang Kao, Brian Chavez Hamsa: Fast Signature Generation for Zero-day PolymorphicWorms with Provable Attack Resilience. Search on Bibsonomy S&P The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Jean-Pierre Jouannaud, Albert Rubio The Higher-Order Recursive Path Ordering. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Val Tannen, Thierry Coquand Extensional Models for Polymorphism. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
41Jia Xu, Qingsheng Luo, Ningjun Fan, Jiwei Yang Optimizing Mechanism for a Polymorphic Tracked Robot. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polymorphic tracked robot, shape-shifting mechanism, design variable, changing rate of the track perimeter
41François Pottier, Nadji Gauthier Polymorphic typed defunctionalization and concretization. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
41Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno A polymorphic modal type system for lisp-like multi-staged languages. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
41Stamatis Vassiliadis, Stephan Wong, Georgi Gaydadjiev, Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte The MOLEN Polymorphic Processor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Custom computing machines, reconfigurable microcode, polymorphic processors, FPGA, reconfigurable processors, firmware
41Dieter Nazareth The Semantic Treatment of Polymorphic Specification Languages. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polymorphic type system, algebraic semantics, axiomatic specification
41Claudia Fuchs, Wolfgang Förstner Polymorphic Grouping for Image Segmentation. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF polymorphic grouping, inherent deficiencies, low-level feature extraction, real scene complexity, stereo recognition, point extraction, segment extraction, feature adjacency graph, grouping steps, specific domain knowledge, optimal image description, geometric hypotheses validation, ideal image model, computer vision, image segmentation, image segmentation, feature extraction, object recognition, object recognition, stereo image processing, inconsistencies, robust estimation, estimation theory, cell-complex, line extraction, symbolic description, outdoor scenes, exoskeleton
40Jie Wang 0067, Jianxin Wang 0001, Yu Sheng, Jianer Chen Polymorphic Worm Detection Using Signatures Based on Neighborhood Relation. Search on Bibsonomy HPCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Shahar Maoz Polymorphic Scenario-Based Specification Models: Semantics and Applications. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors Polymorphic embedding of dsls. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
40Ricardo Chaves, Blagomir Donchev, Georgi Kuzmanov, Leonel Sousa, Stamatis Vassiliadis BRAM-LUT Tradeoff on a Polymorphic DES Design. Search on Bibsonomy HiPEAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Kenichi Asai, Yukiyoshi Kameyama Polymorphic Delimited Continuations. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
40Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos Emulation-Based Detection of Non-self-contained Polymorphic Shellcode. Search on Bibsonomy RAID The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Christy Dena Capturing polymorphic creations: towards ontological heterogeneity and transmodiology. Search on Bibsonomy IE The full citation details ... 2007 DBLP  BibTeX  RDF hypercomplexity, transdisciplinarity, ontology, integration, convergence, schema, narratology, cross-media, transmedia, ludology, alternate reality games
40Lajos Nagy, Ryan Stansifer Polymorphic type inference for the relational algebra in the functional database programming language neon. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos Network-Level Polymorphic Shellcode Detection Using Emulation. Search on Bibsonomy DIMVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40William L. Harrison A Simple Semantics for Polymorphic Recursion. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Anthony Savidis Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming. Search on Bibsonomy RISE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Lukás Sekanina Evolutionary Design of Gate-Level Polymorphic Digital Circuits. Search on Bibsonomy EvoWorkshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Paul Hudak An Algebraic Theory of Polymorphic Temporal Media. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Anand Ranganathan, Shiva Chetan, Roy H. Campbell Mobile Polymorphic Applications in Ubiquitous Computing Environments. Search on Bibsonomy MobiQuitous The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Kohei Honda 0001, Nobuko Yoshida A compositional logic for polymorphic higher-order functions. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compositional logics, polymorphim, types, higher-order functions
40Cholmin Kim, Soung-uck Lee, Manpyo Hong Macroscopic Treatment to Polymorphic E-mail Based Viruses. Search on Bibsonomy ICCSA (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jan-Georg Smaus The Head Condition and Polymorphic Recursion. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Benjamin C. Pierce, Davide Sangiorgi Behavioral equivalence in the polymorphic pi-calculus. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF abstract data types, pi-calculus
40Dominic Duggan Dynamic Typing for Distributed Programming in Polymorphic Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parametric polmorphism, dynamic typing, static typing, marshalling
40Geoffrey Smith 0001, Dennis M. Volpano Polymorphic typing of Variables and References. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF variables, assignment, references
40Geoffrey Smith 0001, Dennis M. Volpano Towards an ML-Style Polymorphic Type System for C. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
40Xavier Leroy Efficient Data Representation in Polymorphic Languages. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Michael Hanus Horn Clause Programs with Polymorphic Types: Semantics and Resolution. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40Val Tannen, Jean H. Gallier Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40James W. O'Toole Jr., David K. Gifford Type Reconstruction with First-Class Polymorphic Values. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40Frank Pfenning Partial Polymorphic Type Inference and Higher-Order Unification. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
40Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman Empty Types in Polymorphic Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
36Prahlad Fogla, Wenke Lee Evading network anomaly detection systems: formal reasoning and practical techniques. Search on Bibsonomy CCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic blending attack, anomaly detection, mimicry attack
36Anthony Savidis More dynamic imperative languages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamically extensible semantics, polymorphic pattern programming, runtime inheritance, dynamic languages
36Neelam Soundarajan, Stephen Fridella Incremental Reasoning for Object Oriented Systems. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Incremental reasoning, Behavior of polymorphic methods, Incremental design
36Rick van Rein Specifying Processes with Dynamic Life Cycles. Search on Bibsonomy CAiSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF polymorphic creation and deletion, communication, object orientation, conceptual modelling, process algebra, life cycles, component composition, state diagrams
35Herman Geuvers (In)consistency of Extensions of Higher Order Logic and Type Theory. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Lukás Sekanina, Lukás Starecek, Zbysek Gajda, Zdenek Kotásek Evolution of Multifunctional Combinational Modules Controlled by the Power Supply Voltage. Search on Bibsonomy AHS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Sevan G. Ficici, Ofer Melnik, Jordan B. Pollack A game-theoretic and dynamical-systems analysis of selection methods in coevolution. Search on Bibsonomy IEEE Trans. Evol. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich An open and shut typecase. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
35Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida Genericity and the pi-Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Patrick Lincoln, John C. Mitchell Algorithmic Aspects of Type Inference with Subtypes. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Luis Campo-Giralte, Ricardo Jiménez-Peris, Marta Patiño-Martínez PolyVaccine: Protecting Web Servers against Zero-Day, Polymorphic and Metamorphic Exploits. Search on Bibsonomy SRDS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF polymorphic malware, metamorphic malware, zero-day malware, web server, vulnerability, exploit
32Kohei Tatara, Yoshiaki Hori, Kouichi Sakurai Analyzing Maximum Length of Instruction Sequence in Network Packets for Polymorphic Worm Detection. Search on Bibsonomy MUE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Polymorphic Worm Detection, Abstract Payload Execution
32Jedidiah R. Crandall, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. Search on Bibsonomy CCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF metamorphism, polymorphism, symbolic execution, worms, honeypots, polymorphic worms
32Hungwen Li, Massimo Maresca Polymorphic-Torus Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF polymorphic-torus network, parallel fine-grained, circuit-switching capability, wiring complexity, interpackage wiring, max/min, sum operations, interconnection network, multiprocessor interconnection networks, SIMD, communication bandwidth, Boolean
32Mehdi Talbi, Mohamed Mejri, Adel Bouhoula Specification and evaluation of polymorphic shellcode properties using a new temporal logic. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Bai Zhongying, Qin Jiancheng Webpage Encryption Based on Polymorphic Javascript Algorithm. Search on Bibsonomy IAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Jeffery E. Bryson Polymorphic system architecture summary. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture, abstraction, systems architecture, polymorphism
32Michal Bidlo, Zdenek Vasícek Cellular Automata-Based Development of Combinational and Polymorphic Circuits: A Comparative Study. Search on Bibsonomy ICES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Marco Comini, Ferruccio Damiani, Samuel Vrech On Polymorphic Recursion, Type Systems, and Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Type Inference Algorithm, Principal Typing
32Adarsha Rao, Mythri Alle, S. K. Nandy 0001, Ranjani Narayan Architecture of a polymorphic ASIC for interoperability across multi-mode H.264 decoders. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher From Monomorphic to Polymorphic Well-Typings and Beyond. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Lukás Sekanina Evolution of Polymorphic Self-checking Circuits. Search on Bibsonomy ICES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Matthew Van Gundy, Hao Chen 0003, Zhendong Su 0001, Giovanni Vigna Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Nadya Kuzmina, Ruben Gamboa Dynamic constraint detection for polymorphic behavior. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic specification recovery, class invariants, object constraints, dynamic invariant detection
32Ki Hun Lee, Yuna Kim, Sung Je Hong, Jong Kim 0001 PolyI-D: Polymorphic Worm Detection Based on Instruction Distribution. Search on Bibsonomy WISA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32David L. Heine, Monica S. Lam Static detection of leaks in polymorphic containers. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program analysis, type systems, memory management, error detection, memory leaks
Displaying result #1 - #100 of 1588 (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