Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Jayadev Misra	Cv.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	C. A. R. Hoare, Jayadev Misra	Preface to Special Issue on Software Verification.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Cliff B. Jones, Jayadev Misra	Preface.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	David May 0001	CSP, Occam, and Inmos.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32		ACM Interview.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Bernard Sufrin	Teaching at Belfast and Oxford.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Peter Müller 0001, Natarajan Shankar	The First Fifteen Years of the Verified Software Project.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Georg Struth	Trimming the Hedges: An Algebra to Tame Concurrency.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Jim Woodcock 0001, Janet Barnes, Rod Chapman, Simon Foster 0001, Thomas Santen	Verification in the Grand Challenge.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Margaret Gray	Online Resources.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Laurent Tambayong	Change Detection in Dynamic Political Networks: The Case of Sudan.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Vahid Dabbaghian, Payman Jula, Peter B. Borwein, E. Fowler, Christopher Giles, N. Richardson, Alexander R. Rutherford, Alexa van der Waall	High-Level Simulation Model of a Criminal Justice System.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Ana-Maria Olteanu Raimond, Thomas Couronné	Modeling Humain Behavior in Space and Time Using Mobile Phone Data.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Susan M. Mniszewski, Sara Y. Del Valle, Reid Priedhorsky, James Mac Hyman, Kyle S. Hickman	Understanding the Impact of Face Mask Usage Through Epidemic Simulation of Large Social Networks.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Nick Malleson, Linda See, Andrew J. Evans, Alison J. Heppenstall	Optimising an Agent-Based Model to Explore the Behaviour of Simulated Burglars.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Andrew A. Reid, Richard Frank	Celerity in the Courts: The Application of Fuzzy Logic to Model Case Complexity of Criminal Justice Systems.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	André C. R. Martins	Modelling Epistemic Systems.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Hilary K. Morden, Vijay Kumar Mago, Ruby Deol, Sara Namazi, Suzanne Wuolle, Vahid Dabbaghian	Youth Gang Formation: Basic Instinct or Something Else?	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Piper J. Jackson	Software Solutions for Computational Modelling in the Social Sciences.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Bimal Kumar Mishra, Kaushik Haldar	e-Epidemic Models on the Attack and Defense of Malicious Objects in Networks.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Philippe J. Giabbanelli, Piper J. Jackson, Diane T. Finegood	Modelling the Joint Effect of Social Determinants and Peers on Obesity Among Canadian Adults.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
32	Zhiming Liu 0001, Jim Woodcock 0001, Huibiao Zhu (eds.)	Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Jian Zhang 0001	Performance Estimation Using Symbolic Data.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	A. W. Roscoe 0001, Philippa J. Hopcroft	Slow Abstraction via Priority.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Jonathan P. Bowen	A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu	Towards a Modeling Language for Cyber-Physical Systems.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Michael J. Butler, Issam Maamria	Practical Theory Extension in Event-B.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Yuxi Fu	The Value-Passing Calculus.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Liang Zhao 0021, Shuling Wang, Zhiming Liu 0001	Graph-Based Object-Oriented Hoare Logic.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Richard Banach	Pliant Modalities in Hybrid Event-B.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Dang Van Hung, Hoang Truong 0001	Modeling and Specification of Real-Time Interfaces with UTP.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Jian Lü 0001, Yu Huang 0002, Chang Xu 0001, Xiaoxing Ma	Managing Environment and Adaptation Risks for the Internetware Paradigm.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Jean-Raymond Abrial	Set-Theoretic Models of Computations.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Bernhard K. Aichernig	Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Hengjun Zhao, Naijun Zhan, Deepak Kapur	Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang	Invariants Synthesis over a Combined Domain for Automated Program Verification.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Cliff B. Jones, Leo Freitas, Andrius Velykis	Ours Is to Reason Why.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang 0001	Some Fixed-Point Issues in PPTL.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Yifeng Chen	Algebraic Program Semantics for Supercomputing.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Ana Cavalcanti 0001, Alexandre Mota 0001, Jim Woodcock 0001	Simulink Timed Models for Program Verification.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Chao Chen, Huaikou Miao, Yihai Chen	Concept Analysis Based Approach to Statistical Web Testing.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang 0005, Jifeng He 0001, Kim Guldstrand Larsen	On the Relationship between LTL Normal Forms and Büchi Automata.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Tony Hoare	Generic Models of the Laws of Programming.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Hanne Riis Nielson, Flemming Nielson	Safety versus Security in the Quality Calculus.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin	Optimal Bounds for Multiweighted and Parametrised Energy Games.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog	Proving Safety of Traffic Manoeuvres on Country Roads.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
32	Giovanni Sommaruga (eds.)	Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information [Muenchenwiler Seminar (Switzerland), May 2009]	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Jürg Kohlas, Christian Eichenberger	Uncertain Information.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Jeremy Seligman	Channels: From Logic to Probability.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Jürg Kohlas, Cesar Schneuwly	Information Algebra.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Luciano Floridi	Philosophical Conceptions of Information.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Keith Devlin	Modeling Real Reasoning.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	François Bavaud	Information Theory, Relative Entropy and Statistics.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Giovanni Sommaruga	One or Many Concepts of Information?	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
32	Oliviero Stock, Marco Schaerf (eds.)	Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Marco Gori, Marco Ernandes, Giovanni Angelini	Cracking Crosswords: The Computer Challenge.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Marco Cadoli, Marco Schaerf	Partial Solutions with Unique Completion.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Paolo Traverso	Planning Under Uncertainty and Its Applications.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Moa Johansson, Alan Bundy, Lucas Dixon	Best-First Rippling.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann	SharedLife: Towards Selective Sharing of Augmented Personal Memories.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Erica Melis, Martin Pollet, Jörg H. Siekmann	Reductio ad Absurdum: Planning Proofs by Contradiction.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Fiora Pirri	About Implicit and Explicit Shape Representation.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Pietro Torasso, Gianluca Torta	Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Alberto Martelli, Laura Giordano 0001	Reasoning About Web Services in a Temporal Action Logic.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Erik Sandewall	Coordination of Actions in an Autonomous Robotic System.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Roberto Serra, Marco Villani 0001	Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Wolfgang Bibel	Research Perspectives for Logic and Deduction.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo	Examples of Integration of Induction and Deduction in Knowledge Discovery.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Roberto Cordeschi	Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Daniele Nardi, Luca Iocchi	Artificial Intelligence in RoboCup.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Bob Kowalski 0001	Computational Logic in an Object-Oriented World.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF	object-orientation, logic programming, Linda
32	Alessandro Micarelli, Fabio Gasparetti, Claudio Biancalana	Intelligent Search on the Internet.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Michael J. Wooldridge, Nicholas R. Jennings (eds.)	Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings	ECAI Workshop on Agent Theories, Architectures, and Languages	1995	DBLP DOI BibTeX RDF
32	Frédéric Guichard, Jacqueline Ayel	Logical Reorganization of DAI Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	David Moffat, Nico Frijda	Where There's a Will There's an Agent.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Mikhail Soutchanski, Eugenia Ternovskaia	Logical Formalization of Concurrent Actions for Multi-Agent Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Devindra Weerasooriya, Anand S. Rao, Kotagiri Ramamohanarao	Design of a Concurrent Agent-Oriented Language.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Innes A. Ferguson	Integrated Control and Coordinated Behaviour: A Case for Agent Models.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	John Bell	Changing Attitudes.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	J. Stuart Aitken, Franz Schmalhofer, Nigel Shadbolt	A Knowledge Level Characterisation of Multi-Agent Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Hans-Dieter Burkhard	Agent-Oriented Programming for Open Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Peter Wavish, Michael Graham	Roles, Skills and Behaviour: A Situated Action Approach to Orgenising Systems of Interacting Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	S. Rebecca Thomas	The PLACA Agent Programming Language.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Cristiano Castelfranchi	Guarantees for Autonomy in Cognitive Agent Architecture.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Timothy J. Norman, Derek Long	Goal Creation in Motivated Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Bertil Ekdahl, Eric Astor, Paul Davidsson	Towards Anticipatory Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Jacek Malec	A Unified Approach to Intelligent Agency.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Michael Fisher 0001	Representing and Executing Agent-Based Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Paul Dongha	Toward a Formal Model of Commitment for Resource Bounded Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Agostino Poggi	DAISY: An Object-Oriented System for Distributed Artificial Intelligence.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Barbara Dunin-Keplicz, Jan Treur	Compositional Formal Specification of Multi-Agent Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Frank G. McCabe, Keith L. Clark	April - Agent PRocess Interaction Language.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Michael J. Wooldridge	This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Geof Staniford, Ray Paton	Simulating Animal Societies with Adaptive Communicating Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Jun Huang, Nicholas R. Jennings, John Fox 0001	An Agent Architecture for Distributed Medical Care.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Alessandro Cimatti, Luciano Serafini	Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
32	Jörg P. Müller, Markus Pischel, Michael Thiel	Modelling Reactive Behaviour in Vertically Layered Agent Architectures.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
30	Steven D. Hales	Moral relativism and evolutionary psychology.	Synth.	2009	DBLP DOI BibTeX RDF	Moral relativism, Agent-centered, Agent-neutral, Evolutionary psychology, Intuition
30	Tracy Hall, Nathan Baddoo, Sarah Beecham, Hugh Robinson, Helen Sharp	A systematic review of theory use in studies investigating the motivations of software engineers.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	software engineering, Motivation
30	Pontus Johnson, Mathias Ekstedt	In Search of a Unified Theory of Software Engineering.	ICSEA	2007	DBLP DOI BibTeX RDF