Conferences in DBLP
José Meseguer A Rewriting Logic Sampler. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:1-28 [Conf ] Do Long Van , Kieu Van Hung , Phan Trung Huy Codes and Length-Increasing Transitive Binary Relations. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:29-48 [Conf ] Rocco De Nicola Languages and Process Calculi for Network Aware Programming - Short Summary -. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:49-52 [Conf ] Reiko Heckel Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:53-69 [Conf ] Jifeng He , Xiaoshan Li , Zhiming Liu Component-Based Software Engineering. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:70-95 [Conf ] Yo-Sub Han , Derick Wood Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:96-109 [Conf ] Sébastien Limet , Pierre Pillot Solving First Order Formulae of Pseudo-Regular Theory. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:110-124 [Conf ] K. G. Subramanian , A. Roslin Sagaya Mary , K. S. Dersanambika Splicing Array Grammar Systems. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:125-135 [Conf ] Naijun Zhan , Jinzhao Wu Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:136-150 [Conf ] Linh Anh Nguyen An SLD-Resolution Calculus for Basic Serial Multimodal Logics. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:151-165 [Conf ] Koji Iwanuma , Katsumi Inoue , Hidetomo Nabeshima Upside-Down Transformation in SOL/Connection Tableaux and Its Application. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:166-179 [Conf ] Tran Van Dung On the Stability Semantics of Combinational Programs. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:180-194 [Conf ] Jianguo Zhou , Yifeng Chen Generating C Code from LOGS Specifications. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:195-210 [Conf ] Alberto de la Encina , Luis Llana , Fernando Rubio Formalizing the Debugging Process in Haskell. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:211-226 [Conf ] Hoang Truong , Marc Bezem Finding Resource Bounds in the Presence of Explicit Deallocation. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:227-241 [Conf ] Raymond T. Boute , Andreas Schäfer The Timer Cascade: Functional Modelling and Real Time Calculi. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:242-256 [Conf ] Martin Fränzle , Michael R. Hansen A Robust Interpretation of Duration Calculus. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:257-271 [Conf ] Rongjie Yan , Guangyuan Li , Zhisong Tang Symbolic Model Checking of Finite Precision Timed Automata. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:272-287 [Conf ] Ranald Clouston , Robert Goldblatt Covarieties of Coalgebras: Comonads and Coequations. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:288-302 [Conf ] Jifeng He , C. A. R. Hoare Linking Theories of Concurrency. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:303-317 [Conf ] Rob J. van Glabbeek On Cool Congruence Formats for Weak Bisimulations. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:318-333 [Conf ] Michel Bidoit , Rolf Hennicker Externalized and Internalized Notions of Behavioral Refinement. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:334-350 [Conf ] Fausto Spoto Information Flow Is Linear Refinement of Constancy. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:351-365 [Conf ] Gérard Boudol On Typing Information Flow. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:366-380 [Conf ] Chen Zhao , NuerMaimaiti Heilili , Shengping Liu , Zuoquan Lin Representation and Reasoning on RBAC: A Description Logic Approach. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:381-393 [Conf ] Carole Delporte-Gallet , Hugues Fauconnier , Felix C. Freiling Revisiting Failure Detection and Consensus in Omission Failure Environments. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:394-408 [Conf ] Ernst-Erich Doberkat Congruences and Bisimulations for Continuous-Time Stochastic Logic. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:409-423 [Conf ] Manas Patra A Logic for Quantum Circuits and Protocols. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:424-438 [Conf ] Orieta Celiku Quantitative Temporal Logic Mechanized in HOL. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:439-453 [Conf ] Natalia López , Manuel Núñez Weak Stochastic Bisimulation for Non-markovian Processes. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:454-468 [Conf ] Sun Meng , Luís Soares Barbosa , Zhang Naixiao On Refinement of Software Architectures. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:469-484 [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 ] ICTAC, 2005, pp:485-500 [Conf ] Kenro Yatake , Toshiaki Aoki , Takuya Katayama Implementing Application-Specific Object-Oriented Theories in HOL. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:501-516 [Conf ] Nguyen Truong Thang , Takuya Katayama Constructing Open Systems via Consistent Components. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:517-531 [Conf ] Jan Friso Groote , Misa Keinänen A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:532-545 [Conf ] Antti Puhakka Using Fairness Constraints in Process-Algebraic Verification. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:546-561 [Conf ] Isao Sasano , Mizuhito Ogawa , Zhenjiang Hu Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:562-578 [Conf ] Guillaume Bonfante , Matthieu Kaczmarek , Jean-Yves Marion Toward an Abstract Computer Virology. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:579-593 [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 ] ICTAC, 2005, pp:594-608 [Conf ] Dang Van Hung A Summary of the Tutorials at ICTAC 2005. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:609-612 [Conf ]