The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Behaviour with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1949-1970 (15) 1971-1974 (23) 1975-1976 (47) 1977-1978 (15) 1979-1980 (25) 1981-1982 (21) 1983 (17) 1984 (23) 1985 (26) 1986 (34) 1987 (38) 1988 (55) 1989 (64) 1990 (85) 1991 (68) 1992 (95) 1993 (106) 1994 (108) 1995 (146) 1996 (138) 1997 (190) 1998 (220) 1999 (277) 2000 (323) 2001 (411) 2002 (507) 2003 (597) 2004 (722) 2005 (857) 2006 (928) 2007 (1138) 2008 (1061) 2009 (818) 2010 (386) 2011 (386) 2012 (350) 2013 (413) 2014 (451) 2015 (454) 2016 (408) 2017 (504) 2018 (522) 2019 (578) 2020 (557) 2021 (593) 2022 (578) 2023 (562) 2024 (122)
Publication types (Num. hits)
article(4960) book(23) data(1) incollection(132) inproceedings(10593) phdthesis(343) proceedings(10)
Venues (Conferences, Journals, ...)
CoRR(547) Inf. Res.(156) Behav. Inf. Technol.(125) AAMAS(90) ECAL(75) Sensors(68) IROS(66) J. Documentation(59) Comput. Hum. Behav.(51) GECCO(51) IVA(50) CONCUR(49) ENTER(48) SAC(48) CHI(46) HICSS(42) More (+10 of total 3929)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8082 occurrences of 3958 keywords

Results
Found 16063 publication records. Showing 16062 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
12Felix Mödritscher Towards Formalising Adaptive Behaviour Within the Scope of E-Learning. Search on Bibsonomy AH The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Evangelos Kotsovinos, Petros Zerfos, Nischal M. Piratla, Niall Cameron Using Jiminy for Run-Time User Classification Based on Rating Behaviour. Search on Bibsonomy iTrust The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Mark Burgess, Gard Undheim Predictable Scaling Behaviour in the Data Centre with Multiple Application Servers. Search on Bibsonomy DSOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Frodi Hammer, Alireza Derakhshan, Yves Demazeau, Henrik Hautop Lund A Multi-Agent Approach to Social Human Behaviour in Children's Play. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Arnaud Doniec, Stéphane Espié, René Mandiau, Sylvain Piechowiak Non-normative Behaviour in Multi-agent System: Some Experiments in Traffic Simulation. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Li Wang 0015, Zhitang Li, Qi-hong Wang A novel technique of recognizing multi-stage attack behaviour. Search on Bibsonomy IWNAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Lei Wen, Ian Ruthven, Pia Borlund The Effects on Topic Familiarity on Online Search Behaviour and Use of Relevance Criteria. Search on Bibsonomy ECIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Cecilia Di Chio, Riccardo Poli, Paolo Di Chio Extending the Particle Swarm Algorithm to Model Animal Foraging Behaviour. Search on Bibsonomy ANTS Workshop The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Ronald Thenius, Thomas Schmickl, Karl Crailsheim Economic Optimisation in Honeybees: Adaptive Behaviour of a Superorganism. Search on Bibsonomy SAB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Michael Ummels Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Ricardo A. Téllez, Cecilio Angulo, Diego E. Pardo Evolving the Walking Behaviour of a 12 DOF Quadruped Using a Distributed Neural Architecture. Search on Bibsonomy BioADIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Michael Fowle Interdentity: Belonging, Behaviour and Identity Online. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Rafal Kulik, Zbigniew Palmowski Tail Behaviour of the Area Under the Queue Length Process of the Single Server Queue with Regularly Varying Service Times. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF GI?GI?1 queue, total workload, busy period, subexponential distribution
12Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo Handling Dynamic Behaviour in Software Architectures. Search on Bibsonomy EWSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software architectures, dynamic systems, architecture description language
12Thomas Bieger, Pietro Beritelli, Christian Laesser Information Behaviour of the VFR market: The Case of Switzerland. Search on Bibsonomy ENTER The full citation details ... 2005 DBLP  DOI  BibTeX  RDF VFR Market, segmentation, e-marketing, information sourcing
12Gaële Simon, Bruno Mermet, Dominique Fournier Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Grant Dick, Peter A. Whigham The behaviour of genetic drift in a spatially-structured evolutionary algorithm. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Bernd-Helge Schäfer, Martin Proetzsch, Karsten Berns Extension Approach for the Behaviour-Based Control System of the Outdoor Robot RAVON. Search on Bibsonomy AMS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Tao Xiang 0002, Shaogang Gong Relevance learning for spectral clustering with applications on image segmentation and video behaviour profiling. Search on Bibsonomy AVSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12David Dearman, Kirstie Hawkey, Kori M. Inkpen Effect of location-awareness on rendezvous behaviour. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CSCW, mobile devices, rendezvousing, location-aware computing
12Dadi Ármannsson, Gísli Hjálmtýsson, Paul D. Smith, Laurent Mathy Controlling the effects of anomalous ARP behaviour on ethernet networks. Search on Bibsonomy CoNEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF address resolution protocol, ethernet performance, rate limiting
12George M. Mathews, Hugh F. Durrant-Whyte, Mikhail Prokopenko Measuring Global Behaviour of Multi-agent Systems from Pair-Wise Mutual Information. Search on Bibsonomy KES (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Nicole Ronald, Leon Sterling Modelling pedestrian behaviour using the BDI architecture. Search on Bibsonomy IAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Kee Siong Ng Generalization Behaviour of Alkemic Decision Trees. Search on Bibsonomy ILP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Humberto Nicolás Castejón Martínez Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. Search on Bibsonomy SDL Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Mustapha Oughdi, Alexandre Caminada, Sid Lamrous, Bertrand Morin Load Regulation in Mobile Network with Planned Pricing Model based on User Behaviour. Search on Bibsonomy ICAS/ICNS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Peter Pakulski, Karl Sammut, Fangpo He, Matthew Naylor Pixel Behaviour Metrics for Dynamic Background Modelling with the Projected Difference Pattern Method. Search on Bibsonomy DICTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12George Spanoudakis, Hyoseob Kim Supporting the reconciliation of models of object behaviour. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Software design models, Object interaction diagrams, Consistency management
12Hanna Stelmaszewska, Ann Blandford From physical to digital: a case study of computer scientists' behaviour in physical libraries. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Physical libraries, HCI, Digital libraries, User requirements
12Martin F. Arlitt, Carey L. Williamson An analysis of TCP reset behaviour on the internet. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF web, TCP, workload characterization, network traffic measurement
12Kenneth J. Turner Formalising Graphical Behaviour Descriptions. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service
12Philippe Polet, Frédéric Vanderhaegen, Patrick Millot Analysis of intentional human deviated behaviour: an experimental study. Search on Bibsonomy SMC (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Nasrine Bagheri, Greg A. Jamieson The impact of context-related reliability on automation failure detection and scanning behaviour. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Michael Hildebrandt, Karsten Loer, Michael D. Harrison Time design: analysing human temporal control behaviour in dynamic real-time systems. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Fernando Rivera-Illingworth, Victor Callaghan, Hani Hagras A connectionist embedded agent approach for abnormal behaviour detection in intelligent health care environments. Search on Bibsonomy SMC (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Franck Bettinger, Timothy F. Cootes A Model of Facial Behaviour. Search on Bibsonomy FGR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Tudor Jenkins A Noisy Way to Evolve Signaling Behaviour. Search on Bibsonomy ECAL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Jim Davies, Charles Crichton Using State Diagrams to Describe Concurrent Behaviour. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Agapito Ledezma, Fernando Fernández 0001, Ricardo Aler From Continuous Behaviour to Discrete Knowledge. Search on Bibsonomy IWANN (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Ed Brinksma Compositional Theories of Qualitative and Quantitative Behaviour. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Joachim Pistorius, Mike Hutton Placement rent exponent calculation methods, temporal behaviour and FPGA architecture evaluation. Search on Bibsonomy SLIP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF FPGA architecture, interconnect prediction, SLIP, rent
12Pavol Purcz Asymptotical Behaviour of the Communication Complexity of One Parallel Algorithm. Search on Bibsonomy PPAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Kingsley Stephens, Binh Pham 0001, Aster Wardhani Modelling fish behaviour. Search on Bibsonomy GRAPHITE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF behavioural animation, fish, artificial life, modeling techniques, schooling, autonomous characters
12Pavel Nahodil, Pavel Slavík, David Rehor, David Kadlecek Dynamic Analysis of Agents' Behaviour - Combining ALife, Visualization and AI. Search on Bibsonomy ESAW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12R. Srinivasan, Navakanta Bhat Effect of Scaling on the Non-quasi-static Behaviour of the MOSFET for RF IC's. Search on Bibsonomy VLSI Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Emma Norling Capturing the quake player: using a BDI agent to model human behaviour. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF human-like characters, user modelling, BDI agents
12Maria Fasli Reasoning about the dynamics of social behaviour. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF social interaction, modal logic, BDI agents
12Eike Falk Anderson Off-Line Evolution of Behaviour for Autonomous Agents in Real-Time Computer Games. Search on Bibsonomy PPSN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Nicholas Nethercote, Alan Mycroft The cache behaviour of large lazy functional programs on stock hardware. Search on Bibsonomy MSP/ISMM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Glasgow Haskell Compiler, cache measurement, Haskell, Haskell, cache simulation, hardware counters, branch misprediction
12Paul Amblard, Fabienne Lagnier, Michel Lévy Using Formal Tools to Study Complex Circuits Behaviour. Search on Bibsonomy DSD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Xavier Vera, Jingling Xue Let's Study Whole-Program Cache Behaviour Analytically. Search on Bibsonomy HPCA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Cache Miss Equations, Performance Evaluation, Data Locality, Cache Performance
12Chris H. Messom, Matthew G. Walker Evolving cooperative robotic behaviour using distributed genetic programming. Search on Bibsonomy ICARCV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Fangxiang Cheng, William J. Christmas, Josef Kittler Recognising Human Running Behaviour in Sports Video Sequences. Search on Bibsonomy ICPR (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Paulo Urbano, Luís Moniz, Helder Coelho The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle. Search on Bibsonomy SBIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Kalina Bontcheva Adaptivity, Adaptability, and Reading Behaviour: Some Results from the Evaluation of a Dynamic Hypertext System. Search on Bibsonomy AH The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Yuriy A. Reznik, Wojciech Szpankowski Improved Behaviour of Tries by the "Symmetrization" of the Source. Search on Bibsonomy DCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Danae Stanton, Victor Bayon, Camilla Abnett, Sue Cobb, Claire O'Malley The effect of tangible interfaces on children's collaborative behaviour. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2002 DBLP  DOI  BibTeX  RDF collaboration, children, tangible interfaces
12Gina M. B. Oliveira, Oscar K. N. Asakura, Pedro Paulo Balbi de Oliveira Dynamic Behaviour Forecast as a Driving Force in the Coevolution of One-Dimensional Cellular Automata. Search on Bibsonomy SBRN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Oscar Marbán, Javier Segovia, Juan J. Cuadrado, César Montes Mining the Client's Life Cycle Behaviour in the Web. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Michael Grimsley, Anthony Meehan 0001 Measuring Behaviour-Based Trust between Negotiating Agents. Search on Bibsonomy CIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Anthony Edward Mayer, A. Stephen McGough, Murtaza Gulamali, Laurie Robert Young, Jim Stanton, Steven J. Newhouse, John Darlington Meaning and Behaviour in Grid Oriented Components. Search on Bibsonomy GRID The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Paolo Baldan, Barbara König 0001 Approximating the Behaviour of Graph Transformation Systems. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Tom Mens, Serge Demeyer, Dirk Janssens Formalising Behaviour Preserving Program Transformations. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Mirko Viroli, Andrea Omicini Specifying agent observable behaviour. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF agent architectures, agent-based software engineering, formalisms and logics
12Thomas Loveard, Victor Ciesielski Genetic Programming for Classification: An Analysis of Convergence Behaviour. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Jon Bird Can Wheeled Robots Illuminate Adaptive Behaviour? Search on Bibsonomy ECAL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Frank Höppner Discovery of Temporal Patterns. Learning Rules about the Qualitative Behaviour of Time Series. Search on Bibsonomy PKDD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Joaquín Pizarro Junquera, Pedro Galindo Riaño, Elisa Guerrero Vázquez, Andrés Yáñez Escolano A Penalization Criterion Based on Noise Behaviour for Model Selection. Search on Bibsonomy IWANN (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Tristan Henderson Latency and User Behaviour on a Multiplayer Game Server. Search on Bibsonomy Networked Group Communication The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Stephan Philippi Modeling and Inheritance of Behaviour in Object-Oriented Systems. Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Martin J. Hicks A Helix Metaphor for Customer Behaviour Visualisation. Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Christian Drücker, Sebastian Hübner, Ubbo Visser, Hans-Georg Weland "As Time Goes By" - Using Time Series Based Decision Tree Induction to Analyze the Behaviour of Opponent Players. Search on Bibsonomy RoboCup The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Tristan Henderson, Saleem N. Bhatti Modelling user behaviour in networked games. Search on Bibsonomy ACM Multimedia The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Internet, measurement, games, pricing, provisioning
12Fangxiang Cheng, William J. Christmas, Josef Kittler Detection and Description of Human Running Behaviour in Sports Video Multimedia Database. Search on Bibsonomy ICIAP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Sueli Bandeira Teixeira Mendes, Oscar Luiz Monteiro de Farias Applying Logic of Information Flow and Situation Theory to Model Agents That Simulate the Stock Market Behaviour. Search on Bibsonomy IEA/AIE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Theory of Situation, Logic of Information Flow, Agents, Stock Market
12Martin Hülse, Bruno Lara 0001, Frank Pasemann, Ulrich Steinmetz Evolving Neural Behaviour Control for Autonomous Robots. Search on Bibsonomy ICANN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Robert Haschke, Jochen J. Steil, Helge J. Ritter Controlling Oscillatory Behaviour of a Two Neuron Recurrent Neural Network Using Inputs. Search on Bibsonomy ICANN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Bettina Berendt, Myra Spiliopoulou Analysis of Navigation Behaviour in Web Sites Integrating Multiple Information Systems. Search on Bibsonomy VLDB J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Web query interfaces, Query capabilities, Conceptual hierarchies, Data mining, Web usage mining, Web databases
12Johan Van Horebeek, Ernesto Tapia-Rodriguez About the Limiting Behaviour of Iterated Robust Morphological Operators. Search on Bibsonomy Digital and Image Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Dorina C. Petriu, Yimei Sun Consistent Behaviour Representation in Activity and Sequence Diagrams. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Kenichi Yoshimura, Ralph Rönnquist, Liz Sonenberg An Approach to Specifying Coordinated Agent Behaviour. Search on Bibsonomy PRIMA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF teamwork, multi-agent collaboration
12David Riaño 0001, Susana Prado A Data Mining Alternative to Model Hospital Operations: Filtering, Adaption and Behaviour Prediction. Search on Bibsonomy ISMDA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Nick Barnes, Giulio Sandini Direction Control for an Active Docking Behaviour Based on the Rotational Component of Log-Polar Optic Flow. Search on Bibsonomy ECCV (2) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Active vision and real-time vision, vision-guided mobile robots and docking
12Elsa Ferreira Gomes, Lígia M. Ribeiro, Pedro F. R. Regueiras, José J. C. Cruz-Pinto A Parallel Algorithm for the Simulation of the Dynamic Behaviour of Liquid-Liquid Agitated Columns. Search on Bibsonomy VECPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Oswaldo Terán, Bruce Edmonds, Steve Wallis Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation. Search on Bibsonomy ATAL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge Modelling Internal Dynamic Behaviour of BDI Agents. Search on Bibsonomy ModelAge Workshop The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
12Simon R. Wiseman, Bryony Pomeroy SPEAR: Extending ER for Dynamic Behaviour and Refinement. Search on Bibsonomy BNCOD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
12Chris Christodoulou, Trevor G. Clarkson A Review on the Stochastic Firing Behaviour of Real Neurons and How it can be Modelled. Search on Bibsonomy IWANN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Wilhelm Ruckdeschel, Reiner Onken Modelling of Pilot Behaviour Using Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Barbara Paech, Bernhard Rumpe A new Concept of Refinement used for Behaviour Modelling with Automata. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Kelvin J. Ross, Peter A. Lindsay A Precise Examination of the Behaviour of Process Models. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF formal methods, process modelling, configuration management, VDM
12Selim G. Akl, Lorrie Fava Lindon Paradigms Admitting Superunitary Behaviour in Parallel Computation. Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Kees G. W. Goossens Stucture and Behaviour in Hardware Verification. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12G. Michele Pinna, Axel Poigné On the Specification of Elementary Reactive Behaviour. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Marta Z. Kwiatkowska Infinite Behaviour and Fairness in Concurrent Constraint Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fairness, liveness, semantic properties, concurrent constraint programming
12Oliver Schoett An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract). Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
12Jie Zhang 0005, Peter D. Roberts, J. E. Ellis Fault diagnosis of a mixing process using deep qualitative knowledge representation of physical behaviour. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mixing process, deep qualitative knowledge representation, Fault diagnosis
12P. Nobar, B. Song Simulating the Behaviour of Three Dimensional Reticular Structures with both Curved and Straight Elements. Search on Bibsonomy ICCAL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
12José Mira System Behaviour and Computing Structure. Search on Bibsonomy EUROCAST The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12Cornelis Huizing, Rob Gerth, Willem P. de Roever Modeling Statecharts Behaviour in a Fully Abstract Way. Search on Bibsonomy CAAP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #801 - #900 of 16062 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license