Search dblp for Publications

export results for "toc:db/conf/ictac/ictac2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ictac/AmanC07,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Mobile Ambients with Timers and Types},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {50--63},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_4},
  doi          = {10.1007/978-3-540-75292-9\_4},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/AmanC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BarsottiB07,
  author       = {Dami{\'{a}}n Barsotti and
                  Javier O. Blanco},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Automatic Refinement of Split Binary Semaphore},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_5},
  doi          = {10.1007/978-3-540-75292-9\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BarsottiB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Bjorner07,
  author       = {Dines Bj{\o}rner},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Domain Theory: Practice and Theories {A} Discussion of Possible Research
                  Topics},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_1},
  doi          = {10.1007/978-3-540-75292-9\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Bjorner07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BonfanteMP07,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Romain P{\'{e}}choux},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Quasi-interpretation Synthesis by Decomposition},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {410--424},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_28},
  doi          = {10.1007/978-3-540-75292-9\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BonfanteMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BostromMW07,
  author       = {Pontus Bostr{\"{o}}m and
                  Lionel Morel and
                  Marina Wald{\'{e}}n},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Stepwise Development of Simulink Models Using the Refinement Calculus
                  Framework},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {79--93},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_6},
  doi          = {10.1007/978-3-540-75292-9\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BostromMW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Cao07,
  author       = {Zining Cao},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Bisimulations for a Distributed Higher Order \emph{pi} -Calculus},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {94--108},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_7},
  doi          = {10.1007/978-3-540-75292-9\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Cao07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/CastroM07,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {A Complete and Compact Propositional Deontic Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {109--123},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_8},
  doi          = {10.1007/978-3-540-75292-9\_8},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/CastroM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ChenXYZZ07,
  author       = {Yinghua Chen and
                  Bican Xia and
                  Lu Yang and
                  Naijun Zhan and
                  Chaochen Zhou},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Discovering Non-linear Ranking Functions by Solving Semi-algebraic
                  Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_3},
  doi          = {10.1007/978-3-540-75292-9\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ChenXYZZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ColvinD07,
  author       = {Robert Colvin and
                  Brijesh Dongol},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Verifying Lock-Freedom Using Well-Founded Orders},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_9},
  doi          = {10.1007/978-3-540-75292-9\_9},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ColvinD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/CoupeyFL07,
  author       = {Pascal Coupey and
                  Christophe Fouquer{\'{e}} and
                  Jean{-}Vincent Loddo},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Tree Components Programming: An Application to {XML}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_10},
  doi          = {10.1007/978-3-540-75292-9\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/CoupeyFL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/DegerlundS07,
  author       = {Fredrik Degerlund and
                  Kaisa Sere},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {A Framework for Incorporating Trust into Formal Systems Development},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_11},
  doi          = {10.1007/978-3-540-75292-9\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/DegerlundS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/DimaL07,
  author       = {Catalin Dima and
                  Ruggero Lanotte},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Distributed Time-Asynchronous Automata},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {185--200},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_13},
  doi          = {10.1007/978-3-540-75292-9\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/DimaL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/FabregasPF07,
  author       = {Ignacio F{\'{a}}bregas and
                  Miguel Palomino and
                  David de Frutos{-}Escrig},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {231--245},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_16},
  doi          = {10.1007/978-3-540-75292-9\_16},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FabregasPF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/FisherB07,
  author       = {John Fisher and
                  Marc Bezem},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Skolem Machines and Geometric Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_14},
  doi          = {10.1007/978-3-540-75292-9\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FisherB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Fouquere07,
  author       = {Christophe Fouquer{\'{e}}},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {A Logical Calculus for Modelling Interferences},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {216--230},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_15},
  doi          = {10.1007/978-3-540-75292-9\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Fouquere07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Jifeng07,
  author       = {Jifeng He},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Linking Semantic Models},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {18--33},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_2},
  doi          = {10.1007/978-3-540-75292-9\_2},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/Jifeng07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/KitamuraL07,
  author       = {Takashi Kitamura and
                  Huimin Lin},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Controlling Process Modularity in Mobile Computing},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {246--259},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_17},
  doi          = {10.1007/978-3-540-75292-9\_17},
  timestamp    = {Fri, 15 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/KitamuraL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LapadulaPT07,
  author       = {Alessandro Lapadula and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {C-clock-WS: {A} Timed Service-Oriented Calculus},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {275--290},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_19},
  doi          = {10.1007/978-3-540-75292-9\_19},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LapadulaPT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LeuckerS07,
  author       = {Martin Leucker and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Regular Linear Temporal Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {291--305},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_20},
  doi          = {10.1007/978-3-540-75292-9\_20},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/LeuckerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LiZH07,
  author       = {Jing Li and
                  Huibiao Zhu and
                  Jifeng He},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Algebraic Semantics for Compensable Transactions},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {306--321},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_21},
  doi          = {10.1007/978-3-540-75292-9\_21},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/LiZH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LiuC07,
  author       = {Xinxin Liu and
                  Haiyan Chen},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Deciding Weak Bisimilarity of Normed Context-Free Processes Using
                  Tableau},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {337--350},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_23},
  doi          = {10.1007/978-3-540-75292-9\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LiuC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LiuWDC07,
  author       = {Wanwei Liu and
                  Ji Wang and
                  Wei Dong and
                  Huowang Chen},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Axiomatizing Extended Temporal Logic Fragments Via Instantiation},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_22},
  doi          = {10.1007/978-3-540-75292-9\_22},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LiuWDC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Loukanova07,
  author       = {Roussanka Loukanova},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Linear Context Free Languages},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {351--365},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_24},
  doi          = {10.1007/978-3-540-75292-9\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Loukanova07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/MattaRSMST07,
  author       = {Andrea Matta and
                  Matteo Rossi and
                  Paola Spoletini and
                  Dino Mandrioli and
                  Quirico Semeraro and
                  Tullio Tolio},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {{FM} for {FMS:} Lessons Learned While Applying Formal Methods to the
                  Study of Flexible Manufacturing Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {366--380},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_25},
  doi          = {10.1007/978-3-540-75292-9\_25},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/MattaRSMST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/NakamuraF07,
  author       = {Masaki Nakamura and
                  Kokichi Futatsugi},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {On Equality Predicates in Algebraic Specification Languages},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {381--395},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_26},
  doi          = {10.1007/978-3-540-75292-9\_26},
  timestamp    = {Sun, 31 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/NakamuraF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Niculescu07,
  author       = {Virginia Niculescu},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Data-Distributions in \emph{PowerList} Theory},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {396--409},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_27},
  doi          = {10.1007/978-3-540-75292-9\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Niculescu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/NollR07,
  author       = {Thomas Noll and
                  Stefan Rieger},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Composing Transformations to Optimize Linear Code},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {425--439},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_29},
  doi          = {10.1007/978-3-540-75292-9\_29},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/NollR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/RandellK07,
  author       = {Brian Randell and
                  Maciej Koutny},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Failures: Their Definition, Modelling and Analysis},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {260--274},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_18},
  doi          = {10.1007/978-3-540-75292-9\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/RandellK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/RaniseS07,
  author       = {Silvio Ranise and
                  Christelle Scharff},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Building Extended Canonizers by Graph-Based Deduction},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {440--454},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_30},
  doi          = {10.1007/978-3-540-75292-9\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/RaniseS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Subramani07,
  author       = {K. Subramani},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {A Randomized Algorithm for BBCSPs in the Prover-Verifier Model},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {455--466},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_31},
  doi          = {10.1007/978-3-540-75292-9\_31},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/Subramani07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Virseda07,
  author       = {Rafael del Vado V{\'{\i}}rseda},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {A Higher-Order Demand-Driven Narrowing Calculus with Definitional
                  Trees},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {169--184},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_12},
  doi          = {10.1007/978-3-540-75292-9\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Virseda07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Wu07,
  author       = {Zhilin Wu},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {On the Expressive Power of {QLTL}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {467--481},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_32},
  doi          = {10.1007/978-3-540-75292-9\_32},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Wu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictac/2007,
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9},
  doi          = {10.1007/978-3-540-75292-9},
  isbn         = {978-3-540-75290-5},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.