Search results for "UNITY"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
82	Edgar Knapp	Soundness and Completeness of UNITY Logic.	FSTTCS	1994	DBLP DOI BibTeX RDF	Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
81	Yih-Kuen Tsay, Rajive L. Bagrodia	Deducing Fairness Properties in UNITY Logic - A New Completeness Result.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	fairness properties, temporal logic, completeness, UNITY
76	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
71	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
71	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Mobile UNITY: Reasoning and Specification in Mobile Computing.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
68	Carlos Ulises Moulines	The Unity of Science and The Unity of Being: a Sketch of a Formal Approach.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
63	Anas A. Hamoui, Mohammad Sukhon, Franco Maloberti	Digitally-enhanced 2nd-order DeltaSigma modulator with unity-gain signal transfer function.	ISCAS	2008	DBLP DOI BibTeX RDF
63	Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden	Mobile agent security with the IPEditor development tool and the mobile UNITY language.	Agents	2001	DBLP DOI BibTeX RDF
62	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
62	Daniel M. Zimmerman	A UNITY-Based Formalism for Dynamic Distributed Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY
62	Peter J. McCann, Gruia-Catalin Roman	Modeling Mobile IP in Mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables
62	H. Conrad Cunningham, Gruia-Catalin Roman	A UNITY-Style Programming Logic for Shared Dataspace Programs.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness
53	Luís Moniz Pereira	Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	Paco Calvo Garzón	Plant Neurobiology: Lessons for the Unity of Science.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	Luc Faucher	Unity of Science and Pluralism: Cognitive Neurosciences of Racial Prejudice as a Case Study.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	J. R. Croca	The Principle of Eurhythmy: A Key to the Unity of Physics.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	Sheldon Steed, Gabriele Contessa, Nancy Cartwright	Keeping Track of Neurath's Bill: Abstract Concepts, Stock Models and the Unity of Classical Physics.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Jan Wolenski	Naturalism and the Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Otto Neurath, Thomas Bonk	Unity of Science and Logical Empiricism: A Reply.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Hossein Sheykh Rezaee	The Flat Analysis of Properties and the Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera	Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Andrés Rivadulla	Scientific Reasonableness and the Pragmatic Approach to the Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Olga Pombo	Neurath and the Encyclopaedic Project of Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Daniel Andler	Unity Without Myths.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Juan Manuel Torres	The Role of Biology in the Unity of Science Program.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Shahid Rahman, John Symons	Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	Herbert Gintis	Towards a Unity of the Human Behavioral Sciences.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	John Woods, Kent A. Peacock	Quantum Logic and the Unity of Science.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	Gerhard Schurz	Normic Laws, Non-Monotonic Reasoning, and the Unity of Science.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
53	Gruia-Catalin Roman, Jamie Payton	Mobile UNITY Schemas for Agent Coordination.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
53	Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson	The HOL-UNITY Verification System.	TAPSOFT	1995	DBLP DOI BibTeX RDF
53	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	Program Verification using HOL-UNITY.	HUG	1993	DBLP DOI BibTeX RDF
52	Yutaka Ohtake, Alexander G. Belyaev, Marc Alexa, Greg Turk, Hans-Peter Seidel	Multi-level partition of unity implicits.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	adaptive distance, error-controlled subdivision, field approximation, partition of unity approximation, implicit modeling
52	Ernest H. Page, Marc Abrams	Simulation Model Development and Analysis in UNITY.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	simulation specification, simulation verification, parallel simulation protocols, UNITY
52	Lawrence C. Paulson	Mechanizing UNITY in Isabelle.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
51	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Expressing Code Mobility in Mobile UNITY.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	mobile UNITY, mobile code languages, mobile computing, coordination, UNITY, code mobility
47	Boutheina Chetali	Formal Verification of Concurrent Programs Using the Larch Prover.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
47	Boutheina Chetali, Barbara Heyd	Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.	TPHOLs	1997	DBLP DOI BibTeX RDF	theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq
47	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
43	Nadav Aharony, Jamie Zigelbaum	Comm.unity: leveraging social and physical proximity.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	privacy, ubiquitous computing, mobile, trust, pervasive computing, social, network interface
43	Pierre Collette	Application of the Composition Principle to Unity-like Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
43	Rob T. Udink, Joost N. Kok	Two Fully Abstract Models for UNITY.	CONCUR	1993	DBLP DOI BibTeX RDF
43	Joao Paulo Gois, Valdecir Polizelli-Junior, Tiago Etiene, Eduardo Tejada, Antônio Castelo Filho, Luis Gustavo Nonato, Thomas Ertl	Twofold adaptive partition of unity implicits.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Algebraic triangulation, Partition of unity implicits, Orthogonal polynomials
43	Takato Hirano, Koichiro Wada, Keisuke Tanaka	Public-Key Cryptosystems with Primitive Power Roots of Unity.	ACISP	2008	DBLP DOI BibTeX RDF	Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism
43	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
43	Sergey P. Tarasov, Mikhail N. Vyalyi	An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity.	CSR	2007	DBLP DOI BibTeX RDF	algorithm, sparse representation, root of unity, cyclotomic polynomial
43	Weimin Han, Wing Kam Liu	Flexible piecewise approximations based on partition of unity.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	smooth piecewise approximation, partition of unity, polynomial reproducing, nodal interpolation, Galerkin method
43	Sidi O. Ehmety, Lawrence C. Paulson	Program Composition in Isabelle/UNITY.	IPDPS	2002	DBLP DOI BibTeX RDF	program composition, universal and existential properties, UNITY, Isabelle
43	Lawrence C. Paulson	Mechanizing a theory of program composition for UNITY.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
39	Philippe Huneman	Computer Science Meets Evolutionary Biology: Pure Possible Processes and the Issue of Gradualism.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	A. Yazdani	Appearance or Existence of the Entity Realism 'Sense' or Mind.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Nathalie Gontier	Introducing Universal Symbiogenesis.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Catherine Laurent	Plurality of Science and Rational Integration of Knowledge.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Christian Möckel	The Cultural Sciences and Their Basis in Life. On Ernst Cassirer's Theory of the Cultural Sciences.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	María de la Concepción Caamaño Alegre	Pragmatic Continuities in Empirical Science: Some Examples from the History of Astronomy.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Vítor Neves	Sciences as Open Systems - The Case of Economics.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	A. Perera, F. Sokolic	Looking at Water Through Paradigms.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Olga Pombo, Juan Manuel Torres, John Symons	Introduction.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	César Lorenzano	A Physicalist Reconstruction of a Theory: The Case of the Freudian Theory of Hysteria.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Francisco Carrapiço	The Symbiotic Phenomenon in the Evolutive Context.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Edwin J. Beggs, José Félix Costa	Unifying Science Through Computation: Reflections on Computability and Physics.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Brian Hill	Fiction, Counterfactuals: The Challenge for Logic.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
39	Karlheinz Barck	The Neurath-Horkeimer-Controversy Reconsidered: Otto Neurath's Erwiderung to Max Horkheimer's Attack Against the Vienna Circle.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Thomas Bonk	Conceptions of Reality - Schlick, Carnap, Neurath.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Jan Sebestik	Otto Neurath's Epistemology and Its Paradoxes.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Robert L. Causey	A Comprehensible World.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Ahti-Veikko Pietarinen	Principles and Practices of Neurath's Picture Language.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Carlos Ulises Moulines	Does Scientific Progress Necessarily Lead to a Unified Science?	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Mario Bunge	Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Gideon Freudenthal, Tatiana Karachentsev	G. Itelson - A Socratic Philosopher.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
39	Cornelia Schöck	Name (ism), Derived Name (ism mushtaqq) and Description (waṣf) in Arabic Grammar, Muslim Dialectical Theology and Arabic Logic.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Hassan Tahiri	The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Allan Bäck	Islamic Logic?	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Hans P. van Ditmarsch	Logical Fragments in Ibn Khaldūn's Muqaddimah.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Albrecht Heeffer	A Conceptual Analysis of Early Arabic Algebra.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Asad Ahmed	Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Jon McGinnis	Avicenna's Naturalized Epistemology and Scientific Method.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Shahid Rahman, Tony Street, Hassan Tahiri	Introduction: The Major Breakthrough in Scientific Pratice.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Paul Thom	Logic and Metaphysics in Avicenna's Modal Syllogistic.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Roshdi Rashed	The Philosophy of Mathematics.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Ahmad Hasnawi	Avicenna on the Quantification of the Predicate (with an Appendix on [Ibn Zur'a]).	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Deborah L. Black	Avicenna on Self-Awareness and Knowing that One Knows.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Mohammad Ardeshir	Ibn Sī: nā's Philosophy of Mathematics.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
39	Stephen Read	The Truth Schema and the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Jan Wolenski	Read about T-Scheme.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Terence Parsons	Comments on Stephen Read's "The Truth-Schema and the Liar".	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Claude Panaccio	Restrictionism: A Medieval Approach Revisited.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Stephen Read	Further Thoughts on Tarski's T-scheme and the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Bradley Armour-Garb	Read and Indirect Revenge.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Barry Hartley Slater	Out of the Liar Tangle.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Fabienne Pironet	William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	José M. Sagüillo	On a New Account of the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Laurence Goldstein	Doubting Thomas: From Bradwardine Back to Anon.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	György Serény	The Liar Cannot Be Solved.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Gyula Klima	Logic Without Truth.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Eugene Mills	Scheming and Lying.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Catarina Dutilh Novaes	Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
39	Greg Restall	Models for Liars in Bradwardine's Theory of Truth.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF