Christian Hofer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Scala

TMS for multimodal information processingBarbara Rita Barricelli, Piero Mussio, Marco Padula, Paolo Luigi Scala. mta, 54(1):97-120, 2011. [doi]

Population Dynamics on Complex Food WebsGian Marco Palamara, Vinko Zlatic, Antonio Scala, Guido Caldarelli. advcs, 14(4):635-647, 2011. [doi]

Scala to the Power of Z3: Integrating SMT and ProgrammingAli Sinan Köksal, Viktor Kuncak, Philippe Suter. cade 2011: 400-406 [doi]

Modular Domain-Specific Language Components in ScalaChristian Hofer, Klaus Ostermann. GPCE 2010:

Scala - Neuer Dampf für die virtuelle MaschineLothar Piepmeyer. Dstep 2010: 61-73

Modular domain-specific language components in scalaChristian Hofer, Klaus Ostermann. GPCE 2010: 83-92 [doi]

Scala for generic programmersBruno C. d. S. Oliveira, Jeremy Gibbons. JFP, 20(3-4):303-352, 2010. [doi]

Extending Scala with Database Query CapabilityMiguel Garcia, Anastasia Izmaylova, Sibylle Schupp. jot, 9(4):45-68, 2010. [doi]

Contracts for ScalaMartin Odersky. RV 2010: 51-57 [doi]

Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala languageLukas Rytz, Martin Odersky. SAC 2010: 2090-2095 [doi]

Defining Relations of Low Degree of Invariants of Two 4 × 4 MatricesVesselin Drensky, Roberto La Scala. ijac, 19(1):107-127, 2009. [doi]

Scala and Lift—Functional Recipes for the WebDebasish Ghosh, Steve Vinoski. internet, 13(3):88-92, 2009. [doi]

Letterplace ideals and non-commutative GrÃ¶bner basesRoberto La Scala, Viktor Levandovskyy. JSC, 44(10):1374-1393, 2009. [doi]

Fighting bit Rot with Types (Experience Report: Scala Collections)Martin Odersky, Adriaan Moors. fsttcs 2009: 427-451 [doi]

TMS for Multimodal Information ProcessingBarbara Rita Barricelli, Marco Padula, Paolo Luigi Scala. dexaw 2009: 295-299 [doi]

Personalized web browsing experienceBarbara Rita Barricelli, Marco Padula, Paolo Luigi Scala. ht 2009: 345-346 [doi]

A preliminary study to integrate LTV-MPC lateral vehicle dynamics control with a slip controlGiovanni Palmieri, Osvaldo Barbarisi, Stefano Scala, Luigi Glielmo. cdc 2009: 4625-4630 [doi]

Method Proxy-Based AOP in ScalaDaniel Spiewak, Tian Zhao. jot, 8(7):149-169, 2009. [doi]

ScalaQL: Language-Integrated Database Queries for ScalaDaniel Spiewak, Tian Zhao. SLE 2009: 154-163 [doi]

Scala Actors: Unifying thread-based and event-based programmingPhilipp Haller, Martin Odersky. TCS, 410(2-3):202-220, 2009. [doi]

Polymorphic embedding of DSLsChristian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors. GPCE 2008: 137-148 [doi]

Generics of a higher kindAdriaan Moors, Frank Piessens, Martin Odersky. OOPSLA 2008: 423-438 [doi]

Parser combinators in ScalaAdriaan Moors, F. Piessens, Martin Odersky. Technical Report 2008.

Scala for generic programmersBruno C. d. S. Oliveira, Jeremy Gibbons. ICFP 2008: 25-36 [doi]

On-belt analysis of minerals using naturally occurring gamma radiationBill Moran, Du Huynh, Michael Edwards, Andrew Harris, Xuezhi Wang, Barbara F. La Scala. icassp 2008: 3669-3672 [doi]

Communicating Scala ObjectsBernard Sufrin. wotug 2008: 35-54 [doi]

Actors That Unify Threads and EventsPhilipp Haller, Martin Odersky. coordination 2007: 171-190 [doi]

Human Computer Interaction: Legibility and ContrastSilvia Zuffi, Carla Brambilla, Giordano Beretta, Paolo Scala. iciap 2007: 241-246 [doi]

Uncertainty Contribution of the Analog Conditioning Block in DSP-Based InstrumentsLorenzo Peretto, Renato Sasdelli, Elisa Scala, Roberto Tinarelli. tim, 56(3):1000-1005, 2007. [doi]

An Equipment for Voltage-Transducers Calibration Oriented to the Uncertainty Estimate in DSP-Based MeasurementsLorenzo Peretto, Renato Sasdelli, Elisa Scala, Roberto Tinarelli. tim, 56(6):2577-2583, 2007. [doi]

Optimal target tracking with restless banditsBarbara F. La Scala, B. Moran. dsp, 16(5):479-487, 2006. [doi]

Super Rsk-algorithms and Super Plactic MonoidRoberto La Scala, Vincenzo Nardozza, Domenico Senato. ijac, 16(2):377-396, 2006. [doi]

Gröbner bases of ideals invariant under endomorphismsVesselin Drensky, Roberto La Scala. JSC, 41(7):835-846, 2006. [doi]

The Scala experiment: can we provide better language support for component systems?Martin Odersky. POPL 2006: 166-167 [doi]

A Core Calculus for Scala Type CheckingVincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky. mfcs 2006: 1-23 [doi]

Scalable component abstractionsMartin Odersky, Matthias Zenger. OOPSLA 2005: 41-57 [doi]

The Scala Experiment - Can We Provide Better Language Support for Component Systems?Martin Odersky. aplas 2004: 364 [doi]

Choosing a track association methodBarbara F. La Scala, Alfonso Farina. inffus, 3(2):119-133, 2002. [doi]

SCALA: A Performance System For Scalable ComputingXian-He Sun, Thomas Fahringer, Mario Pantano. ijhpca, 16(4):357-370, 2002. [doi]

A Koszul Decomposition for the Computation of Linear SyzygiesGiovannina Albano, Roberto La Scala. aaecc, 11(3):181-202, 2001. [doi]

Computing Toric IdealsAnna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano. JSC, 27(4):351-365, 1999.

The Musical Archive Information System at Teatro alla ScalaElena Ferrari, Goffredo Haus. icmcs 1999: 817-821 [doi]

Filtering and Prediction Techniques in Radar Tracking of Vehicles for Assisted DrivingRaffaele Bolla, Franco Davoli, Bruno Pani, P. Scala. iciap 1999: 1148

SCALA: A Framework for Performance Evaluation of Scalable ComputingXian-He Sun, Mario Pantano, Thomas Fahringer, Zhaohua Zhan. ipps 1999: 49-62

Rescuing La Scala s Music ArchivesGoffredo Haus. Computer, 31(3):88-89, 1998.

Strategies for Computing Minimal Free ResolutionsRoberto La Scala, Michael Stillman. JSC, 26(4):409-431, 1998.

Metacomputing for On-Line Stability Analysis in Power Systems: A ProposalGiovanni Aloisio, M. A. Bochicchio, M. La Scala. hpcn 1996: 421-428

An Algorithm for ComplexesRoberto La Scala. issac 1994: 264-268 [doi]

Artists and computersPatsy Scala. afips 1976: 191-194 [doi]

Teaching art through computer graphicsJoseph Scala. afips 1976: 185-189 [doi]

runs on WebDSL