The SCEAS System
Navigation Menu

Conferences in DBLP

Ershov Memorial Conference (ershov)
2009 (conf/ershov/2009)


  1. Games, Interaction and Computation. [Citation Graph (, )][DBLP]


  2. Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! [Citation Graph (, )][DBLP]


  3. Compositional and Quantitative Model Checking (Extended Abstract). [Citation Graph (, )][DBLP]


  4. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  5. Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction. [Citation Graph (, )][DBLP]


  6. Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. [Citation Graph (, )][DBLP]


  7. A Two-Level Approach for Modeling and Verification of Telecommunication Systems. [Citation Graph (, )][DBLP]


  8. SVM Paradoxes. [Citation Graph (, )][DBLP]


  9. Indexing Dense Nested Metric Spaces for Efficient Similarity Search. [Citation Graph (, )][DBLP]


  10. On the Containment Problem for Queries in Conjunctive Form with Negation. [Citation Graph (, )][DBLP]


  11. Towards a Scalable, Pragmatic Knowledge Representation Language for the Web. [Citation Graph (, )][DBLP]


  12. An Experiment with the Fourth Futamura Projection. [Citation Graph (, )][DBLP]


  13. Extracting the Essence of Distillation. [Citation Graph (, )][DBLP]


  14. Establishing Linux Driver Verification Process. [Citation Graph (, )][DBLP]


  15. A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules. [Citation Graph (, )][DBLP]


  16. A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. [Citation Graph (, )][DBLP]


  17. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. [Citation Graph (, )][DBLP]


  18. Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. [Citation Graph (, )][DBLP]


  19. Applicability of the BLAST Model Checker: An Industrial Case Study. [Citation Graph (, )][DBLP]


  20. SigmaK-constraints for Hybrid Systems. [Citation Graph (, )][DBLP]


  21. A Complete Invariant Generation Approach for P-solvable Loops. [Citation Graph (, )][DBLP]


  22. Standardization and Testing of Mathematical Functions. [Citation Graph (, )][DBLP]


  23. Using AOP for Discovering and Defining Executable Test Cases. [Citation Graph (, )][DBLP]


  24. Cryptographic Protocols Analysis in Event B. [Citation Graph (, )][DBLP]


  25. A Query Language for Logic Architectures. [Citation Graph (, )][DBLP]


  26. Planet Map Generation by Tetrahedral Subdivision. [Citation Graph (, )][DBLP]


  27. Towards Checking Parametric Reachability for UML State Machines. [Citation Graph (, )][DBLP]


  28. A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. [Citation Graph (, )][DBLP]


  29. A Technique for Information Retrieval from Microformatted Websites. [Citation Graph (, )][DBLP]


  30. From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. [Citation Graph (, )][DBLP]


  31. History-Dependent Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  32. Privacy Preserving Modules for Ontologies. [Citation Graph (, )][DBLP]


  33. Symbolic Bounded Conformance Checking of Model Programs. [Citation Graph (, )][DBLP]


  34. Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture. [Citation Graph (, )][DBLP]


  35. Anti-unification Algorithms and Their Applications in Program Analysis. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002