Search results for "Signalling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Jens B. Schmitt, Martin Karsten, Ralf Steinmetz	Layered Network QoS Signalling - Motivation, Implementation & Measurements.	LCN	2000	DBLP DOI BibTeX RDF	ATM, Overlay Networks, RSVP, Signalling Protocols, Network QoS
94	Fukiko Hidano	Signalling on ATM testbeds: an example.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	telecommunication signalling, telecommunication equipment testing, high-speed links, high-speed switches, ATM testbeds, XUNET testbed, vic, real-time systems, multimedia, protocols, asynchronous transfer mode, multimedia communication, real-time applications, high-speed networking, videoconferencing, signalling, teleconferencing, quality of service guarantees, ISDN, ISDN, virtual circuits, signalling protocols
84	Enrique Vázquez, Manuel Alvarez-Campana, Alberto Hernández, Joan Vinyes	Reliable Signalling Transport in Next Generation Networks.	WWIC	2008	DBLP DOI BibTeX RDF	SIGTRAN, IP, Signalling, network availability
84	Mario J. Pérez-Jiménez, Francisco José Romero-Campero	A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems.	IWINAC (1)	2005	DBLP DOI BibTeX RDF	EGFR signalling network, robustness, membrane computing, signal transduction
69	Michael Walker 0001	On the Security of 3GPP Networks.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
64	Takashi Kunifuji, Kinji Mori, Tadao Miura, Jun Nishiyama	A Proposal of Flexible Railway Signalling System Utilizing Autonomous Decentralized Technology.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
64	Grzegorz Danilewicz, Wojciech Kabacinski, Marek Michalski	Educational Materials for E-Learning about Signalling Systems in Telecommunication Networks.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
64	Ge Zhang 0005, Markus Hillenbrand	Implementing SIP and H.323 Signalling as Web Services.	EUROMICRO	2004	DBLP DOI BibTeX RDF
64	Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
64	Alexander A. Kist, Richard J. Harris 0002	A Simple Model for Calculating SIP Signalling Flows in 3GPP IP Multimedia Subsystems.	NETWORKING	2002	DBLP DOI BibTeX RDF
64	Martin Karsten, Jens B. Schmitt, Nicole Beriér, Ralf Steinmetz	On the Feasibility of RSVP as General Signalling Interface.	QofIS	2000	DBLP DOI BibTeX RDF
64	Trevor King	Formalising British Rail's Signalling Rules.	FME	1994	DBLP DOI BibTeX RDF
64	Zheng Rong Yang	Crosstalk and Signalling Pathway Complexity - A Case Study on Synthetic Models.	HAIS	2008	DBLP DOI BibTeX RDF	signalling pathways, gene expression order, Crosstalk, differential equations, transcription, degradation, steady-state analysis
64	Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri	Experiences in automating the testing of SS7 signalling transfer points.	ISSTA	2002	DBLP DOI BibTeX RDF	STP, signaling system 7, signalling system 7, automation, SS7
59	Xuan Shangguan, Winston Khoon Guan Seah, Chi Chung Ko	Performance evaluation of a lightweight resource reservation protocol for mobile Internet hosts.	WMCSA	2000	DBLP DOI BibTeX RDF	telecommunication signalling, lightweight resource reservation protocol, mobile Internet hosts, Integrated Services model, IntServ model, receiver-initiated reservation mechanism, soft state mechanism, large groups, dynamic group membership, heterogeneous receiver requirements, protocol complexity, processing overhead, storage overhead, sender-initiated reservation mechanism, lightweight signalling protocol, SMRP, Sender-initiated and Mobility-support Reservation Protocol, quality of service, performance evaluation, performance evaluation, Internet, mobile computing, scalability, protocols, resource allocation, multimedia communication, data flow, service quality, multimedia traffic, RSVP, network routers
55	Meng Wang, Michael Georgiades, Rahim Tafazolli	Signalling Cost Evaluation of Mobility Management Schemes for Different Core Network Architectural Arrangements in 3GPP LTE/SAE.	VTC Spring	2008	DBLP DOI BibTeX RDF
55	Chiranjeev Kumar, Hemant Kumar Pande, Rajeev Tripathi	A New Boundary Location Register Signalling Protocol for Inter-system Roaming.	CNSR	2006	DBLP DOI BibTeX RDF
55	Pekka Nikander, Jari Arkko	Delegation of Signalling Rights.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
49	Eunyoung Sohn, Taesoo Chung	The software structure of the call control for ATM systems.	LCN	1995	DBLP DOI BibTeX RDF	call control, ATM systems, call control entity, protocols, asynchronous transfer mode, software reusability, reusability, portability, object-oriented methods, software portability, software structure, computer communications software, signalling protocol
49	Larry R. Dennison, William J. Dally, Thucydides Xanthopoulos	Low-latency plesiochronous data retiming.	ARVLSI	1995	DBLP DOI BibTeX RDF	telecommunication signalling, data retiming, plesiochronous data, support circuitry, undirectional signalling, timing, latency, communication networks, routers, telecommunication network routing, repeaters, repeaters, bridges, hubs
45	Nick D. L. Owens, Andrew J. Greensted, Jon Timmis, Andrew M. Tyrrell	T Cell Receptor Signalling Inspired Kernel Density Estimation and Anomaly Detection.	ICARIS	2009	DBLP DOI BibTeX RDF
45	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Rule-Based Modelling of Cellular Signalling.	CONCUR	2007	DBLP DOI BibTeX RDF
45	Ola Løkberg, Øystein Skogstad	Functional Apportioning of Safety Requirements on Railway Signalling Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
45	András Császár, Attila Takács, Attila Báder	A Practical Method for the Efficient Resolution of Congestion in an On-path Reduced-State Signalling Environment.	IWQoS	2005	DBLP DOI BibTeX RDF
45	Jahan Hassan, Sanjay Jha 0001	Reducing Signalling Overhead in Cell-Hopping Mobile Wireless Networks using Location Caches.	LCN	2003	DBLP DOI BibTeX RDF
45	Sándor Székely	Signalling performance evaluation of large ATM networks based on measurements of isolated switches.	ISCC	2002	DBLP DOI BibTeX RDF
44	Lin Liu 0003, Jonathan Billington	Verification of the Capability Exchange Signalling protocol.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Capability Exchange Signalling protocol, Language equivalence, Coloured Petri Nets, Protocol verification, State space analysis
44	Jane Hillston	Quantitative analysis of biochemical signalling pathways.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	biochemical signalling pathways, systems biology, stochastic process algebra
44	Theofanis Vassiliou-Gioles, Ina Schieferdecker	Case Study in Protocol Validation: Validating an ATM Signalling Protocol.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	ATM signalling, Validation, SDL
44	Alexander W. van der Vekens	An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test.	ICSE	1996	DBLP BibTeX RDF	call processing, concurrency, software reuse, signalling, object-oriented technology, intelligent network, B-ISDN, extendability
40	Jan Seedorf	Lawful Interception in P2P-Based VoIP Systems.	IPTComm	2008	DBLP DOI BibTeX RDF
40	Jukka Ylitalo, Jan Melén, Patrik Salmela, Henrik Petander	An Experimental Evaluation of a HIP Based Network Mobility Scheme.	WWIC	2008	DBLP DOI BibTeX RDF
40	Robert Lowe, Daniel Polani	Preventing Bluff Agent Invasions in Honest Societies.	ECAL	2003	DBLP DOI BibTeX RDF
40	C. A. Petri 0001, Einar Smith	Concurrency and continuity.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
40	P. J. Keuhn	ISDN- Technology, Networking Concepts and Applications.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
39	John R. Wilson, Beverley J. Norris	Human factors in support of a successful railway: a review.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Centres, Trains, Human factors, Safety, Signalling, Railways
35	Minghao Cui, Violet R. Syrotiuk	Cooperative Signalling and Its Application in a Power-Controlled MAC Protocol.	ADHOC-NOW	2009	DBLP DOI BibTeX RDF
35	Sheng Chen 0001, Wang Yao, Lajos Hanzo	Semi-Blind Adaptive Spatial Equalization for MIMO Systems with High-Order QAM Signalling.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
35	Eugen Borcoci, António Pinto, Ahmed Mehaoua, Li Fang, Ning Wang 0001	Resource Management and Signalling Architecture of a Hybrid Multicast Service for Multimedia Distribution.	MMNS	2008	DBLP DOI BibTeX RDF	multimedia distribution, Service Level Specification, QoS, Multicast, overlay
35	Nick D. L. Owens, Jon Timmis, Andrew J. Greensted, Andy M. Tyrrell	Modelling the Tunability of Early T Cell Signalling Events.	ICARIS	2008	DBLP DOI BibTeX RDF
35	Chava Vijaya Saradhi, Gollu Suresh Kumar, Luying Zhou, Gurusamy Mohan	A Fast and Efficient Segmented Signalling Protocol for GMPLS/WDM Optical Networks.	ICC	2008	DBLP DOI BibTeX RDF
35	Raul Muñoz 0001, Ramon Casellas, Ricardo Martínez 0001	An Experimental Signalling Enhancement to Efficiently Encompass WCC and Backup Sharing in GMPLS-Enabled Wavelength-Routed Networks.	ICC	2008	DBLP DOI BibTeX RDF
35	Nicolas Le Novère	Multiscale Modelling of Neuronal Signalling.	CMSB	2008	DBLP DOI BibTeX RDF
35	Kai Juan Wong, D. K. Arvind 0001	A Hybrid Wakeup Signalling Mechanism for Periodic-Listening MAC Algorithms.	ICON	2007	DBLP DOI BibTeX RDF
35	Jan Rudinsky	VoIP-PSTN Interoperability by Asterisk and SS7 Signalling. (PDF / PS)	PWC	2007	DBLP DOI BibTeX RDF
35	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney	Simulation and verification for computational modelling of signalling pathways.	WSC	2006	DBLP DOI BibTeX RDF
35	Elio Tuci, Christos Ampatzis, Federico Vicentini, Marco Dorigo	Operational Aspects of the Evolved Signalling Behaviour in a Group of Cooperating and Communicating Robots.	EELC	2006	DBLP DOI BibTeX RDF
35	Christos Ampatzis, Elio Tuci, Vito Trianni, Marco Dorigo	Evolution of Signalling in a Group of Robots Controlled by Dynamic Neural Networks.	Swarm Robotics	2006	DBLP DOI BibTeX RDF
35	Christophe Chassot, André Lozes, Florin Racaru, Michel Diaz	Signalling Concepts in Heterogeneous IP Multi-domains Networks.	NEW2AN	2006	DBLP DOI BibTeX RDF
35	Christophe Chassot, Michel Diaz, Florin Racaru, André Lozes	Heterogeneity and Signalling in IP Multi Domains.	ICNS	2006	DBLP DOI BibTeX RDF
35	Thomas Hinze, Thorsten Lenser, Peter Dittrich	A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
35	Guangran Zhu, Brent R. Petersen, Bruce G. Colpitts	Signalling Wavelength in an Antenna Array for Space-Time Wireless over LOS Channels.	CNSR	2005	DBLP DOI BibTeX RDF
35	Hakima Chaouchi, Pedro Marques Antunes	Pre-handover signalling for QoS aware mobility management.	Int. J. Netw. Manag.	2004	DBLP DOI BibTeX RDF
35	Ju Ho Lee, Myeong Sook Seo, Young Bum Kim, Young Kyun Kim	Uplink Power Control Scheme for Reliable Feedback Signalling in HSDPA.	CDMA International Conference	2002	DBLP DOI BibTeX RDF
35	Rob Brennan, Brendan Jennings, Thomas Curran	Signalling System No. 7 as an Agent Platform Message Transport Protocol.	IS&N	1999	DBLP DOI BibTeX RDF
35	Matthew J. Morley	Safety in Railway Signalling Data: A Behavioural Analysis.	HUG	1993	DBLP DOI BibTeX RDF	application specific languages, Safety-critical systems, higher-order logic, railway signalling
30	Zoltán Faigl	Performance analysis of signalling overhead in Host Identity Protocol-based secure mobile networks: Ultra Flat Architecture or end-to-end signalling?	Wirel. Networks	2015	DBLP DOI BibTeX RDF
30	Lubos Nagy, Jiri Hosek, Pavel Vajsar, Vit Novotny	Impact of Signalling Load on Response Times for Signalling over IMS Core.	FedCSIS	2013	DBLP BibTeX RDF
30	Maryann P. Maher	ATM Signalling Support for IP over ATM - UNI Signalling 4.0 Update.	RFC	1998	DBLP DOI BibTeX RDF
30	Alberto Paglialunga, Maurizio Siviero	ISCP (ISDN Signalling Control Part): the Best Candidate for the Target Broadband-ISDN Signalling Protocol.	Eur. Trans. Telecommun.	1993	DBLP DOI BibTeX RDF
30	Serkan Ayaz, Christian Bauer 0002, Max Ehammer	Applying IKE/IPsec context transfer to aeronautical networks.	MOBIWAC	2009	DBLP DOI BibTeX RDF	cxtp, ipsec, network mobility, aviation, ikev2
30	Jesús Delicado, Francisco M. Delicado Martínez, Luis Orozco-Barbosa	Request Mechanisms to Reduce the Contention Period in 802.16: A Comparison.	MWCN/PWC	2008	DBLP DOI BibTeX RDF
30	Tikitu de Jager, Robert van Rooij	Explaining quantity implicatures.	TARK	2007	DBLP DOI BibTeX RDF
30	Wojciech Mazurczyk, Zbigniew Kotulski	New VoIP Traffic Security Scheme with Digital Watermarking.	SAFECOMP	2006	DBLP DOI BibTeX RDF
30	Eduardo Cerqueira, Paulo Mendes 0001, Edmundo Monteiro	Multi-user session control in the next generation wireless system.	MOBIWAC	2006	DBLP DOI BibTeX RDF	heterogeneous wireless systems, multi-user session, quality of service
30	Andrei Paun, Mario J. Pérez-Jiménez, Francisco José Romero-Campero	Modeling Signal Transduction Using P Systems.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
30	Diogo Gomes 0001, Pedro Gonçalves, Rui L. Aguiar	A Transsignaling Strategy for QoS Support in Heterogeneous Networks.	ICT	2004	DBLP DOI BibTeX RDF
29	Nagore Bilbao, Jose Oscar Fajardo, Fidel Liberal	PQoS-driven VoIP service adaptation in UMTS networks.	SimuTools	2009	DBLP DOI BibTeX RDF	SIP signalling, perceived QoS, real-time adaptation, VoIP, E-model
29	Duraid Madina, Makoto Taiji	Circuit and physical design of the MDGRAPE-4 on-chip network links.	SLIP	2008	DBLP DOI BibTeX RDF	capacitive signalling, on-chip network links, periodic routing, quadrature
29	Martin Karsten	Collected experience from implementing RSVP.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	quality of service, signalling, protocol implementation
29	Andreas Jungmaier, Erwin P. Rathgeb	On SCTP multi-homing performance.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	Signalling transport, Transport protocol, SCTP, Load sharing, Multi-homing
29	Stephen Chen 0001, Brenda Spotton Visano, Ying Kong	Introducing Social Investors into Multi-Agent Models of Financial Markets.	IEA/AIE	2006	DBLP DOI BibTeX RDF	Financial Market Modelling, Social Investors, Herding, Signalling Games, Multi-Agent Model
29	Erol Basturk, Alexander Birman, G. Delp, Roch Guérin, R. Haas, Sanjay Kamat, Dilip D. Kandlur, P. Pan, Dimitrios E. Pendarakis, Vinod G. J. Peris, Raju Rajan, Debanjan Saha, Doug Williams	Design and implementation of a QoS capable switch-router.	ICCCN	1997	DBLP DOI BibTeX RDF	QoS capable switch-router, core ATM switch fabric, intelligent adapters, RSVP signalling, prototype network, UNIX hosts, network performance measurements, Internet, Internet, design, architecture, resource management, implementation, service differentiation, high throughput, IETF, control engine
29	Daniel Bauer 0001, Burkhard Stiller, Bernhard Plattner	An Error-Control Scheme for a Multicast Protocol Based on Round-Trip Time Calculations.	LCN	1996	DBLP DOI BibTeX RDF	error-control scheme, multicast transport protocol, round-trip time calculations, isochronous data, reliable control messages, multicast signalling, reliable multicast data transmission protocols, high stability, local area networks, transport protocols, ATM networks, wide area networks, WAN, LAN, metropolitan area networks, distributed multimedia applications, simulation data, MAN
29	Klaudia Dussa-Zieger, Markus Ettl, Richard Hofmann, O. Preissler	Monitoring and modelling of a distributed ISDN test system.	PDP	1995	DBLP DOI BibTeX RDF	distributed ISDN test system, OSI specification, ISDN D-channel signalling, ISDN protocol testers, process scheduling strategy, performance evaluation, discrete event simulation, transport protocols, communication protocols, conformance testing, conformance testing, performance study, ISDN
29	Jelio Todorov Yantchev, C. G. Huang, Mark B. Josephs, Ivailo M. Nedelchev	Low-latency asynchronous FIFO buffers.	ASYNC	1995	DBLP DOI BibTeX RDF	buffer circuits, low-latency asynchronous FIFO buffers, parallel asynchronous implementation, interface circuitry, inter-chip communication wires, acknowledge signal, high-throughput multiple-burst signalling scheme, packet switching, asynchronous circuits, pipeline processing, propagation delay
29	Sandeep Pagey	Fast functional testing of delay-insensitive circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	four-phase handshake signalling, Martin's method, distributed circuit, OR/C blocks, generation of test sequences, program flow graph, logic testing, delays, design for testability, logic CAD, asynchronous circuits, functional testing, testing time, self-timed circuits, delay-insensitive circuits, OR gates
29	Mohsen Guizani	A new protocol for optical high-speed packet-switched networks.	LCN	1995	DBLP DOI BibTeX RDF	optical high-speed packet-switched networks, broadcast passive optical star coupler topology, tunable transmitters, tunable receivers, data channel, signalling channel, data channel wavelength, station, connection-oriented traffic, datagram traffic, LAN applications, MAN applications, packet switching, network architecture, wavelength division multiplexing, access protocols, optical communication, metropolitan area networks, media access protocol, optical fibre networks, optical fibre LAN, control channel
25	Gilles Brassard, Anne Broadbent, Esther Hänggi, André Allan Méthot, Stefan Wolf 0001	Classical, Quantum and Non-signalling Resources in Bipartite Games.	ICQNM	2008	DBLP DOI BibTeX RDF	Nonlocality, Bell Theorems, Game Theory, Graph Theory, Interactive Proof Systems
25	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine	Abstract Interpretation of Cellular Signalling Networks.	VMCAI	2008	DBLP DOI BibTeX RDF
25	Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura	Toward developing a Decentralized Railway Signalling System Using Petri Nets.	RAM	2008	DBLP DOI BibTeX RDF
25	Padhraig Gormley, Kang Li 0002, George W. Irwin	Modelling the MAPK Signalling Pathway Using a Two-Stage Identification Algorithm.	LSMS (2)	2007	DBLP DOI BibTeX RDF	MAPK, structure selection, orthogonal least squares, iterative subset selection, Systems biology, system identification, signal transduction
25	Lin Liu 0003, Jonathan Billington	Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.	PDCAT	2007	DBLP DOI BibTeX RDF
25	Muffy Calder, Stephen Gilmore, Jane Hillston	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
25	J. Andy Harriman, Brent R. Petersen, Mary E. Kaye	A Reconfigurable Four-Channel Transceiver Testbed with Signalling-Wavelength-Spaced Antennas under Centralized FPGA Control.	CNSR	2006	DBLP DOI BibTeX RDF
25	Thiago S. Guzella, Tomaz A. Mota-Santos, Joaquim Quinteiro Uchôa, Walmir M. Caminhas	Modelling the Control of an Immune Response Through Cytokine Signalling.	ICARIS	2006	DBLP DOI BibTeX RDF
25	Manuel Vilas, Xabiel G. Pañeda, David Melendi, Roberto García 0002, Víctor G. García	Signalling Management to Reduce Roaming Effects over Streaming Services.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
25	Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston	Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.	CMSB	2006	DBLP DOI BibTeX RDF
25	Andrew J. I. Jones, Steven O. Kimbrough	On the Normative Aspect of Signalling Conventions.	DEON	2006	DBLP DOI BibTeX RDF
25	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
25	K. Katzourakis, George Kormentzas, Kimon P. Kontovasilis, Costas Efstathiou	A Virtual Signalling Protocol for Transparently Embedding Advanced Traffic Control and Resource Management Functionality in ATM Core Networks.	MMNS	2003	DBLP DOI BibTeX RDF
25	Marek Dabrowski, Gerald Eichler, Monika Fudala, Dietmar Katzengruber, Tero Kilkanen, Natalia Miettinen, Halina Tarasiuk, Michael Titze	Evaluation of the AQUILA Architecture: Trial Results for Signalling Performance, Network Services and User Acceptance.	Art-QoS	2003	DBLP DOI BibTeX RDF
25	Andrew J. I. Jones, Xavier Parent	Conventional Signalling Acts and Conversation.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
25	Martin Karsten	Experimental Extensions to RSVP - Remote Client and One-Pass Signalling.	IWQoS	2001	DBLP DOI BibTeX RDF
25	Utz Roedig, Manuel Görtz, Martin Karsten, Ralf Steinmetz	RSVP as Firewall Signalling Protocol.	ISCC	2001	DBLP DOI BibTeX RDF
25	Kentaro Takei, Koji Okamura, Keijiro Araki	Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet.	ICOIN	2001	DBLP DOI BibTeX RDF
25	Babak Dehbonei, Fernando Mejia	Formal Methods in the Railways Signalling Industry.	FME	1994	DBLP DOI BibTeX RDF
20	Pedro Neves 0001, Ricardo Matos, Bruno Sousa, Giada Landi, Susana Sargento, Kostas Pentikousis, Marília Curado, Esa Piri	Mobility management for NGN WiMAX: Specification and implementation.	WOWMOM	2009	DBLP DOI BibTeX RDF
20	Jing Liu 0026, Jian-Kang Zhang 0002, Kon Max Wong	Full-Diversity Codes for MISO Systems Equipped With Linear or ML Detectors.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
20	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Rule-Based Modelling, Symmetries, Refinements.	FMSB	2008	DBLP DOI BibTeX RDF