Conferences in DBLP
A New Analysis of Expected Revenue. [Citation Graph (, )][DBLP ] Can Component/Service-Based Systems Be Proved Correct?. [Citation Graph (, )][DBLP ] Probabilistic Acceptors for Languages over Infinite Words. [Citation Graph (, )][DBLP ] Automatic Verification of Heap Manipulation Using Separation Logic. [Citation Graph (, )][DBLP ] Technology Diffusion in Social Networks. [Citation Graph (, )][DBLP ] Service Oriented Architecture Pitfalls. [Citation Graph (, )][DBLP ] Algorithms for Solving Infinite Games. [Citation Graph (, )][DBLP ] Randomness and Determination, from Physics and Computing towards Biology. [Citation Graph (, )][DBLP ] When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures. [Citation Graph (, )][DBLP ] On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. [Citation Graph (, )][DBLP ] Framed Versus Unframed Two-Dimensional Languages. [Citation Graph (, )][DBLP ] Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes. [Citation Graph (, )][DBLP ] The Shortcut Problem - Complexity and Approximation. [Citation Graph (, )][DBLP ] Green Computing: Energy Consumption Optimized Service Hosting. [Citation Graph (, )][DBLP ] On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem. [Citation Graph (, )][DBLP ] Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. [Citation Graph (, )][DBLP ] Epistemic Strategies and Games on Concurrent Processes. [Citation Graph (, )][DBLP ] On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. [Citation Graph (, )][DBLP ] On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay. [Citation Graph (, )][DBLP ] Time and Fairness in a Process Algebra with Non-blocking Reading. [Citation Graph (, )][DBLP ] Expressiveness of Multiple Heads in CHR. [Citation Graph (, )][DBLP ] Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes. [Citation Graph (, )][DBLP ] A Framework for Mutant Genetic Generation for WS-BPEL. [Citation Graph (, )][DBLP ] Implementing Services by Partial State Machines. [Citation Graph (, )][DBLP ] Pattern Matching with Swaps for Short Patterns in Linear Time. [Citation Graph (, )][DBLP ] Automatic Bug Detection in Microcontroller Software by Static Program Analysis. [Citation Graph (, )][DBLP ] On the Unification of Process Semantics: Observational Semantics. [Citation Graph (, )][DBLP ] Factoring and Testing Primes in Small Space. [Citation Graph (, )][DBLP ] Adaptive Incentive-Compatible Sponsored Search Auction. [Citation Graph (, )][DBLP ] Semantically-Aided Data-Aware Service Workflow Composition. [Citation Graph (, )][DBLP ] Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length Jobs in Slotted Time. [Citation Graph (, )][DBLP ] Abstract Storage Devices. [Citation Graph (, )][DBLP ] On Stateless Deterministic Restarting Automata. [Citation Graph (, )][DBLP ] User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment. [Citation Graph (, )][DBLP ] Safe Reasoning with Logic LTS. [Citation Graph (, )][DBLP ] Partial Order Semantics of Types of Nets. [Citation Graph (, )][DBLP ] A Problem Kernelization for Graph Packing. [Citation Graph (, )][DBLP ] -Hardness of Pure Nash Equilibrium in Scheduling and Connection Games. [Citation Graph (, )][DBLP ] Conjunctive Grammars with Restricted Disjunction. [Citation Graph (, )][DBLP ] Modelling and Verifying Mobile Systems Using pi-Graphs. [Citation Graph (, )][DBLP ] On Some SAT-Variants over Linear Formulas. [Citation Graph (, )][DBLP ] The Simple Reachability Problem in Switch Graphs. [Citation Graph (, )][DBLP ] Unambiguous Erasing Morphisms in Free Monoids. [Citation Graph (, )][DBLP ] An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. [Citation Graph (, )][DBLP ] Asynchronous Deterministic Rendezvous on the Line. [Citation Graph (, )][DBLP ] Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. [Citation Graph (, )][DBLP ] Group Input Machine. [Citation Graph (, )][DBLP ] From Outermost Termination to Innermost Termination. [Citation Graph (, )][DBLP ] Improved Algorithms for the 2-Vertex Disjoint Paths Problem. [Citation Graph (, )][DBLP ] Event-Clock Visibly Pushdown Automata. [Citation Graph (, )][DBLP ] A Machine Checked Soundness Proof for an Intermediate Verification Language. [Citation Graph (, )][DBLP ] Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. [Citation Graph (, )][DBLP ] Symbolic Reachability Analysis of Integer Timed Petri Nets. [Citation Graph (, )][DBLP ] On Toda's Theorem in Structural Communication Complexity. [Citation Graph (, )][DBLP ] The Minimum Reload s-tPath/Trail/Walk Problems. [Citation Graph (, )][DBLP ] Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression. [Citation Graph (, )][DBLP ] A New Family of Regular Operators Fitting with the Position Automaton Computation. [Citation Graph (, )][DBLP ] A Formal Model of Business Application Integration from Web Services (Position Paper). [Citation Graph (, )][DBLP ] 