The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Ershov Memorial Conference"( http://dblp.L3S.de/Venues/Ershov_Memorial_Conference )

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

Publication years (Num. hits)
1996 (37) 1999 (48) 2000-2001 (54) 2003 (56) 2006 (45) 2007-2009 (36) 2010-2011 (34) 2012-2014 (33) 2015 (26) 2016 (1)
Publication types (Num. hits)
inproceedings(361) proceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 129 occurrences of 110 keywords

Results
Found 370 publication records. Showing 370 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Manuel Mazzara, Andrei Voronkov (eds.) Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dmitrij Koznov, Dmitry Luciv, Hamid Abdul Basit, Ouh Eng Lieh, Mikhail Smirnov Clone Detection in Reuse of Software Technical Documentation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolay Shilov Program Schemata Technique to Solve Propositional Program Logics Revised. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Igor V. Konnov 0001, Helmut Veith, Josef Widder What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhengheng Yuan, Tingliang Zhou, Jing Liu 0012, Juan Luo, Yi Zhang, Xiaohong Chen 0001 Hybrid Lustre. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandr Naumchev, Bertrand Meyer 0001, Víctor Rivera Unifying Requirements and Code: An Example. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bruno Woltzenlogel Paleo Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Damas P. Gruska Dynamics Security Policies and Process Opacity for Timed Process Algebras. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vitaly O. Mordan, Vadim S. Mutilin Checking Several Requirements at once by CEGAR. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Baar Verification Support for a State-Transition-DSL Defined with Xtext. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ilham W. Kurnia, Arnd Poetzsch-Heffter Modeling Actor Systems Using Dynamic I/O Automata. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Irina Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann Branching Processes of Timed Petri Nets. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maciej Szreter Automated Two-Phase Composition of Timed Web Services. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Olga Kouchnarenko, Fabien Peureux Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Glück Maximally-Polyvariant Partial Evaluation in Polynomial Time. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Brauße, Margarita V. Korovina, Norbert Th. Müller Towards Using Exact Real Arithmetic for Initial Value Problems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Torben Ægidius Mogensen RSSA: A Reversible SSA Form. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julián Alarte, David Insa, Josep Silva, Salvador Tamarit Site-Level Web Template Extraction Based on DOM Analysis. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jane Hillston Quantitative Analysis of Collective Adaptive Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Ross Horne Behavioural Analysis of Sessions Using the Calculus of Structures. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Equivalence of Finite-Valued Symbolic Finite Transducers. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ekaterina Verbitskaia, Semyon Grigorev, Dmitry Avdyukhin Relaxed Parsing of Regular Approximations of String-Embedded Languages. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov Using Refinement in Formal Development of OS Security Model. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov, Irina Virbitskaite (eds.) Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova, Stepan Anokhin Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamad Kassab, Giuseppe Destefanis Estimating Development Effort for Software Architectural Tactics. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Darkhan Akhmed-Zaki, Madina Mansurova, Bazargul Matkerim, Ekateryna Dadykina, Bolatzhan Kumalakov Applying MDA to Generate Hadoop Based Scientific Computing Applications. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Germán Vidal Towards Symbolic Execution in Erlang. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Damas P. Gruska Process Opacity for Timed Process Algebra. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue Decidability and Expressiveness of Recursive Weighted Logic. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Ross Horne, Vladimiro Sassone Descriptive Types for Linked Data Resources. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergei Gorlatch, Michel Steuwer Towards High-Level Programming for Systems with Many Cores. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Margarita V. Korovina, Oleg V. Kudinov Index Sets as a Measure of Continuous Constraint Complexity. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1E. E. Vityaev, V. V. Martinovich Probabilistic Formal Concepts with Negation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Plümicke More Type Inference in Java 8. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavel G. Emelyanov, Denis K. Ponomaryov On Tractability of Disjoint AND-Decomposition of Boolean Formulas. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal Bonsai: Cutting Models Down to Size. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova, Eugene V. Bodin A Multi-agent Text Analysis Based on Ontology of Subject Domain. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Jeremy W. Bryans A Proof-Based Method for Modelling Timed Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Geoff W. Hamilton Asymptotic Speedups, Bisimulation and Distillation (Work in Progress). Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Margus Veanes Symbolic String Transformations with Regular Lookahead and Rollback. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nataliya S. Gribovskaya Timed History Preserving Bisimulation and Open Maps. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anton Podkopaev, Dmitri Boulytchev Polynomial-Time Optimal Pretty-Printing Combinators with Choice. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Irina Virbitskaite, Dmitriy Bushin Comparing Semantics Under Strong Timing of Petri Nets. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov Modeling Environment for Static Verification of Linux Kernel Modules. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Dever, Geoff W. Hamilton Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilya G. Klyuchnikov, Sergei A. Romanenko Certifying Supercompilation for Martin-Löf's Type Theory. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén The Role of Indirections in Lazy Natural Semantics. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergei A. Grechanik Inductive Prover Based on Equality Saturation for a Lazy Functional Language. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bertrand Meyer 0001 An Automatic Technique for Static Deadlock Prevention. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ioan Dragan, Laura Kovács Lingva: Generating and Proving Program Properties Using Symbol Elimination. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti Model Checking Value-Passing Modal Specifications. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Towards Specializing JavaScript Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Torben Ægidius Mogensen Supercompilation for Datatypes. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kirill Smirnov 0001, George Chernishev, Pavel Fedotovsky, George Erokhin, Kirill Cherednik The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vadim E. Kotov Big Data, Big Systems, Big Challenges: A Personal Experience - (Extended Abstract). Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, Qinsi Wang 25 Years of Model Checking. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vinodh Kumar Sunkara, Aamod Sane Skeblle: A New Kind of Diagramming Tool with Programmable Active Diagrams. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, Irina Virbitskaite, Andrei Voronkov (eds.) Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov, Renat I. Idrisov Development of the Computer Language Classification Knowledge Portal. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Torben Æ. Mogensen Partial Evaluation of Janus Part 2: Assertions and Procedures. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrei V. Klimov Solving Coverability Problem for Monotonic Counter Systems by Supercompilation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauro Jaskelioff, Alejandro Russo Secure Multi-execution in Haskell. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Studer Justified Terminological Reasoning. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko Insertion Modeling System. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Connector Algebras, Petri Nets, and BIP. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Margarita V. Korovina, Nicolai Vorobjov Reachability in One-Dimensional Controlled Polynomial Dynamical Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jens Knoop, Laura Kovács, Jakob Zwirchmayr Symbolic Loop Bound Computation for WCET Analysis. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau Petri Net Distributability. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Natalya Gribovskaya A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Baar, Philipp Kumar Detecting Entry Points in Java Libraries. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Zeller Mining Precise Specifications - (Abstract). Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Symbolic Tree Transducers. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov Implementing Conflict Resolution. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez Algorithmic Debugging of SQL Views. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Beyer, Sabine Glesner Static Analysis of Run-Time Modes in Synchronous Process Network. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilya G. Klyuchnikov, Sergei A. Romanenko Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Evgueni Petrov Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar End-to-End Guarantees in Embedded Control Systems - (Abstract). Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roman S. Dubtsov Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh Towards an Open Framework for C Verification Tools Benchmarking. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina Exponential Acceleration of Model Checking for Perfect Recall Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Buneman Models of Provenance - (Abstract). Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Glück Bootstrapping Compiler Generators from Partial Evaluators. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Radu Mardare Decidability of Modular Logics for Concurrency. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elena N. Bozhenkova Compositional Methods in Characterization of Timed Event Structures. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrey V. Ponomarenko, Vladimir V. Rubanov A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael A. H. Fried, Anna Fensel, Federico Michele Facca, Dieter Fensel An Extensible System for Enhancing Social Conference Experience. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov GoRRiLA and Hard Reality. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arpit Sharma, Joost-Pieter Katoen Weighted Lumpability on Markov Chains. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Geoff W. Hamilton, Neil D. Jones Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander V. Demin, Denis K. Ponomaryov, Evgenii Vityaev Probabilistic Concepts in Formal Contexts. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee History-Dependent Stochastic Petri Nets. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel Towards a Scalable, Pragmatic Knowledge Representation Language for the Web. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dines Bjørner Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoff W. Hamilton Extracting the Essence of Distillation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Würthinger, Michael L. Van de Vanter, Doug Simon Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Victor Felea On the Containment Problem for Queries in Conjunctive Form with Negation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 370 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license