The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase formal models (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1989 (17) 1990 (28) 1991-1993 (15) 1994-1995 (17) 1996-1997 (32) 1998 (18) 1999 (26) 2000 (31) 2001 (22) 2002 (19) 2003 (34) 2004 (45) 2005 (211) 2006 (77) 2007 (150) 2008 (73) 2009 (54) 2010 (22) 2011-2013 (28) 2014-2015 (24) 2016 (21) 2017-2018 (25) 2019 (9)
Publication types (Num. hits)
article(149) book(7) incollection(34) inproceedings(793) phdthesis(10) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 828 occurrences of 553 keywords

Results
Found 998 publication records. Showing 998 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
42Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
42Jakob Nielsen Designing for international use (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
41S. Joy Mountford Designers: meet your users (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Apple Computer, HyperCard, Inc
41Marcy Telles Updating an older interface. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF WordStar
41Hans Brunner A snapshot of natural language interfaces (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
41Terry Winograd What can we teach about human-computer interaction? (plenary address). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner XFM: An incremental methodology for developing formal models. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
36Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott 07351 Executive Summary - Formal Models of Belief Change in Rational Agents. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
36Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott 07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
33Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao A MDE Based Approach for Bridging Formal Models. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, MDE
32Judy Bowen, Steve Reeves Using formal models to design user interfaces: a case study. Search on Bibsonomy BCS HCI (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, user-centred design, software design process
30Jeff Offutt Programmers Ain't Mathematicians, and Neither Are Testers. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Christian Seybold, Silvio Meier, Martin Glinz Evolution of Requirements Models by Simulation. Search on Bibsonomy IWPSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Madhavan Mukund, K. Rangarajan, K. G. Subramanian 0001 (eds.) Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott (eds.) Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007 Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Priti Shankar An Application of Regular Tree Grammars. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manfred Kudlek Iteration Lemmata for Rational, Linear, and Algebraic Languages Over Algebraic Structures with Several Binary Operations. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27T. Kalyani, K. Sasikala, V. Rajkumar Dare, P. J. Abisha, T. Robinson 0001 Triangular Pasting System. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Akira Nakamura Simple Deformation of 4D Digital Pictures. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27M. K. Viswanath, K. P. Vidya Pollard's Rho Split Knowledge Scheme. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang Anchored Concatenation of MSCs. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Lakshmanan Kuppusamy, R. Rama The Computational Efficiency of Insertion Deletion Tissue P Systems. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Rudolf Freund, Gheorghe Paun, Grzegorz Rozenberg Contextual Array Grammars. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Katsushi Inoue, Akira Ito, Atsuyuki Inoue Sublogarithmically Space-Bounded Alternating One-Pebble Turing Machines with only Universal States. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Erzsébet Csuhaj-Varjú, György Vaszil On a Variant of Parallel Communicating Grammar Systems with Communication by Command. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Ömer Egecioglu, Oscar H. Ibarra A q-Analogue of the Parikh Matrix Mapping. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Kamal Lodaya Petri Nets, Event Structures and Algebra. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27K. S. Dersanambika, Kamala Krithivasan, H. K. Agarwal, J. Gupta Hexagonal Contextual Array P Systems. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero, Álvaro Romero Jiménez Characterizing Tractability by Cell-Like Membrane Systems. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Yasubumi Sakakibara, Takashi Yokomori, Satoshi Kobayashi, Akira Suyama Probabilistic Inference in Test Tube and its Application to Gene Expression Profiles. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Do Long Van, Kieu Van Hung Characterizations for Some Classes of Codes Defined by Binary Relations. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Giusi Castiglione, Antonio Restivo L-Convex Polyominoes: A Survey. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Arto Salomaa On Languages Defined by Numerical Parameters. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Jürgen Dassow, Carlos Martín-Vide, Victor Mitrana Some Remarks on Homogeneous Generating Networks of Free Evolutionary Processors. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Krishnamani Kalyanasundaram, R. K. Shyamasundar Verification of Clock Synchronization in TTP. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Shankara Narayanan Krishna, Raghavan Rama 0001 Towards Reducing Parallelism in P Systems. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Tom Head A Cosmic Muse. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Kenichi Morita, Jin-Shan Qi, Katsunobu Imai Pattern Generation and Parsing by Array Grammars. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27D. G. Thomas, M. Humrosia Begam, N. Gnanamalar David, Colin de la Higuera Hexagonal Array Acceptors and Learning. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Shojiro Nagata, Robinson Thamburaj Digitalization of Kolam Patterns and Tactile Kolam Tools. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Daniel Gonçalves, André Raspaud, M. A. Shalu On Oriented Labelling Parameters. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Adrian Atanasiu, K. G. Subramanian 0001, K. Rangarajan, Patrick S. P. Wang Finite Array Automata and Regular Array Grammars. Search on Bibsonomy Formal Models, Languages and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Dongmo Zhang The Logic of Bargaining. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Steven Shapiro, Gerhard Brewka Dynamic Interactions Between Goals and Beliefs. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Giacomo Bonanno Semantic structures for one-stage and iterated belief revision. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Abhaya C. Nayak, Yin Chen, Fangzhen Lin Forgetting and Update -- an exploration. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Wolfgang Spohn Measuring Ranks via the Complete Laws of Iterated Contraction. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Gabriele Kern-Isberner A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Hans Rott Two-Dimensional Belief Change. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Alexander Nittka, Richard Booth 0001 A Method for Reasoning about other Agents' Beliefs from Observations. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Isaac Levi Probability Logic and Logical Probability. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Emil Weydert Ranking Revision Reloaded. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27David Makinson Propositional Relevance through Letter-Sharing: Review and Contribution. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Pavlos Peppas, Samir Chopra, Norman Y. Foo Distance Semantics for Relevance-Sensitive Belief Revision. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Jérôme Lang, Leendert W. N. van der Torre From belief change to preference change. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Krister Segerberg A blueprint for deontic logic in three (not necessarily easy) steps. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Guillaume Aucher A logical formalism for the subjective approach in a multi-agent setting. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima Optimal Regression for Reasoning about Knowledge and Actions. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues Common Foundations for belief revision, belief merging and voting. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Aaron Hunter, James P. Delgrande Belief Change and Cryptographic Protocol Verification. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Alexander Bochman Enhanced Contraction and (In)dependence Preliminary report. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Gabriella Pigozzi, Leendert W. N. van der Torre Premise Independence in Judgment Aggregation. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
27Alica Kelemenová Colonies - the Simplest Grammar Systems. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Radek Bidlo, Petr Blatný, Alexander Meduna On Vertical Grammatical Restrictions that Produce an Infinite Language Hierarchy. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Sárka Vavrecková Properties of Eco-Colonies. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Lukás Rychnovský Parsing of Context-Sensitive Languages. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Tomás Masopust A Note on the Descriptional Complexity of Semi-Conditional Grammars. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Roman Lukás, Alexander Meduna General Multigenerative Grammar Systems. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Zbynek Krivka, Alexander Meduna Generalized #-Rewriting Systems of Finite Index. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Lucie Ciencialová, Ludek Cienciala Notes on Restricted P Colonies. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Lubos Lorenc, Rudolf Schönecker, Zbynek Krivka A Note on the Parsing of Complete VHDL-2002. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Adam Kozaný, Alica Kelemenová Structures of the Environment in Colonies. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Jirí Techet k-Limited Erasing Performed by Scattered Context Grammars. Search on Bibsonomy Workshop on Formal Models The full citation details ... 2007 DBLP  BibTeX  RDF
27Robin Milner Operational and Algebraic Semantics of Concurrent Processes. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27John C. Mitchell Type Systems for Programming Languages. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Arto Salomaa Formal Language and Power Series. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Dominique Perrin Finite Automata. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Krzysztof R. Apt Logic Programming. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Wolfgang Thomas Automata on Infinite Objects. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Carl A. Gunter, Dana S. Scott Semantic Domains. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Bruno Courcelle Graph Rewriting: An Algebraic and Logic Approach. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Paris C. Kanellakis Elements of Relational Database Theory. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Hendrik Pieter Barendregt Functional Programming and Lambda Calculus. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Jean Berstel, Luc Boasson Context-Free Languages. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Bruno Courcelle Recursive Applicative Program Schemes. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27E. Allen Emerson Temporal and Modal Logic. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Martin Wirsing Algebraic Specification. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Peter D. Mosses Denotational Semantics. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Patrick Cousot Methods and Logics for Proving Programs. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Dexter Kozen, Jerzy Tiuryn Logics of Programs. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Leslie Lamport, Nancy A. Lynch Distributed Computing: Models and Methods. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
27Nachum Dershowitz, Jean-Pierre Jouannaud Rewrite Systems. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
26Wolfgang Reif Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Search on Bibsonomy Inform., Forsch. Entwickl. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen
25Manfred Broy Seamless Model Driven Systems Engineering Based on Formal Models. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal methods, models based development
25Idir Aït-Sadoune, Yamine Aït Ameur Animating Event B Models by Formal Data Models. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Günter Graw, Peter Herrmann, Heiko Krumm Verification of UML-Based Real-Time System Designs by Means of cTLA. Search on Bibsonomy ISORC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre Mastering Test Generation from Smart Card Software Formal Models. Search on Bibsonomy CASSIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
22Nancy G. Leveson Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti From Formal Models to Formally Based Methods: An Industrial Experience. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF supervision and control, object orientation, specification, formal models, technology transfer, industrial applications
Displaying result #1 - #100 of 998 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license