The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase ASN.1 (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1990 (16) 1991-1994 (19) 1995-1999 (21) 2000-2003 (17) 2004-2008 (15) 2009-2019 (15) 2020-2023 (7)
Publication types (Num. hits)
article(42) incollection(1) inproceedings(67)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 52 keywords

Results
Found 110 publication records. Showing 110 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
128Gerald W. Neufeld, Yueli Yang The Design and Implementation of an ASN.1-C Compiler. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF abstract syntax notation one, ASN.1-C compiler, international standard specification, transfer-syntax, basic encoding rules, external data representation, ED library, CASN1, design, user interface, protocol, protocols, standards, C, implementation, encoding, program compilers, decoding, decoding
119Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen EASN: Integrating ASN.1 and Model Checking. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
119Takeshi Imamura, Hiroshi Maruyama Mapping between ASN.1 and XML. Search on Bibsonomy SAINT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
113Christian Rinderknecht Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1
112Sang Seok Lim, Jong Hyuk Choi, Kurt D. Zeilenga Secure and flexible certificate access in WS-security through LDAP component matching. Search on Bibsonomy SWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF certificate repository, component matching, PKI, LDAP, X.509 certificate
112Vivek K. Shanbhag, K. Gopinath A SPIN-Based Model Checker for Telecommunication Protocols. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
103Peter-Michael Hager Representation of ASN.1 in APL nested structures. Search on Bibsonomy APL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF APL
87Qian Lv, Benxiong Huang, Furong Wang The Mechanism of ASN.1 Encoding & Decoding Implementation in Network Protocols. Search on Bibsonomy ITCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
81John Larmouth, Olivier Dubuisson, Paul Thorpe Application of the ASN.1 specification technique to the Bluetooth service discover protocol. Search on Bibsonomy MobiHoc The full citation details ... 2001 DBLP  DOI  BibTeX  RDF protocol specification techniques, Bluetooth, ECN, ASN.1
80Heiko Dassow, Christian Hubert, Birgit Frohnhoff, Gerd Aschemann Realization of a TMN Java management API. Search on Bibsonomy NOMS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
64Timothy R. Hines Open Systems Interconnection Abstract Syntax Notation: ASN.CG. Search on Bibsonomy Workshop on Conceptual Graphs The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
58Rick Reed Data Encoding for SDL in ITU-T Rec. Z.104. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Text encoding, Encoding, SDL, Data, ASN.1
48Man-Ching Yuen, Ji Shen, Weijia Jia 0001, Bo Han 0001 Simplified Message Transformation for Optimization of Message Processing in 3G-324M Control Protocol. Search on Bibsonomy ICCNMC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Bruno Rossi 0001 ASN.1's Best Secrets (A review of ASN.1: Communication Between Heterogeneous Systems by Olivier Dubuisson). Search on Bibsonomy IEEE Distributed Syst. Online The full citation details ... 2003 DBLP  BibTeX  RDF
42Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos, Arturo Ribagorda Extended electronic signature policies. Search on Bibsonomy SIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF extended business model, signature policy, e-commerce, public key infrastructure, electronic signature, ASN.1
42Klaus Ahrens, Ingmar Eveslage, Joachim Fischer, Frank Kühnlenz, Dorian Weber The Challenges of Using SDL for the Development of Wireless Sensor Networks. Search on Bibsonomy SDL Forum The full citation details ... 2009 DBLP  DOI  BibTeX  RDF simulation, wireless sensor networks, UML, code generation, SDL, model-based development, experiment management, sensor systems, ASN.1
39Youngkun Min, Bogju Lee, Yunmook Nah Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39J. Larmouth ASN.1 Is Reaching Out! Search on Bibsonomy SDL Forum The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Jozsef A. Toth Specification of an Object to Object Protocol in Abstract Syntax Notation One (ASN.1). Search on Bibsonomy IEA/AIE (Vol. 2) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Ryan Iwahashi, Daniela Alvim Seabra de Oliveira, Shyhtsun Felix Wu, Jedidiah R. Crandall, Young-Jun Heo, Jintae Oh, Jong-Soo Jang Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets. Search on Bibsonomy ISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Yutaka Oiwa, Kazukuni Kobara, Hajime Watanabe A New Variant for an Attack Against RSA Signature Verification Using Parameter Field. Search on Bibsonomy EuroPKI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF List of Keywords vulnerability, certificate verification, attacks
26Robbie De Sutter, Sam Lerouge, Peter De Neve, Christian Timmerer, Hermann Hellwagner, Rik Van de Walle Comparison of XML serializations: cost benefits versus complexity. Search on Bibsonomy Multim. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML serialization formats, MPEG-B, Information encoding, Data interchange formats, Multimedia applications, ASN.1
25Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno Strategic Testing Environment with Formal Description Techniques. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF formal environment for systematic testing, stepwise approach, test development, TENT, test sequence generation tool, APRICOT, ASN.1 pre-compiler, coder, test-debugger, test specification editor, upper tester, lower tester, simulator, design, formal specification, protocol, protocols, data structures, programming environments, formal semantics, communication systems, formal description techniques, FOREST, test execution
23Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Rui Wang, Donglan Liu, Xin Liu, Lei Ma, Hao Zhang, Yong Wang, Zhenghao Li, Fangzhe Zhang, Lili Sun An ASN.1 UPER Encoding Based Fuzzing Method for Radio Resource Control Protocol. Search on Bibsonomy NaNA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Srinath Potnuru, Prajwol Kumar Nakarmi Berserker: ASN.1-based Fuzzing of Radio Resource Control Protocol for 4G and 5G. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Russ Housley, Carl Wallace New ASN.1 Modules for the Evidence Record Syntax (ERS). Search on Bibsonomy RFC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Srinath Potnuru, Prajwol Kumar Nakarmi Berserker: ASN.1-based Fuzzing of Radio Resource Control Protocol for 4G and 5G. Search on Bibsonomy WiMob The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Michael Richardson, Thomas Werner, Wei Pan Clarification of Enrollment over Secure Transport (EST): Transfer Encodings and ASN.1. Search on Bibsonomy RFC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Nika Pona, Vadim Zaliva Research Report: Formally-Verified ASN.1 Protocol C-language Stack. Search on Bibsonomy SP (Workshops) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Nataliya Osipova, Oleksandr Kyriukhin Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6. Search on Bibsonomy ICTERI The full citation details ... 2019 DBLP  BibTeX  RDF
23Mark Tullsen ASN.1 Encoding Schemes Done Right Using CMPCT. Search on Bibsonomy Bx@PLW The full citation details ... 2019 DBLP  BibTeX  RDF
23Badis Hammi, Jean Philippe Monteuuis, Eduardo Salles Daniel, Houda Labiod ASN.1 Specification for ETSI Certificates and Encoding Performance Study. Search on Bibsonomy MDM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Mostafa Imam, Mohammed Ali Sobh Novel file system with ASN.1 support for Java Card applications. Search on Bibsonomy ISIE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Konstantinos Barlas, George Koletsos, Petros S. Stefaneas Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
23Jim Schaad, Sean Turner Additional New ASN.1 Modules for the Cryptographic Message Syntax (CMS) and the Public Key Infrastructure Using X.509 (PKIX). Search on Bibsonomy RFC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Paul E. Hoffman, Jim Schaad New ASN.1 Modules for Cryptographic Message Syntax (CMS) and S/MIME. Search on Bibsonomy RFC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Paul E. Hoffman, Jim Schaad New ASN.1 Modules for the Public Key Infrastructure Using X.509 (PKIX). Search on Bibsonomy RFC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Carl Wallace, Charles Gardiner ASN.1 Translation. Search on Bibsonomy RFC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Russell Housley BinaryTime: An Alternate Format for Representing Date and Time in ASN.1. Search on Bibsonomy RFC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos Towards a correct translation from ASN.1 into CafeOBJ. Search on Bibsonomy Int. J. Reason. based Intell. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23 ASN.1. Search on Bibsonomy Encyclopedia of Biometrics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Wenli Dong Translation from GDMO/ASN.1 to tML/Schema. Search on Bibsonomy J. Digit. Content Technol. its Appl. The full citation details ... 2008 DBLP  BibTeX  RDF
23Steven Legg, Daniel Prager Robust XML Encoding Rules (RXER) for Abstract Syntax Notation One (ASN.1). Search on Bibsonomy RFC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Russell Housley BinaryTime: An Alternate Format for Representing Date and Time in ASN.1. Search on Bibsonomy RFC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Darren P. Mundy, David W. Chadwick An XML Alternative for Performance and Security: ASN.1. Search on Bibsonomy IT Prof. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Steven Legg ASN.1 Module Definition for the LDAP and X.500 Component Matching Rules. Search on Bibsonomy RFC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Steven Legg Generic String Encoding Rules (GSER) for ASN.1 Types. Search on Bibsonomy RFC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Christian Rinderknecht An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints. Search on Bibsonomy Comput. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Antonio Cerone Representing ASN.1 in Z. Search on Bibsonomy ACSW The full citation details ... 2003 DBLP  BibTeX  RDF
23Nabil Kamel An ASN.1 Model and Integration Approach for Structured Text. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Brad J. Williamson, Craig A. Farrell Independent active program representation using ASN. 1. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Anthony C. C. Lo, Richard Lai 0001 An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Richard Lai 0001, France Cheong Extending EASE with new ASN.1 encoding rules. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Rodolphe Pueyo, Olivier Dubuisson, Pierre-Marie Hétault A comparison tool between two ASN.1 specifications. Search on Bibsonomy Ann. des Télécommunications The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Colin Willcock New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax. Search on Bibsonomy IWTCS The full citation details ... 1999 DBLP  BibTeX  RDF
23Nikolai Mansurov, Alexei S. Ragozin Using declarative mapping for automatic code generation from SDL and ASN.1. Search on Bibsonomy SDL Forum The full citation details ... 1999 DBLP  BibTeX  RDF
23Jae-Oh Lee Translation of GDMO/ASN.1 to Java objects for network management. Search on Bibsonomy ICC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Duke Tantiprasut, John Neil, Craig Farrell ASN.1 protocol specification for use with arbitrary encoding schemes. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Kaname Harumoto, Masahiko Tsukamoto, Bojiang Liu, Shojiro Nishio Implementation and evaluation of an ASN.1 database on OODBMS. Search on Bibsonomy Syst. Comput. Jpn. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Tom R. Chatt, Michael A. Curry, Ulf Hollberg, Juha Seppä TMN/C++: An Object-oriented API for GDMO, CMIS and ASN.1. Search on Bibsonomy Integrated Network Management The full citation details ... 1997 DBLP  BibTeX  RDF
23Sunwan Choi, Kilnam Chon Partial ASN.1/BER decoding scheme in a multiprocessor environment. Search on Bibsonomy Comput. Commun. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Richard Lai 0001, Anthony C. C. Lo Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Charles W. Gardiner ASN_EZE: An Analgesic for Writers of ASN.1 Applications. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki 0005 EPER: Efficient Parallel Encoding Rules for ASN.1. Search on Bibsonomy FORTE The full citation details ... 1996 DBLP  BibTeX  RDF
23Hitomi Ohkawa, James Ostell, Stephen H. Bryant MMDB: An ASN.1 Specification for Macromolecular Structure. Search on Bibsonomy ISMB The full citation details ... 1995 DBLP  BibTeX  RDF
23N. Kamel, D. L. Hsiao-Feng A Text Parser and Specification Generator for Modular ASN.1-Described Files. Search on Bibsonomy DEXA Workshops The full citation details ... 1995 DBLP  BibTeX  RDF
23Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. Search on Bibsonomy FORTE The full citation details ... 1995 DBLP  BibTeX  RDF
23Michael Sample, Gerald W. Neufeld High-performance ASN.1 compiler. Search on Bibsonomy Comput. Commun. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23K. W. Hart, David B. Searls, G. Christian Overton SORTEZ: a relational translator for NCBI's ASN.1 database. Search on Bibsonomy Comput. Appl. Biosci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23R. Greg Lavender, Dennis G. Kafura, R. W. Mullins Programming with ASN.1 Using Polymorphic Types and Type Specialization. Search on Bibsonomy ULPAA The full citation details ... 1994 DBLP  BibTeX  RDF
23Erik Kwast Automatic ASN.1 constraint generation for testing purposes. Search on Bibsonomy PSTV The full citation details ... 1994 DBLP  BibTeX  RDF
23Angelos P. Varvitsiotis, George I. Stassinopoulos Extending ASN.1 Into a Full-Fledged Constraint Language in the Context of OSI Protocol Conformance Testing. Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Murat Bilgic, Behçet Sarikaya Performance comparison of ASN.1 encoder/decoders using FTAM. Search on Bibsonomy Comput. Commun. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Huai-An (Paul) Lin Estimation of the optimal performance of ASN.1/BER transfer syntax. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Heimo Müller-Seelich, H. Mayer, Behnam Tabatabi ASN.1 Based Exchange of Graphical and Application Specific Data. Search on Bibsonomy Interfaces in Industrial Systems for Production Engineering The full citation details ... 1993 DBLP  BibTeX  RDF
23Anthony C. C. Lo, Richard Lai 0001 Integrating Estelle and ASN.1 for Automatic Implementation. Search on Bibsonomy FORTE The full citation details ... 1993 DBLP  BibTeX  RDF
23Juha Koivisto, James Reilly 0002 Cerial: A Tool for XDR or ASN.1 BER Serialization of C++ Objects. Search on Bibsonomy TOOLS (11) The full citation details ... 1993 DBLP  BibTeX  RDF
23Gerald W. Neufeld, Son T. Vuong An Overview of ASN.1. Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Christian Huitema, Ghislain Chave Measuring the Performances of an ASN.1 Compiler. Search on Bibsonomy ULPAA The full citation details ... 1992 DBLP  BibTeX  RDF
23Juha Koivisto, James Reilly 0002 Generating Object-Oriented Telecommunications Software Using ASN.1 Descriptions. Search on Bibsonomy ULPAA The full citation details ... 1992 DBLP  BibTeX  RDF
23Muffy Thomas A translator for ASN.1 into LOTOS. Search on Bibsonomy FORTE The full citation details ... 1992 DBLP  BibTeX  RDF
23Craig Partridge Book Review: Abstract Syntax Notation One (ASN .1): The Tutorial and Reference by Douglas Steedman (Technology Appraisals Ltd. ISBN 1-871802-06-7). Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
23Murat Bilgic, Behçet Sarikaya An ASN.1 encoder/decoder and its performance. Search on Bibsonomy PSTV The full citation details ... 1990 DBLP  BibTeX  RDF
23Michael Sample, Gerald W. Neufeld Support for ASN.1 within a Protocol Testing Environment. Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
23Piotr Dembinski Interfacing ASN.1 and Estelle: A Practical Approach. Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
23F. Brady, A. Boshier, D. Pitt, B. Szczygiel One2One - A Tool for Translating ASN.1 to ACT ONE. Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
23Juan A. Saras, Julio Berocal, Juan Riera Use of Estelle, LOTOS and ASN.1 in One Project. Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
23Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld ASN.1 and Estelle Implementation Support Tools. Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
23James E. White ASN.1 and ROS: the impact of X.400 on OSI. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
23Muffy Thomas From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. Search on Bibsonomy FORTE The full citation details ... 1989 DBLP  BibTeX  RDF
23Joaquín Seoane A Tool for Encoding and Decoding Big ASN.1 Messages. Search on Bibsonomy FORTE The full citation details ... 1989 DBLP  BibTeX  RDF
23Walter Gora, R. Speyerer ASN.1 - Das aktuelle Schlagwort. Search on Bibsonomy Inform. Spektrum The full citation details ... 1988 DBLP  BibTeX  RDF
23Walter Gora, R. Speyerer Automatische Codegenerierung für Protokolle in der ISO-Syntax ASN.1. Search on Bibsonomy ARCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
23Toru Hasegawa, Hiroki Horiuchi, Toshihiko Kato, Kenji Suzuki 0003, Yoshiyori Urano Automatic ADA program generation from protocol specifications based on ESTELLE and ASN.1. Search on Bibsonomy ICCC The full citation details ... 1988 DBLP  BibTeX  RDF
23Philip Gaudette, Steve Trus, Sarah Collins An Object-Oriented Model for ASN.1. Search on Bibsonomy FORTE The full citation details ... 1988 DBLP  BibTeX  RDF
23Fausto Caneschi, Emanuela Merelli An Architecture for an ASN.1 Encoder/Decoder. Search on Bibsonomy Comput. Networks The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
16Sonja Zaplata, Viktor Dreiling, Winfried Lamersdorf Realizing Mobile Web Services for Dynamic Applications. Search on Bibsonomy I3E The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav Cinderella SLIPPER: An SDL to C-Code Generator. Search on Bibsonomy SDL Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Selwyn Russell Recursive Certificate Structures for X.509 Systems. Search on Bibsonomy EuroPKI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 110 (100 per page; Change: )
Pages: [1][2][>>]
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