|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5620 occurrences of 3172 keywords
|
|
|
Results
Found 14507 publication records. Showing 14507 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 14507 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|