Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Dewayne E. Perry	Theories, theories everywhere.	TOSE@ICSE	2016	DBLP DOI BibTeX RDF
19	Pedro Ribeiro 0002, Ana Cavalcanti 0001, Jim Woodcock 0001	A Stepwise Approach to Linking Theories.	UTP	2016	DBLP DOI BibTeX RDF
19	Jifeng He 0001	A New Roadmap for Linking Theories of Programming.	UTP	2016	DBLP DOI BibTeX RDF
19	Roberto Sebastiani, Patrick Trentin	On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.	SMT@IJCAR	2016	DBLP BibTeX RDF
19	Rolf Hennicker, Alexander Knapp	Moving from interface theories to assembly theories.	Acta Informatica	2015	DBLP DOI BibTeX RDF
19	Toshiyasu Arai	Intuitionistic fixed point theories over set theories.	Arch. Math. Log.	2015	DBLP DOI BibTeX RDF
19	Ranald Clouston	Nominal Lawvere Theories: A category theoretic account of equational theories with names.	J. Comput. Syst. Sci.	2014	DBLP DOI BibTeX RDF
19	Kojiro Higuchi, Yoshihiro Horihata	Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S.	Arch. Math. Log.	2014	DBLP DOI BibTeX RDF
19	Pierluigi Nuzzo 0002, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli	Are interface theories equivalent to contract theories?	MEMOCODE	2014	DBLP DOI BibTeX RDF
19	Claire Dross	Generic decision procedures for axiomatic first-order theories. (Procédures de décision génériques pour des théories axiomatiques du premier ordre).		2014	RDF
19	Roel J. Wieringa	Towards middle-range usable design theories for software engineering.	GTSE	2014	DBLP DOI BibTeX RDF
19	Paul Ralph	Evaluating process theories in software engineering.	GTSE	2014	DBLP DOI BibTeX RDF
19	Simon Foster 0001, Jim Woodcock 0001	Unifying Theories of Programming in Isabelle.	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
19	Jim Woodcock 0001, Victor Bandur	Unifying Theories of Undefinedness in UTP.	UTP	2012	DBLP DOI BibTeX RDF
19	Jeremy Gibbons	Unifying Theories of Programming with Monads.	UTP	2012	DBLP DOI BibTeX RDF
19	Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko	Program Verification as Satisfiability Modulo Theories.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
19	Min Zhang 0002, Kazuhiro Ogata 0001, Masaki Nakamura 0001	Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support.	IEICE Trans. Inf. Syst.	2011	DBLP DOI BibTeX RDF
19	Gerhard Jäger, Dieter Probst	The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
19	Andrew Shtulman, Joshua Valcarcel	Ghosts of Theories Past: The Ever-Present Influence of Long-Discarded Theories.	CogSci	2011	DBLP BibTeX RDF
19	Yang Zhao	Theories and Applications of LBP: A Survey.	ICIC (2)	2011	DBLP DOI BibTeX RDF
19	Min Zhang 0002, Kazuhiro Ogata 0001, Masaki Nakamura 0001	Specification Translation of State Machines from Equational Theories into Rewrite Theories.	ICFEM	2010	DBLP DOI BibTeX RDF
19	Yu Sun 0005, Tianwei Xu, Zhiping Li	Translating default theories to normal default theories.	ICIS	2010	DBLP DOI BibTeX RDF
19	Elie Soubiran	Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant).		2010	RDF
19	Michael J. Banks, Jeremy L. Jacob	Unifying Theories of Confidentiality.	UTP	2010	DBLP DOI BibTeX RDF
19	Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff	Unifying Theories in Isabelle/HOL.	UTP	2010	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius, Jirí Velebil	Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract).	MFPS	2009	DBLP DOI BibTeX RDF
19	Paulette Kerr	Espoused theories and theories-in-use of information literacy: A model for reflection and evaluation.	ASIST	2009	DBLP DOI BibTeX RDF
19	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Locations.	UTP	2008	DBLP DOI BibTeX RDF
19	Alistair A. McEwan, Jim Woodcock 0001	Unifying Theories of Interrupts.	UTP	2008	DBLP DOI BibTeX RDF
19	Ana Cavalcanti 0001, Marie-Claude Gaudel	A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming.	UTP	2008	DBLP DOI BibTeX RDF
19	MarySue Cicciarelli	Behavorial, Cognitive, and Humanistic Theories: Which Theories Do Online Instructors Utilize?	Int. J. Inf. Commun. Technol. Educ.	2007	DBLP DOI BibTeX RDF
19	Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer	CC(X): Semantic Combination of Congruence Closure with Solvable Theories.	SMT@CAV	2007	DBLP DOI BibTeX RDF
19	Joohyung Lee 0002, Ravi Palla	Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.	CENT	2007	DBLP BibTeX RDF
19	Josef Urban	MaLARea: a Metasystem for Automated Reasoning in Large Theories.	ESARLT	2007	DBLP BibTeX RDF
19	Vincent Bernat	Théories de l'intrus pour la vérification des protocoles cryptographiques. (Intruder theories for the verification of cryptographic protocols).		2006	RDF
19	Pascal Lafourcade 0001	Vérification de protocoles cryptographiques en présence de théories équationnelles. (Verification of cryptographic protocols in presence of equationnal theories).		2006	RDF
19	Ana Cavalcanti 0001, Will Harwood, Jim Woodcock 0001	Pointers and Records in the Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
19	Mnacho Echenim	Déduction et Unification dans les Théories Permutatives. (Deduction and Unification in Permutative Theories).		2005	RDF
19	Joseph R. Kiniry, Patrice Chalin, Clément Hurlin	Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Bernhard K. Aichernig, Jifeng He 0001, Zhiming Liu 0001, Mike Reed	Integrating Theories and Techniques for Program Modelling, Design and Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Tony Hoare, Jayadev Misra	Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Judith Felson Duchan	Janet W. Astington, Paul L. Harris and David R. Olson, eds., Developing Theories of Mind; Henry M. Wellman, The Child's Theory of Mind; Douglas Frye and Chris Moore, eds., Children's Theories of Mind: Mental States and Social Understanding.	Minds Mach.	2000	DBLP DOI BibTeX RDF
19	Nigel J. T. Thomas	Are theories of imagery theories of imagination?	Cogn. Sci.	1999	DBLP DOI BibTeX RDF
19	Grit Denker	From rewrite theories to temporal logic theories.	WRLA	1998	DBLP DOI BibTeX RDF
19	George Weaver, David Lippel	Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories.	Stud Logica	1998	DBLP DOI BibTeX RDF
19	Narjes Ben Rajeb	Preuves par induction implicite: cas des théories associatives-commutatives et observationnelles. (Proofs by implicit induction: case of associative-commutative and observational theories).		1997	RDF
19	Ho Ngoc Duc	On the Epistemic Foundations of Agent Theories.	ATAL	1997	DBLP DOI BibTeX RDF
19	Robert W. Batterman	Theories between theories: Asymptotic limiting intertheoretic relations.	Synth.	1995	DBLP DOI BibTeX RDF
19	M. Randall Holmes	The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More).	J. Symb. Log.	1995	DBLP DOI BibTeX RDF
19	Michael J. Wooldridge, Jörg P. Müller, Milind Tambe	Agent Theories, Architectures, and Languages: A Bibliography.	ATAL	1995	DBLP DOI BibTeX RDF
19	Cheng-Chia Chen, I-Peng Lin	The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories.	LFCS	1994	DBLP DOI BibTeX RDF
19	Laurent Vigneron	Déduction automatique avec contraintes symboliques dans les théories équationnelles. (Automated deduction with symbolic constraints in equational theories).		1994	RDF
19	Andrew U. Frank, Irene Campari, Ubaldo Formentini (eds.)	Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Christian Freksa	Using Orientation Information for Qualitative Spatial Reasoning.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Albert Z. Guttenberg	Toward a Behavioral Theory of Regionalization.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	David M. Mark	Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Leila De Floriani, Enrico Puppo	A Hierarchical Triangle-Based Model for Terrain Description.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Ombretta Paladino	Treatment of Qualitative Geographic Information in Monitoring Environmental Pollution.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Bianca Falcidieno, Caterina Pienovi, Michela Spagnuolo	Descriptive Modeling and Prescriptive Modeling in Spatial Data Handling.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Dimitris Papadias, Timos K. Sellis	Spatial Reasoning Using Symbolic Arrays.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	A. Barbanente, D. Borri, Floriana Esposito, Pietro Leo, G. Maciocco, F. Selicato	Automatically Acquiring Knowledge by Digital Maps in Artificial Intelligence Planning Techniques.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Daniel R. Montello	The Geometry of Environmental Knowledge.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Helen Couclelis	People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Robbin R. Hough	Time and Space: An Economic Model.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Richard T. Snodgrass	Temporal Databases.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Thanasis Hadzilacos, Nectaria Tryfona	A Model for Expressing topological Integrity Constraints in Geographic Databases.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Reginald G. Golledge	Do People Understand Spatial Concepts: The Case of First-Order Primitives.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Sabine Timpf, Gary S. Volta, David W. Pollock, Max J. Egenhofer	A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Christopher M. Gold	The Meaning of "Neighbour".	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Keiichi Takeuchi	The Changing Language of and Persisting Patterns in the Urban Design of Edo/Tokyo.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Peter A. Whigham, Robert I. McKay, J. R. Davis	Machine Induction of Geospatial Knowledge.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Kazuo Hiraki, Yuichiro Anzai	Towards Acquiring Spatio-Temporal Knowledge from Sensor Data.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Max J. Egenhofer, Khaled K. Al-Taha	Reasoning about Gradual Changes of Topological Relationships.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	A. Stewart Fotheringham, Andrew Curtis	Encoding Spatial Information: The Evidence for Hierarchical Processing.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Shaun Futch, David N. Chin, Matthew McGranaghan, Jinn-Guey Lay	Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter).	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Scott M. Freundschuh	Is there a Relationship Between Spatial Cognition and Environmental Patterns?	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Erland Jungert	The Observer's Point of View: An Extension of Symbolic Projections.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Edward P. Stabler Jr.	Representing Knowledge with Theories about Theories.	J. Log. Program.	1990	DBLP DOI BibTeX RDF
19	Pascal Drabrik	Validation sémantique dans les théories structurées : application à un langage de programmation générique. (Semantic validation for structured theories: application to a generic programming language).		1989	RDF
19	Alain Touraille	Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
19	Daniel Leivant	Partial-Correctness Theories as First-Order Theories.	Logic of Programs	1985	DBLP DOI BibTeX RDF
19	Albert Visser	The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.	J. Philos. Log.	1984	DBLP DOI BibTeX RDF
19	Hugo Volger	Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
19	Anand Pillay	Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models.	J. Symb. Log.	1980	DBLP DOI BibTeX RDF
15	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Combinable Extensions of Abelian Groups.	CADE	2009	DBLP DOI BibTeX RDF
15	Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee	On relational interfaces.	EMSOFT	2009	DBLP DOI BibTeX RDF	interfaces, composition, refinement, compositionality
15	Robert Brummayer, Armin Biere	Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.	TACAS	2009	DBLP DOI BibTeX RDF
15	Giuseppe Castagna, Luca Padovani	Contracts for Mobile Processes.	CONCUR	2009	DBLP DOI BibTeX RDF
15	Andrey Bovykin	Resplendent models and S11{\Sigma_1^1} -definability with an oracle.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03B10, 03C50, 03C62, Secondary 03C07, 03C30, 03C35, 03C52, 03C64, 03C57
15	Camilo Rocha, José Meseguer 0001	Theorem Proving Modulo Based on Boolean Equational Procedures.	RelMiCS	2008	DBLP DOI BibTeX RDF
15	Wen-Chih Chang, Yan-Da Chiu, Mao-Fan Li	Learning Kruskal's Algorithm, Prim's Algorithm and Dijkstra's Algorithm by Board Game.	ICWL	2008	DBLP DOI BibTeX RDF
15	Devon K. Barrow, Antonija Mitrovic, Stellan Ohlsson, Michael Grimley	Assessing the Impact of Positive Feedback in Constraint-Based Tutors.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
15	Sumit Gulwani, Madan Musuvathi	Cover Algorithms and Their Combination.	ESOP	2008	DBLP DOI BibTeX RDF
15	Michael Fink 0001	Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There.	ICLP	2008	DBLP DOI BibTeX RDF	uniform equivalence, knowledge representation, program optimization, answer-set programming
15	Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans	On Local Reasoning in Verification.	TACAS	2008	DBLP DOI BibTeX RDF
15	Lin Xu, Jianhui Wang, Xiaoke Fang, Yan Zheng, Dakuo He	Research on Experimental Teaching Patterns Based on E-learning.	CSSE (5)	2008	DBLP DOI BibTeX RDF
15	Huandong Chen, Chunhui Song, Shulei Wu, Haihua Xing, ZhanJi Gui, Xianchuan Yu, Ye Luo	Research and Design of Web-Based E-learning System.	CSSE (5)	2008	DBLP DOI BibTeX RDF
15	Ana Luísa Duboc, Aline Paes, Gerson Zaverucha	Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.	ILP	2008	DBLP DOI BibTeX RDF
15	Norman Vargas, Leonel Plazaola, Mathias Ekstedt	A Consolidated Strategic Business and IT Alignment Representation: A Framework Aggregated From Literature.	HICSS	2008	DBLP DOI BibTeX RDF
15	Antonis Bikakis, Grigoris Antoniou	Local and Distributed Defeasible Reasoning in Multi-Context Systems.	RuleML	2008	DBLP DOI BibTeX RDF