Conferences in DBLP
José Meseguer A Rewriting Logic Sampler. [Citation Graph (0, 0)][DBLP ] Conf ] Do Long Van , Kieu Van Hung , Phan Trung Huy Codes and Length-Increasing Transitive Binary Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola Languages and Process Calculi for Network Aware Programming - Short Summary -. [Citation Graph (0, 0)][DBLP ] Conf ] Reiko Heckel Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , Xiaoshan Li , Zhiming Liu Component-Based Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Yo-Sub Han , Derick Wood Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Limet , Pierre Pillot Solving First Order Formulae of Pseudo-Regular Theory. [Citation Graph (0, 0)][DBLP ] Conf ] K. G. Subramanian , A. Roslin Sagaya Mary , K. S. Dersanambika Splicing Array Grammar Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Naijun Zhan , Jinzhao Wu Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP ] Conf ] Linh Anh Nguyen An SLD-Resolution Calculus for Basic Serial Multimodal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Iwanuma , Katsumi Inoue , Hidetomo Nabeshima Upside-Down Transformation in SOL/Connection Tableaux and Its Application. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Van Dung On the Stability Semantics of Combinational Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jianguo Zhou , Yifeng Chen Generating C Code from LOGS Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto de la Encina , Luis Llana , Fernando Rubio Formalizing the Debugging Process in Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Hoang Truong , Marc Bezem Finding Resource Bounds in the Presence of Explicit Deallocation. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond T. Boute , Andreas Schäfer The Timer Cascade: Functional Modelling and Real Time Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Fränzle , Michael R. Hansen A Robust Interpretation of Duration Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Rongjie Yan , Guangyuan Li , Zhisong Tang Symbolic Model Checking of Finite Precision Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ranald Clouston , Robert Goldblatt Covarieties of Coalgebras: Comonads and Coequations. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , C. A. R. Hoare Linking Theories of Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek On Cool Congruence Formats for Weak Bisimulations. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Rolf Hennicker Externalized and Internalized Notions of Behavioral Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Spoto Information Flow Is Linear Refinement of Constancy. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Boudol On Typing Information Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Chen Zhao , NuerMaimaiti Heilili , Shengping Liu , Zuoquan Lin Representation and Reasoning on RBAC: A Description Logic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Carole Delporte-Gallet , Hugues Fauconnier , Felix C. Freiling Revisiting Failure Detection and Consensus in Omission Failure Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Erich Doberkat Congruences and Bisimulations for Continuous-Time Stochastic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Manas Patra A Logic for Quantum Circuits and Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Orieta Celiku Quantitative Temporal Logic Mechanized in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia López , Manuel Núñez Weak Stochastic Bisimulation for Non-markovian Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Sun Meng , Luís Soares Barbosa , Zhang Naixiao On Refinement of Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Quan Long , Zongyan Qiu , Zhiming Liu , Lingshuang Shao , Jifeng He POST: A Case Study for an Incremental Development in rCOS. [Citation Graph (0, 0)][DBLP ] Conf ] Kenro Yatake , Toshiaki Aoki , Takuya Katayama Implementing Application-Specific Object-Oriented Theories in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Nguyen Truong Thang , Takuya Katayama Constructing Open Systems via Consistent Components. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote , Misa Keinänen A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Antti Puhakka Using Fairness Constraints in Process-Algebraic Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Isao Sasano , Mizuhito Ogawa , Zhenjiang Hu Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Guillaume Bonfante , Matthieu Kaczmarek , Jean-Yves Marion Toward an Abstract Computer Virology. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Kirchner , Silvio Ranise , Christophe Ringeissen , Duc-Khanh Tran On Superposition-Based Satisfiability Procedures and Their Combination. [Citation Graph (0, 0)][DBLP ] Conf ] Dang Van Hung A Summary of the Tutorials at ICTAC 2005. [Citation Graph (0, 0)][DBLP ] Conf ] 