MTC - Models and Theory of Computation Laboratory

Publication Type

• Conference Papers (36)
• Reports (20)
• Journal Articles (17)
• Theses (5)
• Book Chapters (1)
• Student Projects (1)

Lab

• MTC (80)
• LANOS (5)
• DCL (4)
• LBNC (3)
• ALGO (1)
• LARA (1)

Publication Year

• 2015 (1)
• 2014 (1)
• 2012 (1)
• 2011 (5)
• 2010 (20)
• 2009 (16)
• 2008 (20)
• 2007 (7)
• 2006 (4)
• 2005 (5)

Show more

Journal

• Formal Methods In System Design (3)
• Acm Transactions On Computational Logic (2)
• Computer Aided Verification. CAV 2007 (2)
• Electronic Notes in Theoretical Computer Science (2)
• Information And Computation (2)
• 2009 30Th Ieee Real-Time Systems Symposium, Proceedings (1)
• 2009 International Workshop On High Performance Computational Systems Biology, Proceedings (1)
• 2010 Seventh International Conference on the Quantitative Evaluation of Systems (1)
• Acm Sigplan Notices (1)
• Acta Informatica (1)
• Automated Deduction - Cade-22 (1)
• Automated Reasoning, Proceedings (1)
• BMC Systems Biology (1)
• CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology (1)
• Computational Methods In Systems Biology, Proceedings (1)
• Computer Aided Verification. CAV 2006 (1)
• Computer Aided Verification, Proceedings (1)
• Computer Science - Theory And Applications (1)
• Design and Analysis of Bio-Molecular Circuits (1)
• Distributed Computing (1)
• Formal Methods in System Design (1)
• Formal Methods in Systems Biology. FMSB 2008 (1)
• Fundamental Approaches to Software Engineering. FASE 2010 (1)
• Fundamental Approaches To Software Engineering, Proceedings (1)
• Iet Systems Biology (1)
• Information Processing Letters (1)
• International Journal Of Foundations Of Computer Science (1)
• International Journal Of Game Theory (1)
• Journal Of Computer And System Sciences (1)
• Journal Of Logic And Algebraic Programming (1)
• Journal Of The Acm (1)
• Logic for Programming, Artificial Intelligence, and Reasoning (1)
• Logical Methods In Computer Science (1)
• Perspectives Of Systems Informatics (1)
• Philosophical Transactions Of The Royal Society A-Mathematical Physical And Engineering Sciences (1)
• PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (1)
• POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1)
• Proceedings of Formal Methods in Systems Biology (1)
• Proceedings of the 19th International Conference on Concurrency Theory (1)
• Proceedings of the 21st International Conference on Computer Aided Verification (1)
• Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (1)
• Proceedings of the 22nd International Symposium on Distributed Computing (1)
• Proceedings of the 7th International Workshop on Computational Systems Biology (1)
• Proceedings ot the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) (1)
• Reachability Problems, Proceedings (1)
• Theoretical Computer Science (1)
• Tools And Algorithms For The Construction And Analysis Of Systems (1)

Show more