María Alpuente - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged open-source

A Tool for Automated Certification of Java Source Code in MaudeMauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero. ENTCS, 248:19-29, 2009. [doi]

The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)Libor Barto, Marcin Kozik, Todd Niven. SICOMP, 38(5):1782-1802, 2009. [doi]

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source TransformationMaría Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva. ENTCS, 206:3-21, 2008. [doi]

WIDIT in TREC 2008 Blog Track: Leveraging Multiple Sources of Opinion EvidenceKiduk Yang. trec 2008: [doi]

Automatic Certification of Java Source Code in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. fmics 2008: 200-217 [doi]

The access principle: The case for open access to research and scholarshipLisa A. Ennis. jasis, 58(9):1386, 2007. [doi]

Automatically maintaining navigation sequences for querying semi-structured web sourcesAlberto Pan, Juan Raposo, Manuel Álvarez, Victor Carneiro, Fernando Bellas. DKE, 63(3):795-810, 2007. [doi]

Effectively open real functionsMartin Ziegler. jc, 22(6):827-849, 2006. [doi]

Regular Expressions: New Results and Open ProblemsKeith Ellul, Bryan Krawetz, Jeffrey Shallit, Ming-wei Wang. jalc, 10(4):407-437, 2005.

Easy Open Can End Inspection Using UV Black LightEmilio Martínez Expósito, Perfecto Mariño Espiñeira, Vicente Pastoriza Santos, Miguel Santamaría Sánchez. vision 2005: 178-184

Establishing an Open Systems Storage Strategy for your CompanyJoel B. Motzny, Jeffry A. Smith. cmg 2004: 949-956

Open and Closed Form in Interactive MusicLars Graugaard. cmmr 2005: 149-157 [doi]

Automatic Assessment of Open Ended Questions with a Bleu-Inspired Algorithm and Shallow NLPEnrique Alfonseca, Diana Pérez. tal 2004: 25-35 [doi]

Linear time universal coding and time reversal of tree sources via FSM closureAlvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger. TIT, 50(7):1442-1468, 2004.

The MP3 open standard and the music industry s response to Internet piracyRobert F. Easley, John G. Michel, Sarv Devaraj. CACM, 46(11):90-96, 2003. [doi]

Consumers perceived risk: sources versus consequencesNena Lim. ecra, 2(3):216-228, 2003. [doi]

Open problems from the Linz2000 closing sessionLawrence Neff Stout. fss, 138(1):83-84, 2003. [doi]

The Complex Spline Approximation of Singular Integral Operators over an Open ArcYong Jia Xu. jat, 119(1):86-109, 2002. [doi]

Open Mind Common Sense: Knowledge Acquisition from the General PublicPush Singh, Thomas Lin, Erik T. Mueller, Grace Lim, Travell Perkins, Wan Li Zhu. coopis 2002: 1223-1237 [doi]

Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, WOODPECKER 2001, In José A. Moinhos Cordeiro, Haim Kilov, editors, ICEIS Press, 2001.

Optimal encoding of non-stationary sourcesJohn H. Reif, James A. Storer. isci, 135(1-2):87-105, 2001.

Keeping the Door to your Community Open: A Year in the Life of our Campus-wide Learning and Information PortalLisa Isleb, Joseph Kalinowski, Debra Babineau, Sarah Walkowiak. webnet 2001: 594-596

Storage Networking Primer for OS390 and Open SystemsGreg P. Schulz. cmg 2001: 579-588

Capacity Regions for Network Multiplexers with Heavy-tailed Fluid On-off SourcesPredrag R. Jelenkovic, Petar Momcilovic. infocom 2001: 289-298 [doi]

General Open and Closed Queueing Networks with Blocking: A Unified Framework for ApproximationMark Vroblefski, Ram Ramesh, Stanley Zionts. informs, 12(4):299-316, 2000. [doi]

Bisimilarity of Open TermsArend Rensink. iandc, 156(1-2):345-385, 2000.

Open Card: Talking to Your Smart CardDirk Husemann, Reto Hermann. ieeecc, 7(3):53-57, 1999. [doi]

Competitive Sourcing for Internet CommerceSteven P. Ketchpel, Hector Garcia-Molina. icdcs 1998: 602-611 [doi]

Bisimilarity of open termsArend Rensink. ENTCS, 7:262, 1997. [doi]

Primary Sources, Research, and the Internet: The Digital Scriptorium at DukeSteven L. Hensen. firstmonday, 2(9), 1997. [doi]

Optical Imaging of Anatomical Maps Derived from Magnetic Resonance Images Using Time-Independent Optical SourcesJenghwa Chang, Harry L. Graber, Ping Chen Koo, Raphael Aronson, San-Lian S. Barbour, Randall L. Barbour. tmi, 16(1):68-77, 1997.

Zero-Error Codes for Correlated Information SourcesA. Kh. Al Jabri, S. Al-Issa. ima 1997: 17-22

Simple Bounds for Queues Fed by Markovian Sources: A Tool for Performance EvaluationBrian McGurk, Raymond Russell. cpe 1997: 206-217

Beyond the Black Box: Open ImplementationGregor Kiczales. IEEE Software, 13(1):8-11, 1996. [doi]

Universal coding for correlated sources with linked encodersYasutada Oohama. TIT, 42(3):837-847, 1996.

Upper and Lower Bounds for the Multiplexing of Multiclass Markovian on/off SourcesD. Artiges, Philippe Nain. pe, 27/28(4):673-698, 1996.

The Larch Shared Language: Some Open ProblemsJames J. Horning. compass 1996: 58-73

Prioritized statistical multiplexing of PCM sourcesMing H. Chan, John P. Princen. ton, 3(5):549-559, 1995. [doi]

Characterization of Statistical Multiplexing of Heterogeneous ATM SourcesHyong W. Lee, Jon W. Mark. infocom 1995: 345-353

Capacity Allocation in Statistical Multiplexing of ATM SourcesHyong W. Lee, Jon W. Mark. infocom 1994: 708-715

Local Area Network Applications: Leveraging the LAN, Proceedings of the IFIP TC8/WG8.4 Working Conference on The Open Systems Future: Leveraging the LAN, Perth, Western Australia, 29 August - 2 September, 1993Douglas R. Vogel, Peter H. Marshall, Bernard C. Glasson, Alex A. Verrijn-Stuart, editors, Volume A-31 of IFIP Transactions, North-Holland, 1993.

ATM Network Traffic Characterization Using Two Types of On-Off SourcesHyong W. Lee, Jon W. Mark. infocom 1993: 152-159

Using Multiple Knowledge Sources for Word Sense DiscriminationSusan Weber McRoy. coling, 18(1):1-30, 1992.

Open Systems for PrintingMichael A. Curry. cmg 1992: 390-396

Performance Management of Distributed Open SystemsEric D. Ho. cmg 1992: 742-751

Verification of results that logically related noninteractive literatures are potential sources of new knowledgeDon R. Swanson. jasis, 40(3):152, 1989.

On the average codeword length of optimal binary codes for extended sourcesBruce L. Montgomery, B. V. K. Vijaya Kumar. TIT, 33(2):293, 1987.

Integrating Diverse Knowledge Sources in Text RecognitionSargur N. Srihari, Jonathan J. Hull, Ramesh Choudhari. tois, 1(1):68-87, 1983. [doi]

The Application and Presentation Layers of the Reference Model for Open Systems InterconnectionPaul D. Bartoli. infocom 1983: 196-201

A Symmetrical Exponential Open Queue Network with Blocking and FeedbackHarry G. Perros. TSE, 7(4):395-402, 1981.

runs on WebDSL